Bot PleaseBot Pleaseข่าวทั้งหมด
TechCrunchAI

An unreleased Anthropic model made progress on one of math’s biggest unsolved problems

โมเดล Anthropic ที่ยังไม่ได้เปิดตัวทำความก้าวหน้าสำคัญต่อสมมติ Riemann ด้วยการทดสอบแนวคิดกว่า 650 ไอเดีย ผ่านการทำงานร่วมของ 60 ตัวแทนย่อย ใช้เวลา 31 ล้าน token และได้รับการยืนยันจากนักคณิตศาสตร์ภายใน พร้อมใช้เครื่องมือ Lean ในการตรวจสอบ ผลลัพธ์นี้แสดงให้เห็นว่า AI สามารถทำงานเป็นทีมที่ซับซ้อนเพื่อสำรวจความเป็นไปได้ใหม่ ๆ ในคณิตศาสตร์

#ai
อ่านต้นฉบับ
ข่าวทั้งหมด