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