1,000のエージェントが30時間でフェルマーの最終定理を形式化したことは、機械検証可能な数学にとって大きな節目です。未解決問題、本物の証明、公開検証。まさにそれこそ、ジャスティン・サン賞が称えるべきものです。

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