AI Has Solved One of Math's $1 Million Millennium Prize Problems
OpenAI ประกาศว่ากลุ่มเอเจนต์ AI ราว 10,000 ตัวพิสูจน์ได้ว่าสมการ Navier–Stokes สามารถเกิด singularity ในเวลาจำกัด ซึ่งเป็นหนึ่งใน 6 โจทย์ Millennium Prize ที่ยังเหลืออยู่ พร้อมพิสูจน์ยืนยันด้วย Lean แต่ก็มีข้อพิพาทเรื่องเครดิตตามมาทันที






