25 nhà toán học hàng đầu, bao gồm Terence Tao, đã ra tuyên bố chung cảnh báo các công ty AI đang đi chệch hướng khỏi các giá trị cốt lõi của cộng đồng toán học.
Thêm 1 nguồn khác đưa tinX: Haider (@haider1)
Frank Wang@lifesingerTerence Tao ví AI như động cơ phản lực cần khung máy bay an toàn, hay vòi cứu hỏa cần bộ lọc để chắt lọc tri thức. Ông nhấn mạnh sự kết hợp tối ưu: AI xử lý dữ liệu thô quy mô lớn, còn con người đưa ra quyết định dựa trên những quy luật cốt lõi.
Yuchen Jin@Yuchenj_UW25 Fields Medalists are worried AI solving math too fast could damage mathematics. I see the opposi…
DịchTrước lo ngại AI giải toán quá nhanh sẽ làm suy yếu ngành toán học, Yuchen Jin phản bác rằng việc trì hoãn tiến bộ công nghệ vì mục đích trải nghiệm cá nhân là một thảm họa, tương tự như việc trì hoãn chữa bệnh ung thư.
Emad Mostaque@EMostaqueMy thoughts on the future of mathematics Shall be glorious
DịchTrái ngược với lo ngại của các nhà toán học đạt giải Fields, Emad Mostaque tin rằng AI sẽ không phá hủy mà trái lại, sẽ mở ra cơ hội cho hàng triệu người cùng tham gia vào lĩnh vực toán học.
Emad Mostaque@EMostaqueOk all, daily blog here it is, the first blog is on the future of Mathematics following the https://...
DịchCựu CEO Stability AI bắt đầu chuỗi blog hàng ngày với bài viết đầu tiên về tương lai toán học, dựa trên tuyên ngôn từ 25 nhà toán học đạt giải Fields tại mathandai.org.
Emad Mostaque@EMostaqueThe Fields Medallists fear AI will break mathematics. I think it may let millions in. https://x.com/...
DịchTrái ngược với lo ngại của các nhà toán học đạt giải Fields về việc AI làm suy yếu bộ môn này, Emad Mostaque tin rằng AI sẽ giúp phổ cập và đưa hàng triệu người tiếp cận với toán học dễ dàng hơn.
Francois Chollet@fcholletA very common sentiment I'm hearing among math students: "I don't want to become a mathematician any…
DịchSự trỗi dậy của AI đang làm nhụt chí thế hệ trẻ, khiến họ từ bỏ đam mê toán học và nghệ thuật vì lo ngại công nghệ sẽ thay thế vai trò của con người trong tương lai.
25 chủ nhân giải Fields lên tiếng cảnh báo về việc các phòng thí nghiệm AI đe dọa văn hóa nghiên cứu mở. Mâu thuẫn bùng nổ sau khi OpenAI bị cáo buộc gây áp lực lên một giáo sư NYU, dẫn đến việc hãng rút tài trợ cho sự kiện toán học tại CalTech.
Diễn biến sự kiện · 20 bài →Thêm 3 nguồn khác đưa tinX: Rohan Paul (@rohanpaul_ai)Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)X: Hongming (@hongming731)
Kim@kimmonismusA heated dispute is brewing in the scientific community: 24 Fields Medalists are speaking out regard…
DịchGiới khoa học đang dậy sóng khi 24 nhà toán học đạt giải Fields cùng lên tiếng cảnh báo về tình trạng AI đưa ra các kết quả sai lệch, thiếu chính xác trong lĩnh vực toán học.
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Terence Tao cùng 24 nhà toán học hàng đầu khẳng định việc các công ty AI tập trung vào giải bài tập đang làm suy yếu tư duy toán học và các chuẩn mực học thuật, kêu gọi định hướng lại sự phát triển AI trong lĩnh vực này.
Thêm 2 nguồn khác đưa tinX: Kim (@kimmonismus)Hacker News: AI bài nổi bật25 nhà toán học hàng đầu thế giới, bao gồm Terence Tao, đã lên tiếng cảnh báo rằng việc các công ty AI chạy đua giải toán đang làm xói mòn quy trình nghiên cứu khoa học và đe dọa sự kế thừa tri thức nhân loại.
Cùng sự kiện, bài đại diện «Terence Tao và 25 chủ nhân giải Fields cảnh báo về sự lệch lạc nghiêm trọng của AI trong toán học»
Thomas Wolf (Hugging Face đồng sáng lập/CSO)@Thom_WolfSome notes from the Fields Medal letter today (https://mathandai.org/) Generally saying that AI mo…
DịchBức thư từ các nhà toán học đạt giải Fields nhấn mạnh rằng AI hiện nay chỉ cung cấp kết quả cuối cùng (1 bit) mà bỏ lỡ 99% giá trị cốt lõi là sự hiểu biết sâu sắc về tư duy toán học mà con người có được trong quá trình giải quyết vấn đề.
Emad Mostaque@EMostaqueI would be happy to see any Millennium Prize Problem solved, especially elegantly, except P = NP I …
DịchEmad Mostaque chia sẻ rằng ông rất mong chờ các bài toán thiên niên kỷ được giải quyết, ngoại trừ P=NP vì nếu nó có lời giải, thế giới công nghệ sẽ đảo lộn hoàn toàn.
Emad Mostaque@EMostaqueUsing AI models is just using math to do math I think AI teams should stop feeling ashamed of solvi…
DịchEmad Mostaque khẳng định việc sử dụng AI không nên bị coi là làm mất đi tính thuần túy của toán học, mà chỉ đơn thuần là công cụ mạnh mẽ để giải quyết vấn đề, tương tự như cách chúng ta dùng máy tính bỏ túi.
Emad Mostaque@EMostaqueonly a matter of time
DịchCựu CEO Stability AI, Emad Mostaque, dự đoán khả năng OpenAI sớm chinh phục các bài toán toán học thiên niên kỷ như phương trình Navier-Stokes, khiến cộng đồng khoa học không khỏi lo ngại.
Nhà toán học Jacob Tsimerman vừa công bố thành lập Viện An toàn AI Toán học (MAISI) tại San Francisco. Viện đặt mục tiêu quy tụ các chuyên gia hàng đầu để xây dựng nền tảng toán học vững chắc, nhằm đảm bảo tính an toàn cho các hệ thống AI tương lai.
Kim@kimmonismusIt's crazy how solving the Riemann Hypothesis via AI used to be a running gag, and now it's actually…
DịchOpenAI đang thử nghiệm các mô hình nội bộ thế hệ mới nhằm giải quyết những bài toán hóc búa nhất của toán học như Giả thuyết Riemann và P vs NP.
Nghiên cứu giới thiệu quy trình suy luận toán học bằng ngôn ngữ tự nhiên đạt chuẩn Huy chương Vàng IMO 2026, sử dụng các mô hình Nemotron được tinh chỉnh chuyên biệt mà không cần công cụ hỗ trợ bên ngoài.
Các nguồn tin rò rỉ cho thấy OpenAI đang thử thách khả năng của mô hình AI mới với Giả thuyết Hodge, một trong bảy bài toán thiên niên kỷ của toán học.
OpenAI đã giải quyết bài toán hóc búa về phương trình Navier-Stokes, đồng thời rút ngắn thời gian xác thực hình thức từ hàng nghìn giờ xuống chỉ còn 17 giờ nhờ Lean 4, mở ra kỷ nguyên mới cho kiểm chứng thuật toán.
Cùng sự kiện, tinh chọn hiển thị «OpenAI công bố lời giải cho bài toán thiên niên kỷ Navier-Stokes bằng AI»
Ethan Mollick@emollickThe strawberry thing was very funny but probably gave people the wrong impression of where AI was he…
DịchEthan Mollick xác nhận GPT-6 Astra đã giải xong các bài toán FrontierMath khó nhất, chứng minh AI không còn dựa vào các lối tắt logic như lầm tưởng trước đây. Thành tựu này đánh dấu bước tiến lớn, vượt qua những hoài nghi từng nảy sinh từ các lỗi đếm ký tự đơn giản như 'strawberry'.
Rohan Paul@rohanpaul_aiNY Times: After finishing Navier-Stokes, OpenAI said it had made substantial progress on a 2nd Mille…
DịchSau khi giải quyết phương trình Navier-Stokes, OpenAI xác nhận đã đạt đột phá ở một bài toán thiên niên kỷ khác và đang cân nhắc phương án công bố kết quả.
Epoch AI@EpochAIResearchEvery FrontierMath Tier 4 problem has now been solved by AI, with GPT-6 Astra solving the last probl…
DịchEpoch AI xác nhận toàn bộ đề bài FrontierMath Tier 4 đã được AI giải quyết, với câu hỏi cuối cùng thuộc về GPT-6 Astra. Tác giả đề bài thừa nhận phương pháp của AI rất logic và không còn cảm thấy bất ngờ trước tốc độ tiến hóa vượt bậc của các mô hình hiện nay.
Cộng đồng toán học đang dấy lên lo ngại về tính bảo mật khi sử dụng các mô hình AI của OpenAI để xử lý những nghiên cứu chưa được công bố, thu hút sự chú ý lớn trên các diễn đàn công nghệ.
Ethan Mollick@emollickWhat you are seeing in math right now is a consequence of the jagged frontier, and a precursor of wh…
DịchEthan Mollick nhận định việc AI giải toán giỏi chỉ là khởi đầu. Các chuyên gia cần sớm khẳng định giá trị cốt lõi của con người — như giảng dạy và kết nối cộng đồng — những thứ mà AI không thể thay thế.
Ethan Mollick@emollickWhat you are seeing in math right now is a consequence of the jagged frontier, and a precursor of wh…
DịchEthan Mollick nhận định phản ứng của giới toán học trước AI là điềm báo cho các ngành nghề khác. Dù AI có thể chứng minh các định lý phức tạp, nhưng vai trò dẫn dắt và duy trì cộng đồng của con người vẫn là không thể thay thế.
AI Notes@AYi_AInotesSử dụng sức mạnh tính toán khổng lồ, AI đã mô phỏng thành công các xoáy chất lưu trong không gian 3D, chứng minh khoảnh khắc các định luật vật lý trở nên bất ổn và hình thành điểm kỳ dị.
Kim@kimmonismusThis essentially confirms that OpenAI will soon have officially solved the next Millennium Problem. …
DịchSau khi giải quyết thành công phương trình Navier-Stokes, OpenAI xác nhận đã đạt tiến bộ đáng kể với một bài toán giải thưởng Thiên niên kỷ khác và đang cân nhắc phương án công bố kết quả.
GPT-6 Astra vừa chiếm lĩnh vị trí dẫn đầu trên ErdosBench với 106 bài toán được giải quyết, vượt xa các phiên bản tiền nhiệm dù OpenAI cho biết không hề can thiệp để cải thiện khả năng toán học chuyên biệt.
Nhà toán học Andreas Thom cáo buộc OpenAI sử dụng trái phép các nghiên cứu chưa công bố của ông để huấn luyện ChatGPT. Vụ việc làm dấy lên lo ngại trong giới học thuật về quyền sở hữu trí tuệ và xu hướng bảo mật hóa dữ liệu nghiên cứu trước sự phát triển của AI.
Cùng sự kiện, tinh chọn hiển thị «OpenAI công bố lời giải cho bài toán thiên niên kỷ Navier-Stokes bằng AI»StochBench là bộ tiêu chuẩn mới gồm 450 bài toán quá trình ngẫu nhiên trình độ cao, giúp đánh giá khả năng chứng minh định lý toán học của AI trong các lĩnh vực chuyên biệt thay vì chỉ tập trung vào toán thi đấu.
Thomas Wolf (Hugging Face đồng sáng lập/CSO)@Thom_Wolfwould be mind blowing if an AI proof of Hodge is a general theory explaining why all Hodge classes a…
DịchĐồng sáng lập Hugging Face cho rằng AI chỉ thực sự tạo ra bước ngoặt nếu xây dựng được lý thuyết tổng quát kết nối hình học đại số và lý thuyết Hodge, thay vì chỉ đơn thuần tìm kiếm các phản ví dụ bằng sức mạnh tính toán.
Kim@kimmonismusHoly, rumors are spreading everywhere that OpenAI is close to verifying a proof of the Hodge conject…
DịchGiới công nghệ đang xôn xao về việc OpenAI và Anthropic có thể sớm đưa ra lời giải cho giả thuyết Hodge và Birch-Swinnerton-Dyer. Nếu được xác thực, đây sẽ là cột mốc lịch sử, khẳng định AI có khả năng tạo ra những đột phá khoa học mang tính sáng tạo.
Cùng sự kiện, tinh chọn hiển thị «OpenAI công bố lời giải cho bài toán thiên niên kỷ Navier-Stokes bằng AI»Terence Tao cảnh báo rằng việc quá phụ thuộc vào AI để giải bài toán nhanh chóng sẽ triệt tiêu quá trình khám phá đầy sáng tạo. Ông kêu gọi các nhà khoa học hãy giữ lấy 'tâm hồn trẻ thơ' để tìm thấy những hiểu biết sâu sắc mà AI không thể thay thế.
Nếu được giới toán học xác nhận, đây sẽ là cột mốc chấn động, đánh dấu bước tiến vượt bậc của AI trong việc chinh phục những đỉnh cao trí tuệ khó nhất của nhân loại.
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)@ValerioCapraroNhà toán học Andreas Thom nghi ngờ OpenAI đã sử dụng các cuộc thảo luận riêng tư về giả thuyết Gromov soficity để huấn luyện Astra, một trong những vấn đề khó mà OpenAI tuyên bố đã giải quyết được.
Một giáo sư toán học cáo buộc OpenAI sử dụng trái phép nghiên cứu của ông để huấn luyện AI giải bài toán thế kỷ, sau khi công ty này tuyên bố 10.000 AI Agent đã tìm ra lời giải đột phá.
OpenAI cho biết mô hình AI của họ đã giải quyết được bài toán thủy động lực học Navier-Stokes hóc búa sau 88 giờ tính toán, nhưng kết quả này đang vấp phải sự hoài nghi về tính xác thực và phương pháp từ cộng đồng toán học.
Cùng sự kiện, tinh chọn hiển thị «OpenAI công bố lời giải cho bài toán thiên niên kỷ Navier-Stokes bằng AI»Francois Chollet@fchollet"Discovery consists of seeing what everybody has seen, and thinking what nobody has thought." (Alber…
DịchKenneth Stanley nhận định AI hiện nay chỉ giỏi giải quyết các bài toán có mục tiêu định sẵn, thay vì khả năng tự khám phá tri thức mới. Việc thiếu đi tư duy tìm kiếm mở vẫn là rào cản lớn nhất để AI đạt đến trình độ sáng tạo thực thụ.
Ethan Mollick@emollickI have been thinking a lot about Wait Calculations. Especially in mathematics and biology, there is …
DịchKhái niệm 'tính toán chờ đợi' gợi mở rằng các mô hình AI tương lai có thể tự mình giải quyết những thách thức lớn trong toán học và sinh học mà không cần sự can thiệp liên tục của con người.