А вот это реально круто.

OpenAI опубликовала 165-страничное доказательство задачи тысячелетия Навье—Стокса и формализацию в Lean. Решение нашла система примерно из 10 тыс. взаимодействующих ИИ-агентов за 88 часов; проверка GPT‑6 Astra заняла ещё 17 часов. Это подтверждённая публикация, но не окончательно признанное математическое открытие: доказательство ещё должна независимо проверить научная среда; также возник спор о возможном влиянии неопубликованных наработок других математиков.