OpenAI forms math advisory group as its AI resolves more than 100 open problems
3 sources 2 min
Learning to Discover Interesting Mathematics
Train Where the Quantized Model Goes: On-Policy Distillation for Low-Bit Reasoning
OpenAI reportedly closes in on solving the Hodge conjecture, its second Millennium Prize Problem
OpenAI just wants to win
14 min3
Leading mathematicians fear AI is making their field dumber, and warn the rest of us is next
4 min1
A Misalignment of AI in Mathematics
GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design
3 min1
Advisory Group on Mathematics and Artificial Intelligence
Mathematicians want proof OpenAI didn’t use their work
4 min
OpenAI’s sly mathematical breakthrough sends a chill through academia
7 min2
Nonmaximal sums of maximally monotone operators under Rockafellar's constraint qualification
What OpenAI’s latest controversy tells us about the future of math
6 min1
On the Navier–Stokes Millennium Prize Problem
Drama swirls around OpenAI’s legendary mathematical milestone
2 min1
On the Navier–Stokes Millennium Prize Problem
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server
AI Doesn't Mean the End of Mathematics—at Least Not Yet
4 min1