AI Just Started Making Discoveries
A general-purpose AI model just produced an original mathematical proof, disproving a conjecture that has been open since 1946. The proof was checked by Fields medallists. It held. That is a sentence that was not possible a year ago. For the last few years, the AI conversation has been about