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

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

С канала "Кристалл роста"

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

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

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

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

Источник: «КРИСТАЛЛ РОСТА»