Rohan Arun cho biết năm Fable 5.1 AI agent đã gửi năm cận cải tiến cho kết quả nhân số nguyên của OpenAI qua đêm, dùng 92 sandbox worker và hơn 700 triệu token. Các agent cũng giảm hằng số dư Sidorenko từ 978 xuống 189, rút gọn lưới chứng minh khoảng cách đơn vị xuống còn 12 cạnh và tìm ra hệ số van der Waerden mới là 1/25.
Bài nộp nhân số nguyên có điều kiện mới nhất của Arun nâng tham số tiết kiệm số mũ κ lên khoảng 0,00075115, từ mức gốc 2⁻¹⁸² của OpenAI. Tham số này xuất hiện trong chặn thời gian chạy lý thuyết T(n) = O(n(log n)^(1−κ)); việc nó tăng lên không đồng nghĩa với tốc độ nhân thực tế tăng theo. Arun cho biết việc bổ sung agent không thúc đẩy tiến độ theo đường tuyến tính và vẫn cần các nhà nghiên cứu con người dẫn dắt các đội ngũ độc lập.
Ở diễn biến khác, một nhà toán học viết trên MathOverflow cáo buộc OpenAI bỏ quên công trạng trong hai bản thảo khái quát hóa công trình trước đó của ông. Ông viết rằng chiến lược chứng minh và các lựa chọn ký hiệu cụ thể của một bài báo giống hệt phiên bản sơ bộ mà ông tải lên ChatGPT vào ngày 8 tháng 9. Các mối lo ngại về việc xác thực cũng nổi lên xung quanh tuyên bố Navier–Stokes trước đó của OpenAI: Valerio Capraro mô tả
Nguồn chính
- SOURCE@rohanarun“Five Fable 5.1 agents orchestrating a fleet of 92 sandbox workers spent over 700 million tokens with the following breakthroughs: 1) 5 new higher bounds for integer multiplication 2) Shrink the Unit distances grid to 12 edges 3) Cut the Sidorenko residual constant from 978 to 189 4) Found new Van der Waerden coefficient c = 1/25”x.com
- SUPPORT@0xdoug“Validated and merged Rohan's PR. Big gain on a really difficult regime (that frankly I was stuck at). Incredible work. κ = 2⁻¹⁵ (tightened from κ = 2⁻¹⁸²)”x.com
- SUPPORT@andrewcurran_“The latest redesigned the finite network to share intermediate computations and scratch space, then tightened the recursion and Gaussian estimates.”x.com
- SOURCE@himanshustwts“The result is also contained in a paper [8] released by OpenAI on October 6, 2026, in which the proof strategy and specific choices of notation are identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026.”x.com
- SUPPORT@intuitmachine“We have a new social issue here: any public proposal makes the proposer vulnerable to being scooped by AI.”x.com
- SOURCE@rohanpaul_ai“OpenAI withdraws some of the math paper that it published two days back.”x.com
- SUPPORT@pmddomingos“Surprise: the verified Navier-Stokes proof doesn’t match the one in the paper.”x.com
- SUPPORT@valeriocapraro“They identify at least two mismatches between the written intermediate results and their Lean counterparts: One estimate claims that four additional input derivatives suffice. The Lean version requires five: a weaker result. A pressure-flux estimate is obtained through a different bound, and proved through a different argument. It is not clear whether these mismatches invalidate the entire proof.”x.com