XAI Grok 4.20 and OpenAI GPT 5.2 Are Solving Significant Previously Unsolved Math Proofs
by Brian Wang from NextBigFuture.com on (#72VVA)
A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erds problem, but original research. Demonstrates AI generating novel math objects (Bellman functions for optimal control) quickly, linking to isoperimetric profiles and Takagi function ...