ProveTogether เปิดตัวแพลตฟอร์ม AI ที่ให้ผู้ใช้ร่วมกันแก้ปัญหาคณิตศาสตร์ระดับโลก โดยใช้ระบบ Ledger และเครื่องมือ Lean ตรวจสอบความถูกต้องของบทพิสูจน์ ผู้ใช้สามารถเลือกโจทย์จากฐานข้อมูลที่รวม 6 จาก 7 ปัญหาใน Millennium Prize Problems แล้วร่วมงานกับกลุ่มต่างๆ แลกเปลี่ยนแนวคิด ระบบจะติดตามความคืบหน้าผ่าน Ledger ที่เปิดให้ทุกคนเข้าถึง ขณะนี้ยังไม่มีระบบจ่ายเงินรางวัล แต่เตรียมแผนไว้ในอนาคต แพลตฟอร์มเน้นการทำงานร่วมกันผ่านการตรวจสอบอัตโนมัติและให้เครดิตผู้ใช้ที่มีส่วนร่วมในการพิสูจน์ทฤษฎี
AIคณิตศาสตร์แพลตฟอร์มMillennium Prize Problems
สรุปด้วย MAF Local AI · เนื้อหาต้นฉบับเป็นของแหล่งข่าว