OpenAI опровергла гипотезу Эрдёша о единичных расстояниях: 80-летняя загадка закрыта контрпримером ИИ
В 1946 году Пал Эрдёш поставил задачу о единичных расстояниях: сколько пар из n точек на плоскости могут находиться на расстоянии ровно 1? Почти 80 лет математики считали оптимальной квадратную решётку. OpenAI заявила, что её внутренняя модель рассуждений дала первое полностью автономное доказательство через контрпример.