Otoformalizasyon yapay zekasının gerçekten harika bir yanı, bu üretilen kanıtların geçerliliğinden çok emin olabilmemizdir. Bu, insan tarafından yazılmış birçok eserin eksik olduğu ve faydalanacağı bir doğrulama seviyesidir. @HarmonicMath'nin harika Aristoteles modeline çok teşekkürler!
Bir şey bana çok net geliyor:
Diğer tüm laboratuvarlar OpenAI'nin akıl yürütme konusunda çok gerisinde ve bu durum hiç yakın değil. Diğer laboratuvarların halüsinasyon ve tembelliği kontrol altına alması gerekiyor.
