📁 Terence Tao, laureat Medalu Fieldsa, mówi, że AI już teraz potrafi generować wiele dowodów matematycznych. Prawdziwym wąskim gardłem jest weryfikacja. Tworzenie pomysłów staje się tanie. Wiedza, które z nich są naprawdę poprawne, wciąż należy do ludzi.