Статьи по тегу «математические доказательства»
22 октября 2026, 15:38
ИИ-агенты помогли доказать гипотезу KLS: её не могли решить 31 год
Исследователь Microsoft Research Синьчжи Чжан и независимый исследователь Чжао Сун представили доказательство гипотезы Каннана — Ловаса — Симоновица (KLS), сформулированной в 1995 году. Она относится
7 октября 2026, 09:12
Ещё не выпущенная схема OpenAI подготовила 722 математические работы
OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнител
22 сентября 2026, 14:05
Новая схема OpenAI за 24 дня решила более 100 открытых математических задач
OpenAI утверждает, что внутренняя схема, которую начали обучать 28 августа, уже решила более 100 давних открытых задач почти по всем основным областям математики. 24 дня обучения — и больше сотни откр
8 сентября 2026, 20:21
Возможно OpenAI решили одну из задач тысячелетия: разбираемся в слухах вокруг уравнения Навье-Стокса
Пару дней назад в соцсетях начали обсуждать возможный прорыв в одной из семи задач тысячелетия — проблеме существования и гладкости решений уравнений Навье-Стокса. Слухов много, сути мало, следователь