OpenAI 722 matematik kanıtı yayımladı: Matematikçiler araştırmalarını yapay zekâya kaptırmaktan endişeli
OpenAI, uzun süredir çözülemeyen matematik problemlerine yönelik 722 el yazması ve kanıt yayımladı; sonuçların yalnızca 300'ü bilgisayarca doğrulanabilir biçimde resmileştirildi. Matematikçiler, kullanılan modelin ve istemlerin açıklanmamasını, hatalı ve tekrarlı sonuçları ve alanın işbirliği kültürüne verebileceği zararı eleştiriyor.
