Модель вывода OpenAI, не проходившая специального обучения математике, добилась значительного прогресса в комбинаторной геометрии. Впервые за восемь десятилетий было доказано существование бесконечного семейства конфигураций с как минимум n^(1+δ) парами на единичном расстоянии, что опровергает гипотезу, направлявшую исследования с 1940-х годов.
Как ИИ нашла то, что люди упустили 🧠
Модель исследовала комбинации точек в многомерных пространствах, которые математики считали непродуктивными. Применяя неконтролируемые шаблоны поиска, она выявила структуры, генерирующие полиномиальный рост единичных пар с фиксированным δ больше нуля. Результат не только опровергает предыдущую гипотезу, но и открывает путь к построению конкретных примеров — то, чего традиционные методы не могли достичь с 1946 года.
Математики, ИИ вас опередила (и даже не вспотела) 😅
Пока люди спорили, является ли предел n^(1+ε) для ε, стремящегося к нулю, ИИ пришла и сказала: смотрите, я оставляю вам фиксированный δ и бесконечное семейство на столе. Забавно, что модель не является гением математики, а всего лишь решателем общего назначения. Теперь математикам предстоит объяснить, почему это не пришло им в голову раньше, или хотя бы сделать вид, что они были на пороге открытия.