1.000 agentes formalizando el último teorema de Fermat en 30 horas es un verdadero hito para las matemáticas verificables por máquina. Problemas abiertos, demostraciones reales, verificación pública. Eso es exactamente lo que queremos que premie el Premio Justin Sun.

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