› Model przetestował 650 różnych podejść do problemu, koordynując pracę 60 sub-agentów przez półtorej doby.
› Wyniki potwierdzone przez matematyków z Anthropic i sformalizowane przy użyciu asystenta dowodów Lean.
› Laureata Medalu Fieldsa Timothy Gowers bronił wpływu AI na matematykę, podczas gdy grupa prominentnych matematyków podpisała w czerwcu deklarację wyrażającą obawy.