23.05.2026 08:05
ИИ OpenAI опроверг 80-летнюю математическую гипотезу Эрдёша
ИИ от OpenAI опроверг математическую гипотезу, над которой умы бились 80 лет
Загадку сформулировал математик Пал Эрдёш: если расставить точки на плоскости, какое максимальное число пар точек окажется на одинаковом расстоянии? Эрдёш считал, что оптимальна сетка, и число таких пар лишь чуть больше числа самих точек. Никто не мог ни доказать это, ни опровергнуть.
ИИ опроверг. Он нашел менее симметричные узоры с гораздо большим числом пар — позаимствовав метод из теории чисел и спроецировав многомерные решетки на плоскость.
«Самое значительное достижение ИИ в математике на сегодня», — говорит профессор Принстона Уилл Соуин.
Кембриджский лауреат Филдсовской премии Тим Гауэрс добавляет: ни одно предыдущее доказательство ИИ даже близко не стояло.
Примечательно, что модель не обучалась математике специально — она «общего назначения».
Загадку сформулировал математик Пал Эрдёш: если расставить точки на плоскости, какое максимальное число пар точек окажется на одинаковом расстоянии? Эрдёш считал, что оптимальна сетка, и число таких пар лишь чуть больше числа самих точек. Никто не мог ни доказать это, ни опровергнуть.
ИИ опроверг. Он нашел менее симметричные узоры с гораздо большим числом пар — позаимствовав метод из теории чисел и спроецировав многомерные решетки на плоскость.
«Самое значительное достижение ИИ в математике на сегодня», — говорит профессор Принстона Уилл Соуин.
Кембриджский лауреат Филдсовской премии Тим Гауэрс добавляет: ни одно предыдущее доказательство ИИ даже близко не стояло.
Примечательно, что модель не обучалась математике специально — она «общего назначения».