--- format: "aidr-story-markdown/v1" id: "37a3a6bce3acc1d767f7b748fa963b8569a7f55935a1d4bb1414e7f5e8ff9b32" canonical_url: "https://aidr.today/37a3a6bc?lang=vi" title: "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" lang: "vi" requested_lang: "vi" available_langs: ["en","vi"] translation_fallback: null fallback_fields: [] published_at: "2026-09-13T20:43:38.000Z" category: "Research" topics: ["openai","agent","multi-agent","reasoning","gpt","research","benchmark","coding"] source_urls: ["https://huggingnews.com/ai/update-openai-uses-10000-ai-agents-to-propose-solution-to-90-year-math-p-5e53bde7","https://x.com/CorvusXBT/status/2099185459800731830","https://x.com/deredleritt3r/status/2099195609014051149","https://x.com/TheStalwart/status/2099174718087585865","https://x.com/teortaxesTex/status/2099183493712380266","https://x.com/teortaxesTex/status/2099189441034150033","https://marketbrief.now/ai/update-openai-uses-10000-ai-agents-to-propose-solution-to-90-year-math-p-5e53bde7","https://x.com/a16z/status/2099623040439226731"] summary: "Bà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." --- # 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 > [Open the canonical story]() **Published:** 2026-09-13T20:43:38.000Z **Category:** Research **Topics:** openai, agent, multi\-agent, reasoning, gpt, research, benchmark, coding ## Summary Bà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\. ## Sources - [Story source]() - [Story source]() - [Supporting source]() - [Supporting source]() - [Supporting source]() - [Supporting source]() - [Story source]() - [Story source]()