Admin
Администратор
Математики столкнулись с проблемой: ИИ создаёт доказательства, которые выглядят убедительно, но не выдерживают строгой проверки.
Более 150 специалистов из разных стран призвали научное сообщество и власти не принимать громкие заявления разработчиков ИИ за реальные математические прорывы.
Поводом для декларации стала волна сообщений о том, что большие языковые модели якобы решают сложные задачи, над которыми ученые работали десятилетиями. Математики считают, что современные автоматические методы способны создавать правдоподобные, но ненадежные или ошибочные рассуждения. Проблема усугубляется тем, что неправильное доказательство бывает трудно отличить от корректного, особенно до полноценной проверки экспертами. Подписанты также указывают на коммерческий интерес технологических компаний, которые хотят быстрее показывать успехи моделей. Математики не призывают отказаться от ИИ в исследованиях, но требуют меньше рекламного шума, больше открытых данных и независимой проверки.
