Искусственный интеллект решает математические задачи только на основе уже опубликованных данных, при этом ученые постоянно предлагают новые идеи, заявила заведующая кафедрой математики и статистики колледжа Суортмор Линн Стюэрле Шофилд.
Ранее модель Claude компании Anthropic менее чем за две недели проверила и формализовала доказательство Великой теоремы Ферма. ИИ создал 13 миллионов строк кода и доказал 29,5 тысячи промежуточных теорем.
Эксперт подчеркнула, что такие результаты не дают нейросетям всеобъемлющих математических знаний: новые исследования постоянно расширяют объем доступной информации.
