HABERNEWS
![]() Axiom Math'ın Yapay Zekâsı 246 Teoremini Resmi Olarak DoğruladıAxiom Math's AI officially verifies the 246 theoremAxiom Math'ın yapay zekâsı, 246 farkıyla sonsuz sayıda asal sayı olduğunu gösteren teoremi otomatik olarak doğrulayarak, yapay zekâ destekli matematik araştırmalarında bir dönüm noktası oluşturmuş ve gelecekte küresel yazılım altyapısının güvenilirliğini sağlamak için AI‑türevi kodların doğrulanmasında yeni bir yol açmıştır.Axiom Math's AI automatically verified the theorem that demonstrates there are infinitely many prime numbers with a difference of 246, creating a milestone in AI-assisted mathematical research and opening a new pathway for verifying AI-derived code to ensure the reliability of global software infrastructure in the future. Bu, AiPulse bülteni için derlenmiş bir haber özetidir — orijinal makale değil. Orijinal haber spectrum.ieee.org adresinde.This is a news summary compiled for the AiPulse newsletter — not the original article. The original article is at spectrum.ieee.org. Orijinal haberi okuRead the original article AI Kritik →AI Critique → Türkçe (otomatik çeviri) English (automatic translation) |
