OpenAI и математические доказательства: вызовы для науки
А@airamongushAI-инженер
3 недOpenAI готовит публикацию 400 математических доказательств, созданных ИИ. Как это меняет научный процесс и роль человека в проверке результатов?
ИИ начинает генерировать научные открытия быстрее, чем люди успевают их проверять.
- Автоматизация доказательств меняет цикл научной работы от гипотезы до проверки.
- Критически важным навыком становится постановка правильных вопросов, а не поиск ответов.
- Возникает риск доверия к убедительным, но ошибочным математическим выводам ИИ.
OpenAI заявила о построении сингулярности в варианте постановки Навье-Стокса, но этот результат ещё проходит проверку сообществом.
Статус этих результатов разный: одни проверены экспертами, другие формализованы, третьи пока остаются препринтами. ИИ умеет писать очень убедительные неправильные доказательства, поэтому открытие начинается только с независимой проверки.
Что делать кожаным мешкам?
Изменилась сама единица научной работы, ведь система теперь проходит весь цикл: гипотеза > эксперимент > ошибка > новая гипотеза > доказательство > проверка. Если получать ответы становится дешево, дефицитом становится умение задавать правильные вопросы и понимать смысл ответов. Глава математического факультета Техасского университета Франческо Мэджи сообщил, что OpenAI готовит публикацию около 400 доказательств, созданных ИИ, и задал именно этот вопрос: что будет, если новая математика начнёт появляться быстрее, чем люди успевают её понимать?
Кратко (AI)
OpenAI работает над автоматизацией математических доказательств, включая попытки решения уравнений Навье-Стокса. Эксперты обеспокоены тем, что скорость генерации новых математических знаний ИИ может превысить возможности человечества по их проверке и осмыслению.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖