ช่วงนี้หลายคนน่าจะเห็นไวรัล The Justin Sun Prize เงินรางวัลสูงสุด 1 ล้านดอลลาร์ ตามสื่อต่างๆใช่ไหมครับ

โพสต์นี้ ผมจะมาอธิบายวิธีล่ารางวัล The Justin Sun Prize
จากการพิสูจน์โจทย์คณิตศาสตร์กันครับ

@Justin Sun孙宇晨 ตั้งกองทุนรางวัลคณิตศาสตร์ขึ้นมา เปิดให้ทุกคนบนโลกล่าได้ ไม่จำกัดสัญชาติ ไม่ต้องมีวุฒิ ไม่ต้องสังกัดมหาวิทยาลัย และไม่แยกว่าคนทำเป็นมนุษย์หรือ AI ขอแค่ทำได้จริงและตรวจสอบได้

แต่เกมนี้ไม่เหมือนแข่งคณิตศาสตร์ทั่วไป เพราะ "แก้โจทย์ได้" อย่างเดียวไม่พอ ต้องแปลงคำพิสูจน์เป็นภาษา Lean 4 ให้เครื่องตรวจแล้วผ่าน ถึงจะนับ

ผมไปรื้อ repo ทางการมาทั้งก้อน สรุปวิธีล่าให้ครบตั้งแต่ต้นจนจบ

ของดีว่ะเพื่อน 🔥

#TRON #TGF #TronGlobalFriends