Один из ведущих математиков современности, Теренс Тао, выступил с концепцией «Математика 2.0», предполагающей, что поиск доказательств перестанет быть ключевой интеллектуальной задачей человека. По мнению учёного, прежняя система математических исследований уже не соответствует возможностям, которые демонстрирует искусственный интеллект.
Масштабная публикация результатов ИИ
Дискуссия обострилась после того, как компания OpenAI 6 октября предоставила доступ к большому объёму математических материалов. В частности, были опубликованы 722 математические рукописи, сгруппированные в 372 взаимосвязанные набора результатов.
- Материалы были подготовлены экспериментальной моделью, которая пока не выпущена для широкой публики.
- Разработчики утверждают, что ИИ решил или значительно продвинул решение сотен открытых задач из разных областей математики.
Однако эксперты отмечают, что публикация доказательств не гарантирует подтверждения их правильности, оригинальности или научной значимости со стороны научного сообщества. Общий объём работ вызвал обсуждение не только достижений нейросети, но и последствий такой массовой публикации результатов без привычной научной экспертизы.
Контекст
Теренс Тао — лауреат Филдсовской премии, который выступил с данной концепцией в Калифорнийском технологическом институте (Caltech) 9 октября. OpenAI — компания, основанная 8 декабря 2015 года, чей штаб-квартира находится в Сан-Франциско.
