Искусственный интеллект переходит от «обучения математике» к реальному «созданию математики»

GPT-5 впервые прошёл «тест Гёделя» и сумел доказать три крупных гипотезы в области комбинаторной оптимизации, — констатируют исследователи из Университета Хайфы и компании Cisco

https://arxiv.org/pdf/2509.18383

Важно, что в одном случае модель не просто справилась с задачей, но предложила неожиданное решение, опровергнувшее исходную гипотезу

«На решение подобных задач у лучших аспирантов обычно уходит несколько дней. Впервые эксперимент был построен так, чтобы искусственный интеллект столкнулся не с задачами уровня олимпиад, а с открытыми математическими гипотезами», — отметил участник исследования Себастьян Бюбек

«Этот результат можно назвать историческим: впервые искусственный интеллект сделал шаг от «обучения математике» к реальному «созданию математики».

Это начало глубокого преобразования научной парадигмы, которое может определять ход исследований уже в 2030-е годы», — подчёркивают авторы.

Источник: www.tbank.ru

Комментарии: