📁 Теренс Тао, лауреат медалі Філдса, каже, що ШІ вже може генерувати багато математичних доказів. Справжнє вузьке місце — це верифікація. Створення ідей стає дешевим. Знати, які з них справді правильні, — це все одно людська справа.