OpenAI Dùng 10.000 AI Agent Để Đề xuất Giải pháp cho Bài toán Toán học 90 Năm
Research18 ngày trướcBài toán tồn tại và độ mượt của Navier-Stokes — chưa ai giải quyết được trong 90 năm — vừa được một mô hình nội bộ của OpenAI tiếp cận thông qua 88 tiếng tính toán phối hợp. OpenAI đã triệu hồi 10.000 AI agent, các agent này trao đổi 2,7 triệu tin nhắn, tạo ra 130 tỷ token đầu ra và cùng xây dựng một bản cứng 166 trang. Sau đó, GPT-6 Astra dành 17 tiếng để kiểm chứng toàn bộ lập luận bằng Lean — một proof assistant kiểm tra từng bước logic dựa trên hệ aksiôm trang trí. Những phương trình này mô tả chuyển động chất lỏng trong thiết kế máy bay và dự báo thời tiết. Để giải quyết một bài toán Millennium Prize, cần có một công trình xuất bản và hai năm được kiểm chứng trước khi Clay Mathematics Institute công nhận. OpenAI cho biết họ không định nhận giải thưởng. Phân tích kỹ thuật từ các bài đăng của công ty cho thấy mô hình này có thể là một vòng huấn luyện reinforcement learning đã được khôi phục lại từ ngày 28/8, chứ không phải là một lần huấn luyện mới.
Nguồn chính
- SOURCE@corvusxbt“roughly 10,000 AI agents spent 88 hours producing a proposed solution to the Navier–Stokes existence and smoothness problem”x.com
- SUPPORT@deredleritt3r“on August 28th, we restarted the large frontier RL run that was previously paused”x.com
- SUPPORT@thestalwart“didn’t even take OpenAI two weeks to train a model that’s a step change above Astra”x.com
- SUPPORT@teortaxestex“resumed RL on a base that's been ready for a while”x.com
- SUPPORT@teortaxestex“final RL can take arbitrarily little time in the current MOPD regime”x.com
- SOURCEmarketbrief.now
- SOURCE@a16z“new knowledge created by AI and it unlocking a whole wave of scientific discovery, medicines, all of those things”x.com
- SUPPORT@ctrlsecint“produced a proof resolving the 90-year-old Navier–Stokes problem, one of mathematics’ seven Millennium Prize Problems”x.com