ИФ

Интересные Факты, Космос, Наука, История, Животные, Человек, Мир

Наука · 8 октября 2026 г.

Открыть канал в MAX

OpenAI опубликовала на GitHub 722 математические рукописи, созданные внутренней моделью...

OpenAI опубликовала на GitHub 722 математические рукописи, созданные внутренней моделью ИИ. Они объединены в 372 семейства результатов и охватывают семнадцать разделов математики. Часть доказательств формализирована в системе Lean. Среди них представлено новое доказательство задачи Хадвигера — Нельсона, показывающее, что плоскость невозможно раскрасить в пять цветов так, чтобы любые две точки на расстоянии ровно одной единицы имели разные цвета. Следовательно, хроматическое число плоскости может быть только шестью или семью. Доказательство также формализовано в Lean. Кроме того, среди опубликованных работ есть результаты из теории чисел, геометрии, теории групп, математической физики и теории вычислений. Модель получила новые оценки для показателя матричного умножения и построила контрпример к гипотезе Капланского о делителях нуля. OpenAI отмечает, что публикация предназначена для независимой проверки и дальнейшей работы математиков, а также готовит к выпуску саму модель, которая выдала эти результаты. 🔬 Факты