OpenAI แก้ปัญหาคณิตศาสตร์ 10 ข้อสำคัญ แต่ LLM ยังไม่เก่งเท่ามนุษย์ในด้านการพิสูจน์ทฤษฎี

OpenAI ประกาศแก้ปัญหาคณิตศาสตร์และทฤษฎีคอมพิวเตอร์ 10 ข้อสำคัญ เช่น การสร้าง non-sofic group และการพิสูจน์ multicolour Ramsey number เติบโตแบบ superexponential ในเดือนสิงหาคม 2026 แม้ LLM จะแสดงความสามารถเด่นในการหา counterexamples แต่ยังไม่สามารถแข่งขันกับมนุษย์ในด้านการพิสูจน์ทฤษฎีที่ซับซ้อน ตัวอย่างเช่น ทฤษฎีของ Vinogradov ที่ต้องใช้การพิสูจน์แบบอ้อมค้อม ขณะที่ counterexamples ที่ต้องการการค้นหาตัวอย่างขัดแย้งกับสมมติฐานยังเป็นจุดแข็งของโมเดล การวิเคราะห์โครงสร้างประโยคทางคณิตศาสตร์ที่ใช้ quantifier ชี้ให้เห็นว่า LLM อาจมีความได้เปรียบในปัญหาที่ต้องการการทดสอบกรณีพิเศษ แต่ยังต้องพัฒนาในด้านการสร้างทฤษฎีใหม่

สรุปด้วย MAF Local AI · เนื้อหาต้นฉบับเป็นของแหล่งข่าว