OpenAI анонсировала публикацию 722 математических рукописей, созданных с помощью своей внутренней модели искусственного интеллекта. Эти рукописи объединены в 372 семейства результатов и охватывают семнадцать различных разделов математики. Часть доказательств была формализирована на языке Lean, что позволяет более точно и формально представлять математические идеи.

Одним из значимых результатов является новое доказательство задачи Хадвигера — Нельсона, которая относится к комбинаторной геометрии. Это доказательство показывает, что плоскость нельзя раскрасить в пять цветов так, чтобы любые две точки на расстоянии одной единицы имели разные цвета. Таким образом, хроматическое число плоскости теперь может составлять только шесть или семь.

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