To Have Machines Make Math Proofs, Turn Them Into a Puzzle

www.quantamagazine.org

To Have Machines Make Math Proofs, Turn Them Into a Puzzle

www.quantamagazine.org

m_‮f@discuss.onlineM to

Thoughtful Discussion@discuss.onlineEnglish · 6 months ago

You must log in or # to comment.

Chat

Thoughtful Discussion@discuss.online

discuss@discuss.online

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !discuss@discuss.online

Welcome

Open discussions and thoughts. Make anything into a discussion!

Leaving a comment explaining why you found a link interesting is optional, but encouraged!

Rules

Follow the rules of discuss.online
No porn
No self-promotion
Don’t downvote simply because you disagree or as a reaction to a title. Doing so may result in a temp community ban.

More posting guidelines can be found here:

https://discuss.online/post/33592245

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

11 users / day
11 users / week
11 users / month
11 users / 6 months
4 local subscribers
378 subscribers
50 Posts
0 Comments
Modlog