Компания DeepMind представила систему AlphaProof Nexus на базе Gemini 3.1 Pro для решения математических задач. Агенты работают в цикле рассуждений, а их выводы проверяются автоматизированными системами верификации.
AlphaProof Nexus решила 9 из 353 задач Эрдёша, включая две, остававшиеся нерешенными 56 лет. Также система доказала 44 из 492 гипотез из Онлайн-энциклопедии целочисленных последовательностей. Стоимость вычислений составила несколько сотен долларов за задачу.
Система Aletheia на базе Gemini Deep Think, запущенная в декабре 2025 года, проанализировала около 700 задач Эрдёша и нашла решения для 13 из них. Четыре из этих решений были признаны экспертами как новые и автономно созданные.
На Международной математической олимпиаде 2025 года модель Gemini Deep Think набрала 35 из 42 баллов, решив 5 из 6 задач за отведенное время. Исследователи DeepMind планируют применять этот подход в комбинаторике, квантовой оптике и алгебраической геометрии.
