AI tools autonomously generate and verify a solution to Erdos Problem #728
TL;DR Terence Tao reported that AI systems, working with human guidance and community reconstruction of the question, produced and formalized…
Erdos Problem #728 Largely Solved Autonomously by AI and Formalized
TL;DR Terence Tao reported that AI systems played the central role in resolving Erdős problem #728, after the problem was…
AI-assisted solution addresses Erdős Problem #728, with Lean verification
TL;DR Terence Tao reports that an instance of Erdős Problem #728 was resolved largely by AI tools after iterative feedback…
AI Solves Erdős Problem #728, Terence Tao Reports on Mathstodon
TL;DR Terence Tao reported that AI tools — including ChatGPT, Aristotle and the Lean proof assistant — produced a solution…