6. September 2026 Claude formalisiert Fermats letzten Satz in 11 Tagen: 13 Millionen Zeilen Lean Anthropic Claude Forschung Mathematik
13. August 2026 Ein unveröffentlichtes Anthropic-Modell rückt der Riemann-Hypothese näher Anthropic Claude Forschung Mathematik
12. Juli 2026 GPT-5.6 Sol beweist eine 50 Jahre alte Mathe-Vermutung — in unter einer Stunde OpenAI GPT-5.6 Forschung Mathematik Agenten
26. Mai 2026 OpenAI-Modell widerlegt 80 Jahre alte Mathe-Vermutung OpenAI Research Mathematik Reasoning KI-Forschung
