📁 Terence Tao, câștigător al Medaliei Fields, spune că AI poate deja genera multe demonstrații matematice. Adevăratul blocaj este verificarea. Crearea de idei devine ieftină. A ști care sunt cu adevărat corecte este încă muncă umană.