← Về trang chính1 tin
OpenAI cập nhật kho lưu trữ GitHub toán học với 6 bản hình thức hóa Lean mới, 19 bản sửa đổi và 3 bản rút lại. Kho lưu trữ hiện có khoảng 42% kết quả hàng đầu được hình thức hóa. OpenAI sẽ tiếp tục cập nhật kho lưu trữ bằng các bản hình thức hóa mới và bất kỳ lỗi nào họ nhận thấy.
https://t.co/HI6otY2NTO
Đăng nhập để góp ý, chỉnh sửa
Nguồn chính
- THẢO LUẬNsashank_1509news.ycombinator.com
- THẢO LUẬNtheemathasnews.ycombinator.com
- SOURCEhngithub.com
- SOURCE@miniapeur“These include OpenAI's announced Navier-Stokes proof. In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations.”x.com
- SUPPORT@therundownai“OpenAI has also withdrawn 3 of the papers, and 14 more have been revised since the release.”x.com
- SOURCE@0xdoug“κ = 2⁻¹⁵ (tightened from κ = 2⁻¹⁸²) A 500 thousand fold improvement over the previous result and a 2 ^ 167 fold improvement over the original OpenAI result.”x.com
- SUPPORT@borismpower“Wow, this is truly inspiring!!”x.com
- SUPPORT@doomslide“The result released by OpenAI (#311) on October 6, 2026... identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026”x.com