Когда ИИ загрязняет математические форумы

Искусственный интеллект (ИИ) блистал в математике, продемонстрировав уровень золотых медалей на международных Олимпийских играх дисциплина в июле, но это имеет не только положительный эффект.

Оно даже начало загрязнять некоторые специализированные форумы, оживляя старую практику: объявления о демонстрации известных проблем, таких как гипотеза Римана (связанная с распределением простых чисел) или так называемая проблема «P = NP» (связанная со сложностью решения проблем), которые представляют собой две задачи, которые с 2000 года оцениваются в 1 миллион долларов (850 000 евро) Институтом математики Клея. Но мы могли бы также привести случай гипотезы Гольдбаха или гипотезы Сиракуз, также известной как Коллатц (о свойствах целых чисел).

Все профессиональные математики рано или поздно получали подобные «демонстрации» от любителей. «Но сейчас это почти один в неделю!»– пожалел Патрик Массо, профессор Университета Париж-Сакле, во время конференции, посвященной взаимосвязи искусственного интеллекта и математики, 18 ноября в Институте Анри-Пуанкаре. Эта «каша» (перевод посвященного выражения Резервное копирование помоев) делать «трата времени»добавил он. Надо сказать, что форум, который он часто посещает, особенно привлекает любителей, ищущих славы. Он посвящен Lean, программному обеспечению под названием «помощник по доказательству», которое также является формальным языком, позволяющим сертифицировать логические последовательности. Таким образом, в ходе обучения ИИ также научились говорить на «бережливом» языке и могут обманывать, предоставляя тексты, которые кажутся правильными.

Вам осталось прочитать 56,99% этой статьи. Остальное зарезервировано для подписчиков.