XAI Grok 4.20 and OpenAI GPT 5.2 Are Solving Significant Previously Unsolved Math Proofs
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 Erdős problem, but original research. Demonstrates AI generating novel math objects (Bellman functions for optimal control) quickly, linking to isoperimetric profiles and Takagi function …