1 000 агентов, формализующих последнюю теорему Ферма за 30 часов, — настоящий прорыв в области математики с машинной проверкой. Открытые задачи, настоящие доказательства, публичная верификация. Именно за это мы и хотим награждать премией Джастина Сана.

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