AlphaProof Nexus

Агентный фреймворк от Google DeepMind для формального поиска математических доказательств на базе Gemini.

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

Источник: @GoogleDeepMind, 26-05-2026