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

Модель OpenAI решила 80-летнюю задачу о единичных расстояниях, опровергнув крупную гипотезу в дискретной геометрии. Это событие знаменует веху в развитии ИИ-математики и демонстрирует рост способностей нейросетей к формальным рассуждениям.