OpenAI Astra: Ten Open Math Problems, Anyone Can Check
OpenAI says its Astra model solved ten open math problems unsolved for decades, with Lean 4 proofs published on GitHub for anyone to verify.
Read more : OpenAI Astra: Ten Open Math Problems, Anyone Can Check