Tagged: reasoning

1 blog

OpenAI's Astra Solved 10 Open Math Problems, With Lean Proofs

OpenAI's Astra Solved 10 Open Math Problems, With Lean Proofs