Модель OpenAI опровергает гипотезу Эрдёша о единичном расстоянии в дискретной геометрии

OpenAI сообщила, что внутренняя модель привела к доказательству, опровергающему гипотезу Эрдёша о единичном расстоянии, давний вопрос в дискретной геометрии. Результат, объявленный 20 мая 2026 года, впоследствии был проверен внешними математиками и представлен сопроводительным математическим комментарием. Это яркий, но тщательно ограниченный пример рассуждений, генерируемых ИИ, вносящих вклад в передовую математику. Согласно объявлению OpenAI о результатах дискретной геометрии, гипотеза касалась количества пар точек на единичном расстоянии, которые могут встречаться в наборах точек. Компания заявляет, что ее внутренняя модель обнаружила конструкцию, показывающую, что для бесконечного числа значений n наборы точек могут содержать значительно больше пар единичных расстояний, чем конструкции, связанные с поведением верхней границы, которое ранее считалось в гипотезе. Главное значение заключается не просто в том, что система искусственного интеллекта создает математический текст. OpenAI утверждает, что полученные результаты были превращены в доказательство, ключевые этапы которого были изучены математиками, не входящими в компанию. Сопутствующий документ с примечаниями, подготовленный членами математического сообщества, представляет собой ориентированное на человека изложение аргументов, историческую конверсию.