1.000 agentes formalizando o Último Teorema de Fermat em 30 horas é um marco real para a matemática verificável por máquina. Problemas em aberto, provas reais, verificação pública. É exatamente isso que queremos que o Prêmio Justin Sun recompense.

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