OpenAI опубликовала решения сотен математических задач, полученных с помощью ИИ. Компания выложила 722 научные работы, объединённые в 372 группы связанных результатов. Среди них — продвижения по трём из пяти оставшихся задач тысячелетия. Один из столетних вопросов математики двигался с ИИ-ассистентом, а не руками исследователя.
722 работы — это не просто публикации, а систематизированная коллекция доказательств. OpenAI сгруппировала их в 372 кластера, каждый из которых содержит близкие по теме результаты. Задачи тысячелетия — семь проблем, за решение каждой полагается миллион долларов. Три из пяти оставшихся без решения показали прогресс благодаря нейросетям.
В профессиональных кругах обсуждают, можно ли доверять ИИ-генерируемым доказательствам без ручной проверки. Эксперты отрасли спорят о рисках: алгоритм может найти верный ответ, но пропустить логическую брешь. Для математика это инструмент, а не замена мышления.
При этом все 722 работы доступны открыто — любой может изучить ход решения и проверить выводы.
Хотите разобраться в математических задачах или проверить гипотезу? Нейросеть AiGENDA поможет сравнить подходы, структурировать данные и найти нужное. Первый запрос — бесплатно. Если пригодится, сами выберете удобный тариф.
Материал подготовлен по информации из открытых источников:
1. http://vc.ru/ai/3180423
2. https://t.me/vcnews/63832
