Şirket, sonuçların daha gelişmiş bir yapay zeka modeliyle üretildiğini ve her bir çalışmanın ortalama yaklaşık 3 saatte tamamlandığını açıkladı. Matematiksel ispatların doğruluğu ise Lean adlı bilgisayar diliyle kontrol edildi.
OpenAI, çalışmaların tamamlandıkça kamuya açık veri havuzuna ekleneceğini bildirdi. Ayrıca yapay zekanın matematikteki kullanımını geliştirmek amacıyla atölye ve konferanslara destek verileceği belirtildi.
Şirket, 10 problem için yapay zekanın sonuca nasıl ulaştığını anlatan özetleri de paylaştı. Bu gelişme, OpenAI'ın eylül ayında yaklaşık 90 yıldır çözülemeyen Navier-Stokes denklemleri üzerine yaptığı çalışmanın ardından geldi.
Kaynak: AA
