คำกล่าวอ้างด้านคณิตศาสตร์ของ OpenAI เผยคอขวดการตรวจสอบของ AI
รายงานว่าโมเดลของ OpenAI แก้โจทย์คณิตศาสตร์สำคัญได้ ชี้ไปยังปัญหาที่ลึกกว่า: การสร้างบทพิสูจน์กำลังถูกลง ขณะที่การตรวจสอบ การระบุที่มา และการตีพิมพ์ยังเดินด้วยความเร็วของมนุษย์
บล็อก
ไอเดีย อัปเดต และ ทุกเรื่อง AI.
ข่าว AI และคู่มือทำจริง อธิบายเข้าใจง่าย
ล่าสุด
คอร์สฟรี
AI ตั้งแต่พื้นฐาน
คอร์สปัญญาประดิษฐ์ครบถ้วน ตั้งแต่คณิตศาสตร์ไปจนถึง LLM, เอเจนต์ และ MCP รวม 30 บท โดยแต่ละบทคุ้มค่าที่จะอ่านได้ด้วยตัวเอง
30 บทอ่าน ~7 ชม.
บทแรก ๆ
Perceptron จากศูนย์: นิวรอนคำนวณอะไร
นิวรอนคือผลรวมถ่วงน้ำหนักกับเกณฑ์ตัดสิน นั่นคือทั้งแนวคิด — และขีดจำกัดของมันคือสิ่งที่ผลักให้ทุกอย่างหลังจากนั้นเกิดขึ้น
Loss Function มาจากไหน: จาก Likelihood ไม่ใช่ธรรมเนียม
squared error ไม่ใช่ธรรมเนียม แต่เป็นข้ออ้างเกี่ยวกับ noise และคุณมองเห็นได้เมื่อมันผิด
ลงเขา: Gradient Descent และสองขั้นตอนที่ทุกคนมักข้าม
ทุกคนเขียนเครื่องหมายลบ แต่แทบไม่มีใครบอกว่าทำไมมันอยู่ตรงนั้น หรือก้าวได้ไกลแค่ไหนก่อนพัง
Classification, Cross-Entropy และวิธีไม่หลอกตัวเอง
Accuracy เป็นตัวเลขที่รายงานง่ายที่สุด และหลอกเราได้ง่ายที่สุด
วิดีโอ
ดูวิดีโอทั้งหมด
#173Test-time compute: making an AI better by letting it think longer
#172Reasoning tokens: the AI thinking you never see but still pay for
#171Emergent reasoning: the AI that started double-checking on its own
#170Process reward: grading an AI's working, not just its final answer
#169Verifiable rewards: training AI on answers a program can check
#168Tree of thoughts: how an AI searches through ideas, and what it costs
#167Self-consistency: ask an AI several times, then trust the majority
#166Think step by step: why a famous prompt works, and when it backfires
โพสต์ทั้งหมด
โมเดล AI Jev สร้างมาเพื่อการตัดสินใจ ไม่ใช่การเขียนความเรียง
Jev ของ TypeSafe AI กำลังได้รับความสนใจ เพราะมองความฉลาดของซอฟต์แวร์เป็นปัญหาความน่าจะเป็น: เลือกกิ่งที่ถูกต้อง แนบความมั่นใจ และหลีกเลี่ยงการจ่ายเงินให้ LLM เขียนข้อความเมื่อโค้ดต้องการการตัดสินใจ
Astra for Law ของ OpenAI คือระบบ AI ด้านกฎหมาย ไม่ใช่โมเดลใหม่
การเปิดตัวด้านกฎหมายของ OpenAI ไม่ได้เน้นโมเดลฐานรากใหม่เท่ากับระบบที่ล้อมรอบโมเดลนั้น: การค้นคืนเฉพาะโดเมน เครื่องมือที่เชื่อถือได้ สิทธิ์ เบนช์มาร์ก และเส้นทางการตรวจทาน
วิศวกรรมบริบทสำหรับเอเจนต์ AI ที่ทำงานระยะยาว
เอเจนต์ที่ทำงานต่อเนื่องไม่ได้ล้มเหลวเพียงเพราะหน้าต่างบริบทเล็กเกินไป แต่ล้มเหลวเมื่อไฟล์ ผลลัพธ์จากเครื่องมือ และประวัติที่ค้างเก่าบดบังงานที่เอเจนต์ควรทำให้เสร็จ
ขีดจำกัดความเร็วของ AI: Amodei เตือนเรื่องการพัฒนาตนเองแบบวนซ้ำ
Dario Amodei ต้องการผู้ประเมินภายนอก มาตรฐานความปลอดภัยร่วม และข้อตกลงระหว่างประเทศเพื่อคุมจังหวะ AI ระดับแนวหน้า ส่วนที่ยากคือการนิยามว่า “เร็วเกินไป” หมายถึงอะไร ในขณะที่มีรายงานว่า Anthropic กำลังเตรียม IPO ขนาดทำลายสถิติ
Recursive self-improvement: why AI researchers worry
The sharper worry around recursive self-improvement is not strange chatbot output. It is agents that coordinate, optimize metrics, and help build the next models — a concern reflected in reporting from WIRED, MIT Technology Review, CNBC, and The Guardian.
คำกล่าวอ้างเรื่องการพิสูจน์ Navier–Stokes ของ OpenAI อธิบายแบบเข้าใจง่าย
OpenAI ระบุว่าเอเจนต์ AI พบ singularity ของ Navier–Stokes และทำให้การพิสูจน์เป็นรูปแบบทางการใน Lean เรื่องที่ยากกว่าคือสิ่งที่จะเกิดขึ้นต่อจากนี้: การทบทวน การให้เครดิต และอำนาจของฝูงเอเจนต์ส่วนตัวในวงการคณิตศาสตร์