แหล่งรวมข่าวเทคโนโลยี
nerdsify
แท็ก

#proofs

OpenAI เผยผลงานพิสูจน์โจทย์คณิตศาสตร์ที่ยังไม่เคยมีคำตอบอีกหลายร้อยข้อ
AI

OpenAI เผยผลงานพิสูจน์โจทย์คณิตศาสตร์ที่ยังไม่เคยมีคำตอบอีกหลายร้อยข้อ

OpenAI ระบุว่าโมเดลภายในของบริษัทสามารถหาคำตอบและสร้างบทพิสูจน์ให้กับโจทย์คณิตศาสตร์ที่ยังไม่มีคำตอบมาก่อนเพิ่มขึ้นอีกหลายร้อยข้อ ก่อนนำผลงานดังกล่าวไปเผยแพร่ในคลัง GitHub แบบสาธารณะ การประกาศครั้งนี้สะท้อนว่าเครื่องมือปัญญาประดิษฐ์เริ่มมีบทบาทมากขึ้นในงานวิจัยเชิงคณิตศาสตร์ ไม่ได้จำกัดอยู่แค่การใช้…