Чем плохи доказательства от ИИ с точки зрения математиков?

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

KioskNews shows the publisher’s own headline, image, and summary — the full article always lives on their site, not ours.