GoogleDeepMind — 26-05-2026
1 твитов за сутки. Google DeepMind представила AlphaProof Nexus, агентную систему на базе Gemini, способную самостоятельно решать сложные открытые математические задачи.
AlphaProof Nexus — это новая агентная фреймворк для поиска формальных доказательств, работающий на модели Gemini. Система продемонстрировала способность автономно решать задачи, над которыми бились математики годами: 9 открытых задач Эрдёша, включая две, остававшиеся нерешёнными 56 лет, а также 44 задачи из OEIS, проблему в алгебраической геометрии возрастом 15 лет и вопрос в min-max оптимизации за 7 лет.
Научный потенциал — результаты подтверждают огромные возможности простых агентных циклов, управляемых Gemini, для ускорения исследований в таких областях, как комбинаторика, теория графов и квантовая оптика.
