A general purpose AI model from OpenAI has produced a (dis)proof of an important conjecture. Tim Gowers writes:
AI has now solved a major open problem — one of the best known Erdos problems called the unit distance problem, one of Erdos’s favourite questions and one that many mathematicians had tried.
https://marginalrevolution.com/marginalrevolution/2026/05/the-ais-are-one-of-us-now.html#comments
No comments:
Post a Comment