คำกล่าวอ้างด้านคณิตศาสตร์ของ OpenAI เผยคอขวดการตรวจสอบของ AI
รายงานว่าโมเดลของ OpenAI แก้โจทย์คณิตศาสตร์สำคัญได้ ชี้ไปยังปัญหาที่ลึกกว่า: การสร้างบทพิสูจน์กำลังถูกลง ขณะที่การตรวจสอบ การระบุที่มา และการตีพิมพ์ยังเดินด้วยความเร็วของมนุษย์
ล่าสุด
โพสต์ทั้งหมด
Astra for Law ของ OpenAI คือระบบ AI ด้านกฎหมาย ไม่ใช่โมเดลใหม่
การเปิดตัวด้านกฎหมายของ OpenAI ไม่ได้เน้นโมเดลฐานรากใหม่เท่ากับระบบที่ล้อมรอบโมเดลนั้น: การค้นคืนเฉพาะโดเมน เครื่องมือที่เชื่อถือได้ สิทธิ์ เบนช์มาร์ก และเส้นทางการตรวจทาน
คำกล่าวอ้างเรื่องการพิสูจน์ Navier–Stokes ของ OpenAI อธิบายแบบเข้าใจง่าย
OpenAI ระบุว่าเอเจนต์ AI พบ singularity ของ Navier–Stokes และทำให้การพิสูจน์เป็นรูปแบบทางการใน Lean เรื่องที่ยากกว่าคือสิ่งที่จะเกิดขึ้นต่อจากนี้: การทบทวน การให้เครดิต และอำนาจของฝูงเอเจนต์ส่วนตัวในวงการคณิตศาสตร์