OpenAI tung 722 bản thảo toán, có kết quả từng phần về Riemann #Shorts

OpenAI tung 722 bản thảo toán, có kết quả từng phần về Riemann OpenAI công bố 722 bản thảo toán học do AI viết, trong đó có phiên bản yếu hơn của giả thuyết Riemann, rồi tuyên bố bác bỏ Giả thuyết Thời gian Hàm mũ. Giới toán học vẫn thận trọng: ba bài bị rút lại chỉ trong một ngày. Nguồn: Wikipedia – https://en.wikipedia.org/wiki/OpenAI_bulk_release_of_mathematical_papers ; Quanta Magazine – https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/ Tóm tắt và giọng đọc do AI tạo. 🔬 Góc phân tích học thuật: OpenAI công bố đồng loạt 722 bản thảo toán học do AI tạo ra, trong đó đưa ra những bước tiến tiềm năng về Giả thuyết Bán Riemann (Quasi-Riemann Hypothesis) và tuyên bố bác bỏ Giả thuyết Thời gian Hàm mũ (ETH). Tuy nhiên, giới toán học đã phát hiện nhiều kẽ hở suy diễn logic, dẫn đến việc phải rút lại 3 bản thảo chỉ trong 24 giờ đầu. Toán học thuần túy đòi hỏi tính chặt chẽ tuyệt đối (rigorous proof), nơi một sai số nhỏ có thể làm sụp đổ toàn bộ chuỗi chứng minh. Điều này đặt ra nhu cầu tất yếu phải kết hợp mô hình ngôn ngữ lớn (LLM) với các công cụ kiểm chứng hình thức tự động (Formal Proof Assistants như Lean, Coq, Isabelle). ❓ Theo bạn, tương lai chứng minh toán học sẽ thuộc về AI độc lập, hay một hệ thống hợp tác: AI sinh ý tưởng và Lean kiểm tra từng dòng mã logic? Music: Our Future by Declan DP #AIFlixInsights #InsightsFlix #KhoaHoc #KienThuc #Shorts #Reels #AIflix #KienThucMoiNgay #AiGiaiToanBacBoEth