Как сообщает Telegram-канал N + 1, до недавнего времени исследовательская математика считалась неподходящей для языковых моделей: им не хватало точности, строгости и способности к творческому поиску. Второкурсник Кевин Баррету предложил метод, который позволил устранить эти слабости. С его подачи ChatGPT и другие общедоступные чат-боты за первые месяцы 2026 года справились с несколькими задачами, которые десятилетиями оставались открытыми — от скромных и несложных до одной по-настоящему известной.

Разработчики компаний стремятся впечатлить математиков успехами и производительностью своих моделей. Математики постепенно впечатляются, но чувства испытывают неоднозначные. В материале также рассказывается о математических удачах и провалах искусственного интеллекта, о формализации доказательств теорем и о том, при чём тут Пал Эрдёш.

Источник: Telegram: N + 1

#математика#искусственный интеллект#чат-боты#доказательства#эрдёш
Понравился материал?
Подписывайтесь — так вы не пропустите новые.
RSS-лента

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

Будьте вежливы — это делает обсуждение лучше
A
alex88
А я всё жду, когда чат-боты начнут домашку по математике проверять. Уже не терпится.
О
Олег
Пал Эрдёш — это который любил говорить про «Книгу доказательств»? Забавно, что теперь ИИ туда заглядывает.
DP
dmitry_p
Интересно, а эти задачи действительно были открытыми или просто никто не брался? В статье как-то расплывчато.
МС
Марина Соколова
Как математик, могу сказать: пока это выглядит скорее как пиар-ход. Без строгой проверки сообщения о «решённых проблемах» вызывают скепсис.
ИК
Ирина К.
А можно ссылку на первоисточник? Хочется почитать про метод Баррету подробнее.
Р
РедакцияРедакция
Ирина, ссылку на оригинал добавили в конце материала. Там же есть препринт с описанием метода.
ЕЛ
Екатерина Л.
Студент-второкурсник обошёл всех? Звучит как начало научной фантастики. Но если правда, то круто.