📁 Terence Tao, držitel Fieldsovy medaile, říká, že AI už dokáže generovat mnoho matematických důkazů. Skutečným úzkým hrdlem je ověřování. Vytváření nápadů je čím dál levnější. Zjistit, které jsou skutečně správné, je stále lidská práce.