Чем плохи доказательства от ИИ с точки зрения математиков?
Habr ·
Не так давно группа лауретов премии Филдса (математический анализ Нобеля) написали открытое обращение по поводу опасности решений математических задач, генерируемых ИИ. Судя по комментариям к этой новости, многие ее поняли превратно - типа маститые математики опасаются конкуренции, и что их заменят роботы. Хотя подобные страхи имеют место быть, однако основное опасение не в этом. Решения от ИИ являются ущербными с точки зрения математиков... но почему? Данная статья разбирает, что не так с доказательствами, полученными машиной (на самом деле все так, т.е. в этих доказательств чаще всего нет логических ошибок), и чем именно они уступают доказательствам, придуманным людьми. Читать далее
Не так давно группа лауретов премии Филдса (математический анализ Нобеля) написали открытое обращение по поводу опасности решений математических задач, генерируемых ИИ. Судя по комментариям к этой новости, многие ее поняли превратно - типа маститые математики опасаются конкуренции, и что их заменят роботы. Хотя подобные страхи имеют место быть, однако основное опасение не в этом. Решения от ИИ являются ущербными с точки зрения математиков... но почему? Данная статья разбирает, что не так с доказательствами, полученными машиной (на самом деле все так, т.е. в этих доказательств чаще всего нет логических ошибок), и чем именно они уступают доказательствам, придуманным людьми. Читать далее