OpenAI стверджує, що вирішив 80-річну математичну задачу, що раніше не могли розв'язати
OpenAI стверджує, що їхня нова модель міркувань створила оригінальний математичний доказ, що спростовує відому нерозв'язану гіпотезу в геометрії, яку вперше сформулював Паул Ердеш у 1946 році.
OpenAI не вперше робить таку сміливу заяву. Сім місяців тому колишній віце-президент гіганта штучного інтелекту Кевін Вейл опублікував на X: «GPT-5 знайшов рішення для 10 (!) раніше невирішених проблем Ердеша та досяг прогресу в 11 інших».
Виявляється, GPT-5 насправді не вирішив ці проблеми; він просто знайшов рішення, які вже існували в літературі.
Далі послідували глузування з боку конкурентів, таких як Янн ЛеКун та генеральний директор Google DeepMind Деміс Хассабіс, і Вейл негайно видалив свій передчасний пост. Сьогодні, принаймні, схоже, що OpenAI не повторила ту саму помилку двічі. Поряд із оголошенням компанія опублікувала супутні коментарі на підтримку спростування від математиків, таких як Нога Алон, Мелані Вуд та Томас Блум, який веде веб-сайт Erdos Problems , і раніше назвав пост Вейл «драматичним перекручуванням фактів».
«Майже 80 років математики вважали, що найкращі можливі рішення виглядають приблизно як квадратні сітки», – опублікував OpenAI на X. «Модель OpenAI тепер спростувала це переконання, відкривши абсолютно нове сімейство конструкцій, які працюють краще».
Компанія заявила, що це «перший випадок, коли штучний інтелект автономно вирішив важливу відкриту проблему, що є центральною в галузі математики». Доказ, за даними OpenAI, походить з нової моделі міркувань загального призначення, а не з системи, спеціально розробленої для вирішення математичних задач або навіть цієї конкретної проблеми.
OpenAI стверджує, що це важливо, оскільки означає, що системи штучного інтелекту тепер здатні краще об'єднувати довгі, складні ланцюжки міркувань та пов'язувати ідеї в різних галузях способами, які дослідники раніше, можливо, не досліджували. Це має значення для біології, фізики, інженерії та медицини.