КРИТИЧНОИИSIGNAL 9/10
OpenAI представил ИИ-доказательства нерешаемых десятилетиями математических и физических задач
OpenAI заявила, что её ИИ построил доказательство гипотезы Согге (1991) для любых размерностей, опроверг гипотезу экспоненциального времени (ETH) и предложил строгие доказательства по задаче тысячелетия Янга–Миллса. Результаты формализованы в Lean и изучаются нобелевским лауреатом — это прямая демонстрация, что LLM способны генерировать ранее неизвестные доказательства, что меняет представления о границах ИИ в фундаментальной науке и формальной верификации.
LLM перестают быть только генеративными инструментами и начинают выступать как полноценные соавторы в математических и физических исследованиях, требуя пересмотра стратегий ИИ-инвестиций в R&D.
«ИИ OpenAI нашёл доказательства для научных задач, не поддававшихся учёным десятилетиями»