mathlib

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

13:08

2026-08-02

sourcefeed.dev

artificial-intelligence

Astra's Real Breakthrough Is the Lean Receipts

OpenAI researcher Noam Brown announced on August 1 that an internal version of Astra, OpenAI's next major model family, solved ten open problems in mathematics and theoretical computer science, includ…

04:00

2026-06-15

arxiv.org

artificial-intelligence

Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance

Researchers applied a coding agent to formalize a numerical analysis textbook in Lean 4, introducing a three-dimensional quality audit framework beyond kernel acceptance. The audit revealed unfaithful…

// co-occurs with top 8 entities

Lean 4 2 RepoProver 1 M2F 1 Numerical Methods for Ordinary Differential Equations 1 OpenAI 1 Noam Brown 1 Astra 1 openai/ten-proofs 1

// topics top 6 topics

artificial intelligence 2 ai research 2 machine learning 1 ai agents 1 large language models 1 ai products 1