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