Tag: mathematics - Articles - Wain Blog

Twenty-Five Fields Medalists Sign a Declaration - Objecting to AI Companies Racing to Crack Math Problems

OpenAI Sep 12, 2026

Twenty-Five Fields Medalists Sign a Declaration - Objecting to AI Companies Racing to Crack Math Problems

Claude Formalized Fermat's Last Theorem in Lean in 11 Days, Anthropic Says

Anthropic Sep 5, 2026

Claude Formalized Fermat's Last Theorem in Lean in 11 Days, Anthropic Says

$OpenAI Publishes Ten Math and TCS Results It Says Came From Astra, Its Next Major Model$

OpenAI Aug 2, 2026

OpenAI Publishes Ten Math and TCS Results It Says Came From Astra, Its Next Major Model