📁 Fields Madalyası sahibi Terence Tao, yapay zekanın zaten birçok matematiksel kanıt üretebildiğini söylüyor. Asıl dar boğaz doğrulamadır. Fikir yaratmak ucuzlaşıyor. Hangilerinin gerçekten doğru olduğunu bilmek hâlâ insan işi.