OpenAI, henüz resmi olarak yayımlamadığı bir modelden türetilen 722 matematik makalesini kamuya açtı. Akıl yürütmeleri Lean ile formal sürümlerde doğrulanabilir; bazı sonuçlar için ek inceleme gerekiyor.
Navier-Stokes problemiyle ilgili bir akademik tartışma, Buckmaster ile OpenAI arasındaki bilgi paylaşımı ve kredi konusundaki iddiaları gündeme getiriyor. Detaylar şu an netleşiyor.
Anthropic’in gizli yapay zeka modeli, 150 yıldır çözülemeyen Riemann hipotezi üzerinde önemli bir ilerleme kaydetti. Alt ajanlar aracılığıyla yürütülen süreç matematik dünyasında tartışmalara yol açtı.
