Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean(twitter.com)
twitter.com
Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean
https://twitter.com/DavidTurturean/status/2070531663461756950
0 comments
—
https://twitter.com/DavidTurturean/status/2070531663461756950
—