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