If you’d asked me two weeks ago—before OpenAI’s announcement—about the most novel contributions of LLMs to mathematics, I probably would have pointed to the AlphaEvolve system from Google DeepMind. AlphaEvolve harnesses LLMs to be the engine of an optimization process. If you can turn a math problem into a piece of code to optimize, which you often can, the LLM might find better solutions than humans have for certain types of problems. In November, four mathematicians (including Terence Tao) released a paper that analyzed AlphaEvolve’s performance on 67 optimization problems across the mathema
An OpenAI model solved a famous math problem that stumped humans for 80 years… Alongside the announcement, the company published companion remarks in support of the disproof from mathematicians like Noga Alon, Melanie Wood, and Thomas Bloom, who maintains the Erdos Problems website , and previously called Weil’s post “a dramatic misrepresentation.” “For nearly 80 years, mathe… …
… Mathematician Tim Gowers wrote that when he first heard about the AI’s result, he thought it had proved the theorem. “I spent the evening adjusting my world view: If the AI could come up with a proof like that, then maybe it would be all over for mathematicians very soon.” But the next morning, Gow… …
… Some mathematicians are now leaving academia to work at big tech firms, like OpenAI and Google, or to join math-focused AI startups such as Harmonic , Logical Intelligence , Axiom Math , and Math Inc. “One reason there is so much interest in AI for mathematics in the corporate world is that people … …
… From Your Site Articles 12 Graphs That Explain the State of AI in 2026 › OpenAI’s Moonshot: Solving the AI Alignment Problem › Related Articles Around the Web The AI Alignment Paradox – Communications of the ACM › What Is AI Alignment? | IBM › alignment agi superintelligence ai agents ai ethics
… You remain in control of what's in your memory: you can delete chats you no longer want to be cited, delete or change items in saved memories in settings or use temporary chats that don't use or update your memory." GPT-5.5 Instant is available Tuesday, replacing GPT-5.3 Instant as the default mode… …
… As a teenager, she studied calculus and number theory and competed in math olympiads. She went to MIT, then Stanford, before dropping out to found Axiom, an AI mathematics startup that develops systems to verify AI reasoning. …
… But having said all of that, here is the basic math: At $60 billion per gigawatt, a good, high-end ballpark figure for a datacenter tricked out with the best AI gear, that 4.5 gigawatts costs $270 billion. …
… The new model also achieved a score of 81.2 in the AIME 2025 math test, compared to 65.4 for the older model. It also outperformed its predecessor on the MMMU-Pro multimodal reasoning benchmark, with a score of 76 vs. …
… If you do the math, that means the OpenAI backlog is now $265.6 billion, down 5.6 percent sequentially. That math implies that OpenAI spent $15.65 billion on Azure capacity in Q3 F2026 – but I would be careful jumping to that conclusion. …
… Microsoft said the medium-size MAI-Thinking-1 model, which will likely be marketed to primarily enterprise clients, is “built from scratch for serious math, coding, and real-world enterprise deployment.” Microsoft is years behind both OpenAI and Anthropic here; OpenAI began releasing reasoning mode… …
