Anthropic, Riemann hipotezinin geçerli olduğu çözümlerin alt sınırını önemli ölçüde artıran bir modeli geliştirmiş olduğunu açıkladı. Bu model, 60 alt ajan tarafından koordinatörlüğü yapılan 650 farklı fikrin test edilmesiyle 31 milyon işlem süresi harcanarak bu sonuca ulaştı.

Model, iki ana alt ajan tarafından geliştirilen kritik matematiksel fikirler üzerine 13 alt ajanın katkılarıyla, 30 alt ajanın yeni fikirler geliştirememesine rağmen, 13 alt ajan tarafından doğrulanarak ve son iki alt ajan tarafından yazılan bir makaleyle desteklenmiştir. Bu bulgu, Anthropic'in içindeki matematikçiler tarafından doğrulanmış ve Lean adlı açık kaynaklı ispat asistanı ile formalize edilmiştir.

Son yıllarda, büyük dil modelleri (LLM'ler) tarafından gerçekleştirilen matematiksel buluşlar, bu alanda hem heyecan hem de endişe yaratmıştır. Bazı matematikçiler, AI'nin matematiksel ispatların belirli yazarlara atanması gibi kritik değerleri altın üstüne getirebileceğinden endişe ediyorlar. Ancak, bu konuda henüz bir konsensüs oluşmamıştır.