AI
Simons Foundation, Anthropic, and OpenAI Commit $15M to Math-AI Research
The Simons Foundation partners with Anthropic and OpenAI to fund initiatives helping mathematicians evaluate AI tools and establish usage standards.
Lean
Everything Threat Times has reported about Lean: 2 stories, newest first. Part of our AI coverage.
AI
OpenAI publishes internal model math results and Lean proofs on GitHub
OpenAI shares new findings on open mathematical problems from an internal frontier model, releasing code and research details publicly.