OpenAI เผยแพร่ผลงานพิสูจน์สมการ Navier-Stokes ด้วย Lean 4 ท่ามกลางข้อกังขาเรื่องที่มาข้อมูล
ความก้าวหน้าในการพิสูจน์คณิตศาสตร์ระดับ Millennium Prize สะท้อนศักยภาพของ AI ขั้นสูง แต่ความคลุมเครือเรื่องการนำข้อมูลโค้ดและพรอมต์ของผู้ใช้ไปเทรนโมเดล กลายเป็นประเด็นความเสี่ยงสูงสุดต่อทรัพย์สินทางปัญญาขององค์กรธุรกิจ