this post was submitted on 13 Nov 2025
2 points (100.0% liked)

Thoughtful Discussion

362 readers
1 users here now

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

  1. Follow the rules of discuss.online
  2. No porn
  3. No self-promotion
  4. Don't downvote because you disagree. Doing so repeatedly may result in a ban

founded 2 years ago
MODERATORS
jgrim@discuss.online
m_f@discuss.online
2
To Have Machines Make Math Proofs, Turn Them Into a Puzzle (www.quantamagazine.org)
submitted 1 month ago by m_f@discuss.online to c/discuss@discuss.online
1 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] m_f@discuss.online 1 points 1 month ago

The title doesn't capture the whole article, it talks about wiring up SAT solvers to LLMs and how that might help solve difficult math problems. The proofs will be difficult or impossible to understand as a human, but:

Heule argues that most mathematicians overvalue understanding and undervalue trust.