OpenAI's GPT-6 Astra scores 1,797 on Code Arena WebDev leaderboard, beating Anthropic's Claude Fable 5.1 by 35 points in ...
Anthropic published the first complete computer-checked formalization of Fermat’s Last Theorem on September 4, 2026, after ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results