--- format: "aidr-story-markdown/v1" id: "080d4a0513b1dff6b28854adce5bd9283d92b75a31cc7d58017731a37807f964" canonical_url: "https://aidr.today/080d4a05?lang=vi" title: "OpenAI phát hành các tài liệu toán học, tuyên bố tiến bộ ở ba bài toán Thiên niên kỷ" lang: "vi" requested_lang: "vi" available_langs: ["en","vi"] translation_fallback: null fallback_fields: [] published_at: "2026-10-06T23:06:36.000Z" category: "Research" topics: ["openai","math","millennium-prize","riemann-hypothesis","lean","formal-verification","llm","open-source"] source_urls: ["https://huggingnews.com/ai/openai-math-release-includes-claimed-progress-on-three-millennium-prize-29a7cc5e","https://x.com/Hesamation/status/2107558011141263365","https://x.com/OpenAI/status/2107596713791767021","https://x.com/kimmonismus/status/2107597320028065793","https://x.com/mathemagic1an/status/2107602453441253611","https://x.com/cremieuxrecueil/status/2107600945383112990","https://x.com/willdepue/status/2107605673613946906","https://x.com/spicey_lemonade/status/2107601752744984607"] summary: "Các bài toán toán học mới được OpenAI công bố bao gồm tuyên bố chứng minh giả thuyết quasi-Riemann với cận 7/8, cùng những tiến bộ một phần đối với các bài toán Thiên niên kỷ gồm Riemann, Hodge và BSD. Kết quả quasi-Riemann cho rằng mọi Dirichlet L-functions không có nghiệm nào mà phần thực vượt quá 7/8 và không tồn tại Landau–Siegel zeros. Phân tích của Will DePue về bộ tài liệu này cũng liệt kê tuyên bố giải quyết bài toán thứ mười của Hilbert trên trường số hữu tỷ và một kết quả được Lean-formalized về sự bùng nổ hữu hạn thời gian cho các phương trình Navier–Stokes không nén ba chiều với lực điều khiển trơn. Một kết quả khác được liệt kê giúp nâng cận dưới của sắc số mặt phẳng lên sáu, thúc đẩy bài toán Hadwiger–Nelson mà không giải quyết hoàn toàn nó. Các phát hiện này là một phần của 722 bản thảo được nhóm thành 372 họ kết quả có liên quan, do một mô hình nội bộ của OpenAI chưa được phát hành tạo ra. Bộ sưu tập trên GitHub bao gồm các bài báo, tài liệu chứng minh và tóm tắt reasoning được chọn lọc. OpenAI đã tham khảo ý kiến của Hội đồng Cố vấn Độc lập về Toán học và Trí tuệ Nhân tạo tại Viện Nghiên cứu Cao cấp về cách công bố các kết quả này." --- # OpenAI phát hành các tài liệu toán học, tuyên bố tiến bộ ở ba bài toán Thiên niên kỷ > [Open the canonical story]() **Published:** 2026-10-06T23:06:36.000Z **Category:** Research **Topics:** openai, math, millennium\-prize, riemann\-hypothesis, lean, formal\-verification, llm, open\-source ## Summary Các bài toán toán học mới được OpenAI công bố bao gồm tuyên bố chứng minh giả thuyết quasi\-Riemann với cận 7/8, cùng những tiến bộ một phần đối với các bài toán Thiên niên kỷ gồm Riemann, Hodge và BSD\. Kết quả quasi\-Riemann cho rằng mọi Dirichlet L\-functions không có nghiệm nào mà phần thực vượt quá 7/8 và không tồn tại Landau–Siegel zeros\. Phân tích của Will DePue về bộ tài liệu này cũng liệt kê tuyên bố giải quyết bài toán thứ mười của Hilbert trên trường số hữu tỷ và một kết quả được Lean\-formalized về sự bùng nổ hữu hạn thời gian cho các phương trình Navier–Stokes không nén ba chiều với lực điều khiển trơn\. Một kết quả khác được liệt kê giúp nâng cận dưới của sắc số mặt phẳng lên sáu, thúc đẩy bài toán Hadwiger–Nelson mà không giải quyết hoàn toàn nó\. Các phát hiện này là một phần của 722 bản thảo được nhóm thành 372 họ kết quả có liên quan, do một mô hình nội bộ của OpenAI chưa được phát hành tạo ra\. Bộ sưu tập trên GitHub bao gồm các bài báo, tài liệu chứng minh và tóm tắt reasoning được chọn lọc\. OpenAI đã tham khảo ý kiến của Hội đồng Cố vấn Độc lập về Toán học và Trí tuệ Nhân tạo tại Viện Nghiên cứu Cao cấp về cách công bố các kết quả này\. ## Sources - [Story source]() - [Supporting source]() - [Story source]() - [Supporting source]() - [Supporting source]() - [Supporting source]() - [Supporting source]() - [Supporting source]()