AI Disproves Unit Distance Conjecture

  • Thread starter Thread starter Hornbein
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 1K views
Hornbein
Gold Member
Messages
4,124
Reaction score
3,290
LLMs have solved Erdős problems before, but the one Price chose wasn’t just any Erdős problem. It was one that human mathematicians had worked on for 60 [Ed:80] years without success. The nature of the solution was also unusual. While previous LLM solutions to Erdős problems used standard techniques, this one took an entirely different approach. Rather than starting from Erdős’ original probability-theory-based framing of the problem, as human mathematicians had, the LLM found an alternative route – one that led naturally, in less than a page, to a correct proof.

https://physicsworld.com/a/ai-led-s...-spark-debate-over-the-future-of-mathematics/
 
Physics news on Phys.org
A Fields medalist endorses AI. He says that in ninety minutes it produced a result worthy of a PhD thesis.

 
Reply
  • Skeptical
Likes   Reactions: weirdoguy