AI Cannot Prove Goldbach’s Conjecture.
Towards AI
•
Generative AI
LLMs won gold at the IMO. Formal provers verified theorems that stumped humans. And none of this gets us one step closer to the hard…