AlphaProof Nexus ของ Google DeepMind แก้ปัญหา Erdős 9 ข้อ เมื่อวันที่ 26 พฤษภาคม โดยเป็นปัญหาที่ยังไม่ถูกแก้ได้มานานที่สุด 56 ปี

ตามที่ xinzhiyuan ระบุ Google DeepMind ได้เปิดตัว AlphaProof Nexus เมื่อวันที่ 26 พฤษภาคม ซึ่งเป็นเอเจนต์คณิตศาสตร์ที่ขับเคลื่อนด้วย AI และสามารถแก้ปัญหาเปิดของ Erdős ที่ยาวนานได้ถึง 9 เรื่อง โดยปัญหาที่ยังไม่เคยแก้ได้มานานที่สุดคือ 56 ปี ค่าใช้จ่ายต่อ 1 คำตอบอยู่ที่เพียงแค่ไม่กี่ร้อยดอลลาร์

แต่ละข้อพิสูจน์ได้รับการตรวจสอบอย่างเป็นทางการโดยคอมไพเลอร์ Lean ซึ่งช่วยขจัดความเป็นไปได้ของข้อผิดพลาด DeepMind ยังรายงานความก้าวหน้าในด้านเรขาคณิตพีชคณิต การเพิ่มประสิทธิภาพแบบนูน ทฤษฎีกราฟ และทัศนศาสตร์ควอนตัม