Модель Claude опровергла математическую гипотезу возрастом 87 лет

Модель Claude опровергла математическую гипотезу возрастом 87 лет

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

Результат показывает, что современные языковые модели способны не просто обрабатывать данные, а выполнять полноценную аналитическую работу, требующую логических рассуждений и проверки гипотез. Для математики и смежных наук это означает появление нового инструмента, который может ускорять открытия и снижать роль человеческой интуиции как единственного источника прорывов.

Для российского рынка этот кейс подчеркивает необходимость инвестиций в развитие собственных моделей рассуждений. Без доступа к передовым западным нейросетям локальные исследовательские институты рискуют отстать в методах автоматического доказательства теорем. Кроме того, это создает стимул для интеграции ИИ в прикладную математику и инженерные расчеты, где проверка гипотез занимает годы.

Источник: https://www.therundown.ai/p/claude-disproves-an-87-year-old-math-problem