← Về trang chính1 tin
Khi OpenAI ra mắt bằng chứng cho thấy nghiệm giải của phương trình Navier-Stokes có thể bùng nổ trong thời gian hữu hạn, họ cũng đồng thời công bố một chứng minh hình thức bằng Lean 4.
Đăng nhập để góp ý, chỉnh sửa
Nguồn chính
- THẢO LUẬNibobevnews.ycombinator.com
- SOURCE@mtslive“OpenAI is using the internal model that produced its Navier–Stokes proof to attempt the Riemann Hypothesis and P vs NP.”x.com
- SUPPORT@rohanpaul_ai“NY Times: After finishing Navier-Stokes, OpenAI said it had made substantial progress on a 2nd Millennium Prize problem, without identifying it or disclosing results.”x.com
- SUPPORT@andrewcurran_“When Epoch launched FM Tier 4 on July 11th, 2025, the top score was 5%. GPT-6 Astra has now solved the last problem standing. FrontierMath Tier 4 is saturated.”x.com
- SOURCE@synthwavedd“since the completion of Navier-Stokes, we have made substantial progress on another Millennium Prize problem.”x.com
- SUPPORT@hesamation“OpenAI wrote in the Navier-Stokes blog that they put seperate agent groups on ALL open millennium prize problems”x.com
- SUPPORT@mtslive“has made substantial progress on a second Millennium Prize problem and is preparing to share the results, per the New York Times.”x.com
- SUPPORT@tftc21“This is the second time in a month a mathematician has publicly accused OpenAI of benefiting from their work fed through a chatbot.”x.com