ИИ перестал быть подмастерьем: теперь он закрывает чужие гипотезы

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

Это не про код и не про картинки. Это про задачи, над которыми десятилетиями бились лучшие математики мира — и где ошибку нельзя переспросить у бота.

Материалы открыли независимым учёным и опубликовали нормы проверки таких заявлений. Только вот о собственном прорыве сообщает сам заявитель: пока счёт не подтвердят внешние рецензенты, это красивая гипотеза о гипотезах.

Вывод простой. Спор «ИИ против человека» устарел. Вопрос теперь в другом: кто проверяет доказательства — и кто за эту проверку платит.

#AI #Science #Mathematics