Внутренняя нейросеть OpenAI под названием Astra решила 10 открытых математических задач по математике и теоретической информатике, над которыми учёные бились десятилетиями, и некоторые из них оставались нерешёнными более полувека. На поиск решений ушло токенов примерно на $2 тыс. Затем специалисты с помощью той же модели оформили результаты в научные работы, а Astra перевела доказательства в формат Lean, который позволяет проверить их корректность. Канал readovkanews сообщил о результатах. Разберёмся, что это значит для математического сообщества.

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

Кстати, если вы работаете с научными текстами или проверяете доказательства — нейросеть AiGENDA может помочь структурировать сложные материалы и найти ключевые аргументы в любом документе. Попробуйте бесплатно или выберите гибкий тариф под свои задачи.