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 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…