Topic

Lean news.

1 story about Lean, newest first.

10 Oct 20262 min readOpenAI releases hundreds of AI math results and proofsOpenAI released nearly 400 AI-generated math results and 700 manuscripts, sparking both awe and concern among researchers over verification.