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…
Wow News on Tech and AI
TL;DR Terence Tao reports that an instance of Erdős Problem #728 was resolved largely by AI tools after iterative feedback…