решёточная криптография и экстремальная комбинаторика. OpenAI сообщила, что все затраты составили около 2000 долларов на токены для каждой проблемы, а результаты были проверены с помощью формального ассистента доказательств Lean. Это заявление вызвало как воодушевление, так и беспокойство в математическом сообществе. Исследователь Джей Камминс отметил, что впервые ИИ решил проблему, над которой он сам работал годами, и это поражение было трудно принять. Инвестор Николас Бустаманте задался вопросом о будущем Филдсовской премии, интересуясь, кому достанется признание, когда проблемы решаются быстро. Примечательно, что лауреат Филдсовской премии Джейкоб Цимерман приостановил свою должность в Университете Торонто, чтобы присоединиться к OpenAI в конце июля, сосредоточившись не на математических возможностях, а на безопасности ИИ. Теренс Тао, ещё один лауреат Филдсовской премии, предупредил об опасном сдвиге: с автоматизированной генерацией доказательств ИИ математика переходит от нехватки к изобилию, но исследователи не успевают проверять и 'переваривать' доказательства. Он сравнил сырые доказательства ИИ с 'тушами загадочных животных', выброшенными на общий стол, где ни у кого нет времени их чистить и готовить. Цимерман также посетовал на рост 'математического мусора' от пользователей без опыта, отправляющих в лаборатории сырые результаты ChatGPT. Оба предупредили, что формальные решения известных гипотез могут убить финансирование и интерес к этим темам, даже если ни один человек не понимает решений, что приведёт к дисциплине, которая прогрессирует без понимания.