OpenAI: ИИ-модель опровергла гипотезу Эрдёша о единичных расстояниях

OpenAI объявила, что её модель общего назначения нашла контрпример к гипотезе Эрдёша о единичных расстояниях, опровергая предполагаемую верхнюю границу в дискретной геометрии. Процесс включал генерацию доказательства моделью, автоматическую проверку и финальную верификацию математиками. В сообществе обсуждают, является ли это доказательством автономных исследовательских способностей ИИ или результатом перебора вариантов.