1.000 Agenten, die Fermats letzten Satz in 30 Stunden formalisieren, sind ein echter Meilenstein für maschinell überprüfbare Mathematik. Offene Probleme, echte Beweise, öffentliche Verifikation. Genau das soll der Justin-Sun-Preis belohnen.

https://x.com/justinsuntron/status/2120018409400496487