OpenAI нацелилась решить гипотезу Ходжа — ещё одну задачу тысячелетия

OpenAI и Ходжа

Ты, наверное, слышал, что команда OpenAI уже успела оформить своё первое крупное математическое достижение — почти доказательство существования гладких решений уравнений Навье‑Стокса. Теперь они бросили вызов гипотезе Ходжа, одной из семи задач тысячелетия.

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

OpenAI задействовала внутреннюю модель с кодовым именем Doug, к ней подключило около 10 000 автономных агентов, а полученные доказательства формализовала в системе Lean. За эксперимент ушли миллионы сообщений и десятки миллиардов токенов. Если подход подтвердится, автоматическое построение и проверка гипотез может стать обычным инструментом в математике и даже повлиять на методы обучения ИИ.