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

Компания OpenAI заявила о получении математических доказательств, способных пересмотреть устоявшиеся концепции в гармоническом анализе, теории вычислительной сложности и квантовой теории поля. Разработки затронули сразу три дисциплины, претендуя на закрытие многолетних теоретических пробелов.

В области математики модели сформировали доказательство гипотезы локального сглаживания Согге для всех пространственных измерений, попутно решив гипотезу Какэи и гипотезу ограничения Стейна. Текст рассуждений и формализованный код на верификаторе Lean были подготовлены 18 и 19 октября 2026 года и выложены в открытый доступ на GitHub.

В теоретической информатике алгоритмы опровергли гипотезу экспоненциального времени (ETH), связанную с задачей выполнимости булевых формул и разделением классов P и NP. Опровержение было зафиксировано 16 октября 2026 года. Для его детальной проверки сформирована группа ученых.

Третье направление охватывает строгие доказательства существования калибровочных теорий с фермионами в четырех измерениях, включая квантовую хромодинамику и чистую теорию Янга — Миллса (одну из задач тысячелетия Математического института Клэя). Группу независимой экспертизы возглавит лауреат Нобелевской премии по физике Дэвид Гросс, а в числе экспертов можно найти и русские фамилии физиков-теоретиков, это Игорь Клебанов и Никита Некрасов. На организацию конференций и работу научных коллективов компания также выделила 5 000 000 долларов США через фонд Simons Foundation.

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: