En son haberleri, açıklamaları ve bağlantılı teknoloji hikâyelerini takip edin.
OpenAI yüzlerce matematiksel kanıt yayımladı; ancak AGMAI grubunun ilkeleri ve Cambridge ile King's College araştırmacılarının bir çalışması, belgelendirme, insan anlayışı ve metinsel açıklamalarla Lean kodu arasındaki uyum konusunda eksiklikler ortaya koydu.