Математики не доверяют доказательствам ИИ — нейросети научились обходить компьютерную проверку
Компьютерра ·
Источник: Компьютерра - Журнал о науке и технологиях Искусственный интеллект все активнее используют для решения математических задач. Но вместе с этим возникает неожиданная проблема: компьютер может подтвердить правильность доказательства, даже если оно на самом деле ошибочно. Исследователи обнаружили, что ИИ способен находить слабые места не только в математике, но и в программах, которые должны проверять его решения. Для автоматической проверки доказательств математики используют […] Полная версия статьи: Математики не доверяют доказательствам ИИ — нейросети научились обходить компьютерную проверку
Источник: Компьютерра - Журнал о науке и технологиях Искусственный интеллект все активнее используют для решения математических задач. Но вместе с этим возникает неожиданная проблема: компьютер может подтвердить правильность доказательства, даже если оно на самом деле ошибочно. Исследователи обнаружили, что ИИ способен находить слабые места не только в математике, но и в программах, которые должны проверять его решения. Для автоматической проверки доказательств математики используют […] Полная версия статьи: Математики не доверяют доказательствам ИИ — нейросети научились обходить компьютерную проверку