เรื่องของเรื่องคือ OpenAI ปล่อยเปเปอร์คณิตศาสตร์ จำนวน 722 ฉบับ ลงบน GitHub วันที่ 6 ตุลาคม
ลิงก์ : https://openai.com/index/sharing-ai-progress-in-mathematics/

ซึ่ง เป็นบทพิสูจน์เพื่อแก้ปัญหาโจทย์คณิตศาสตร์ยากๆ ที่ไม่เคยมีใครแก้ได้ 372 ข้อ
โมเดลใช้เวลาคิดเฉลี่ย 3 ชั่วโมงต่อหนึ่งคำตอบ และมาพร้อมกับโค้ดภาษา Lean

ตัวอย่างปัญหาคณิตศาสตร์ที่ OpenAI อ้างว่าแก้ได้
The Quasi-Riemann Hypothesis
หา "แบบแผน" ของเลขจำนวนเฉพาะ (Prime Numbers)
ยังแก้ตัวเต็ม Riemann Hypothesis ไม่ได้ แต่ AI สามารถ พิสูจน์ "กึ่งสมมติฐานรีมันน์" (Quasi-Riemann) ในขอบเขตใหม่ที่มนุษย์ไม่เคยไปถึง

4-Dimensional Kakeya Maximal Conjecture
ขนาดที่เล็กที่สุดของพื้นที่ในอวกาศที่สามารถหมุนได้ 360 องศา
AI สามารถ คิดบทพิสูจน์เพื่อแก้โจทย์นี้ในมิติที่ 4 ได้อย่างสมบูรณ์ แถมยังมีโค้ดภาษา Lean ยืนยันความถูกต้อง

Matrix Multiplication Exponent Bound
คูณ Matrix ให้เร็วที่สุด
คิดค้นสูตรและข้อพิสูจน์อัลกอริทึมแบบใหม่ (ปรับลดค่า Omega ลงเหลือ 2.25)

Erdős–Hajnal Conjecture for Small Graphs
ทฤษฎีกราฟ (Graph Theory) พิสูจน์สมมุติฐานที่ว่า "ในกลุ่มความสัมพันธ์หรือเครือข่ายใด ๆ (เช่น เครือข่ายสังคมออนไลน์) ถ้าเราพยายามห้ามไม่ให้เกิดรูปแบบความสัมพันธ์ย่อยบางอย่างขึ้นมา เราจะพบว่าในเครือข่ายนั้นจะมีกลุ่มย่อยที่มีความสัมพันธ์เชื่อมโยงกันอย่างสมบูรณ์ หรือไม่มีความสัมพันธ์กันเลย มีขนาดใหญ่กว่าปกติอย่างมาก"
AI เสนอ บทพิสูจน์สมมุติฐานนี้สำหรับกราฟขนาดเล็กบางประเภท

ซึ่งถ้ารวมกับ Navier-Stokes ที่เคยตีพิมพ์แล้ว ก็.. วงการคณิตศาสตร์ ก็ยับๆ

เรียกว่า ..พิสูจน์ไปยกวงการละ..

------------------------------------------------------------------

ซึ่ง วงการคณิตศาสตร์ ออกแถลงการ ..ด่าพ่อ..

สมาคมคณิตศาสตร์เพื่อมนุษยชาติ The Association for Human Mathematics (AHM) ออกแถลงการณ์เมื่อวันที่ 7 ตุลาคม
- นี่ไม่ใช่ผลงานทางวิชาการ แต่คือการโชว์พาวของบิ๊กเทค
- วงการคณิตศาสตร์ไม่ได้ขอให้คุณทำ
- หยุดทำงานให้ OpenAI และแบนซะ

ตามนี้ : https://www.ahmath.org/statements

ธรรมดา AI มันต้องโหดกว่าอยู่แล้ว ใช้พลังงานขนาดไหนกว่าจะแก้ได้