Matematik Alex Rutar v novém krátkém eseji rozlišuje tři věci, které se běžně označují jako důkaz: lidské porozumění matematickému tvrzení, mechanické ověření logických kroků a přijetí výsledku na základě autority. Upozorňuje, že počítače umožnily kontrolu správnosti bez lidského pochopení a AI může dále posílit důvěru v odpověď, jejíž argumentům člověk nerozumí.
Nejde o zprávu o novém matematickém průlomu ani tvrzení, že by každý AI výsledek byl chybný. Esej otevírá otázku, jak tyto významy oddělit, aby matematika dál fungovala jako lidská praxe. Pro využívání AI v důkazech je to praktické rozlišení: formální kontrola platnosti a skutečné pochopení řešení nejsou stejným cílem.
