Một thành tựu toán học mới từ AI đang gây tranh cãi lớn về tính xác thực, phương pháp luận và vai trò thực sự của máy móc trong việc định hình tương lai nghiên cứu toán học.
Nhà toán học Tristan Buckmaster cáo buộc OpenAI ép buộc loại tên cộng sự và nghi ngờ công ty sử dụng bản thảo chưa công bố để huấn luyện mô hình, làm dấy lên làn sóng lo ngại về đạo đức trong nghiên cứu 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»
Emad Mostaque@EMostaqueHuman mathematician vs AI mathematician
DịchEmad Mostaque khơi gợi cuộc thảo luận về năng lực giải toán giữa trí tuệ nhân tạo và các nhà toán học con người trong tương lai.
Giáo sư Tristan Buckmaster nghi ngờ OpenAI sử dụng nghiên cứu của mình để công bố lời giải bài toán Navier-Stokes bằng mô hình AI mới, với chi phí vận hành lên tới 22,5 triệu USD.
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»
Thomas Wolf (Hugging Face đồng sáng lập/CSO)@Thom_Wolffriends are regularly surprised when i say i don't think math is (yet) "solved, " so in the wake of t…
DịchĐồng sáng lập Hugging Face nhận định việc AI của OpenAI bác bỏ giả thuyết Navier-Stokes là một bước tiến ấn tượng, nhưng nhấn mạnh đây giống như một cuộc tìm kiếm phản ví dụ hơn là một chứng minh toán học hoàn chỉnh.
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»OpenAI vừa công bố một mô hình AI đột phá khi giải quyết thành công bài toán Navier-Stokes, một thách thức toán học kéo dài 200 năm, chỉ trong vỏn vẹn 88 giờ.
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»OpenAI khẳng định trí tuệ nhân tạo của họ đã giải quyết được phương trình Navier-Stokes, một trong những bài toán hóc búa nhất thách thức giới toán học suốt gần 100 năm qua.
Thêm 2 nguồn khác đưa tinHacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)X: Xiaobei (@frxiaobei)OpenAI khẳng định AI của họ đã giải thành công bài toán toán học hóc búa, nhưng một giáo sư đã lên tiếng tố cáo AI này đạo nhái nghiên cứu của ông trong quá trình xử lý.
Simon Willison phân tích sự kiện OpenAI dùng mô hình chưa công bố để giải bài toán Navier-Stokes trong 88 giờ, sau đó xác thực bằng Lean qua GPT-6 Astra, làm dấy lên nhiều tranh luận về tính minh bạch.
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»OpenAI vừa công bố đột phá lịch sử khi sử dụng mô hình AI thế hệ mới cùng 10.000 tác nhân AI để giải quyết bài toán Navier-Stokes, một trong bảy bài toán thiên niên kỷ tồn tại suốt 90 năm qua, đánh dấu bước ngoặt lớn trong việc ứng dụng AGI vào nghiên cứu khoa 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»Sử dụng 10.000 tác nhân AI và 130 tỷ token, OpenAI đã tìm ra điểm kỳ dị của phương trình Navier-Stokes chỉ trong 88 giờ, đánh dấu cột mốc quan trọng có thể giành giải Millennium Prize.
Thêm 1 nguồn khác đưa tinCafeF Kinh tế sốNếu được giới toán học kiểm chứng, đây sẽ là cột mốc lịch sử đánh dấu bước tiến vượt bậc của AI trong việc chinh phục những đỉnh cao tư duy trí tuệ của nhân loại.
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»Giáo sư Terence Tao lo ngại AI đang tiêu thụ các bài toán toán học giá trị như một nguồn tài nguyên không tái tạo, đe dọa văn hóa chia sẻ cởi mở trong giới nghiên cứu. Ông đề xuất cần thay đổi cách công bố lời giải, yêu cầu AI phải cung cấp cả phân tích tư duy thay vì chỉ đưa ra đáp án.
AI Notes@AYi_AInotesOpenAI vừa công bố lời giải cho bài toán Navier-Stokes nhờ sự phối hợp của 10.000 tác nhân AI trong 88 giờ. Kết quả đã được kiểm chứng qua mã Lean bởi mô hình thế hệ mới, đánh dấu bước ngoặt lịch sử sau 90 năm thách thức giới toán học.
Terence Tao lo ngại việc AI khai thác quá mức các bài toán mở sẽ làm cạn kiệt nguồn lực nghiên cứu và triệt tiêu động lực chia sẻ công khai, đe dọa truyền thống khoa học mở hàng trăm năm qua.
OpenAI gây chấn động khi sử dụng mạng lưới 10.000 AI để giải quyết bài toán Navier-Stokes trong 88 giờ. Thành tựu này nhận được sự tán dương từ thiên tài toán học Terence Tao, đồng thời cũng dấy lên những lo ngại về tương lai của nghiên cứu khoa 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@fcholletTerence Tao just posted this really insightful thread which seems to have been written in reaction t…
DịchThiên tài toán học Terence Tao vừa có những chia sẻ chuyên sâu về thông báo đột phá liên quan đến phương trình Navier-Stokes, thu hút sự chú ý lớn từ cộng đồng khoa học.
Giáo sư toán học Tristan Buckmaster cáo buộc OpenAI ép buộc và giành công bố sớm chứng minh bài toán Navier-Stokes mà ông hợp tác cùng Anthropic thực hiện bằng 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»OpenAI thông báo mô hình AI nội bộ đã giải quyết thành công bài toán Navier-Stokes tồn tại 90 năm qua, nhưng quyết định từ chối giải thưởng 1 triệu USD và vấp phải làn sóng tranh cãi về cách sử dụng dữ liệu.
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»Emad Mostaque@EMostaqueBed time reading 🥱
DịchOpenAI tuyên bố đã giải quyết bài toán Navier-Stokes tồn tại 90 năm qua nhờ mô hình AI thế hệ kế tiếp. Lời giải chứng minh sự tồn tại của các nghiệm có vận tốc vô hạn trong thời gian hữu hạn, đánh dấu bước ngoặt lịch sử trong toán học lý thuyết.
Aravind Srinivas (Perplexity CEO)@AravSrinivasMonumental accomplishment!
DịchOpenAI khẳng định đã giải quyết thành công bài toán Navier-Stokes nhờ sức mạnh của thế hệ mô hình kế nhiệm GPT-6. Đây là cột mốc lịch sử trong toán học khi giải đáp được bí ẩn về sự ổn định của dòng chảy 3D tồn tại suốt 90 năm qua.
Cùng sự kiện, bài đại diện «Noam Brown: Mô hình mới của OpenAI giải quyết bài toán hóc búa hàng thập kỷ chỉ trong vài phút»
Ma Dongxi NLP@dongxi_nlpOpenAI tuyên bố sử dụng thế hệ mô hình AI mới để chứng minh bài toán Navier-Stokes về chuyển động chất lưu, một thách thức toán học chưa có lời giải suốt 90 năm qua.
Yuchen Jin@Yuchenj_UWOpenAI's "significantly more capable than GPT-6 Astra" model solving a Millennium Prize Problem is h…
DịchYuchen Jin nhận định mô hình Astra vượt trội hơn GPT-6 là 'AlphaGo của toán học'. Dù AI đã thông minh hơn tiến sĩ toán học, nhưng vẫn tồn tại 'trí tuệ răng cưa' khiến nó kém hiệu quả trong các tác vụ thực tế so với thực tập sinh.
Kim@kimmonismusOpenAI casually released ChatGPT Image 2.5. This was completely overshadowed by the breakthrough on …
DịchOpenAI vừa lặng lẽ phát hành ChatGPT Image 2.5, nhưng sự kiện này gần như bị lãng quên do sự chú ý đổ dồn vào bước tiến lịch sử trong việc giải bài toán thiên niên kỷ Navier-Stokes.
SemiAnalysis@SemiAnalysis_OpenAI vừa công bố giải pháp cho bài toán Navier-Stokes, một trong bảy bài toán thiên niên kỷ chưa có lời giải suốt 90 năm qua liên quan đến tính ổn định của dòng chảy chất lưu.
Kim@kimmonismusWhat currently leaves me speechless is the fact that even the most optimistic scenarios are being su…
DịchNhân viên OpenAI cho biết mô hình nội bộ mới có khả năng giải các bài toán hóc búa ngay khi vừa bắt đầu huấn luyện, tạo nên một cột mốc đáng kinh ngạc về sự tiến hóa của trí tuệ nhân tạo.
Rohan Paul@rohanpaul_aiMASSIVE: OpenAI's 10, 000 AI agents, powered by a model significantly more capable than GPT-6 Astra, …
DịchOpenAI tuyên bố đã tìm ra lời giải cho bài toán Navier-Stokes nhờ hệ thống đa tác nhân (multi-agent) chạy trên mô hình thế hệ mới mạnh hơn GPT-6 Astra, giải quyết bí ẩn về dòng chảy chất lỏng tồn tại suốt 90 năm qua.
Elvis Saravia@omarsar0Recent advancements in math with the use of AI propel us into an undeniably exciting new arc of AI-e…
DịchNhững tiến bộ gần đây của AI trong toán học đang thúc đẩy một giai đoạn mới đầy hứa hẹn cho việc khám phá khoa học. Dù tiềm năng là rất lớn, chúng ta vẫn đang ở giai đoạn khởi đầu và cần giữ vững sự tò mò để khai phá những giá trị cốt lõi nhất.
OpenAI vừa công bố hệ thống AI nội bộ đã giải thành công bài toán Navier-Stokes, chứng minh sự hình thành kỳ dị trong chất lưu, kèm theo tài liệu chứng minh và mã kiểm chứng Lean.
Diễn biến sự kiện · 35 bài →Thêm 30 nguồn khác đưa tinThe Decoder: AI NewsHacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)The Verge: AIIT HomeX: Rohan Paul (@rohanpaul_ai)QbitAIX: Kim (@kimmonismus)X: AI Notes (@AYi_AInotes)X: Emad Mostaque (@EMostaque)Hacker News: AI bài nổi bậtX: Thomas Wolf (Hugging Face đồng sáng lập/CSO) (@Thom_Wolf)CafeF Kinh tế sốVietnamPlus Công nghệJiqizhixinX: Ma Dongxi NLP (@dongxi_nlp)Latent SpaceX: Aravind Srinivas (Perplexity CEO) (@AravSrinivas)X: SemiAnalysis (@SemiAnalysis_)X: Mark Chen (OpenAI Giám đốc nghiên cứu, @markchen90)X: Elvis Saravia (@omarsar0, DAIR.AI)X: Greg Brockman (@gdb)X: Testing Catalog (@testingcatalog)X: OpenAI (@OpenAI)GenK AIX: Eric Mitchell (@ericmitchellai)X: Sam Altman (@sama)X: Jason Liu (@jxnlco)X: Ethan Mollick (@emollick)X: Noam Brown (@polynoamial)X: AI Safety Memes (@AISafetyMemes)Kim@kimmonismus"Since August 28 we have been training a new internal model that has exhibited unprecedented perform…
DịchOpenAI cho biết một mô hình nội bộ mới cùng 10.000 tác nhân AI đã giải quyết bài toán Navier-Stokes sau 88 giờ, sau đó GPT-6 Astra mất thêm 17 giờ để kiểm chứng.
Sam Altman@samaOne of the most amazing moments for me in OpenAI history was watching this happen over the past week…
DịchOpenAI vừa công bố lời giải cho bài toán Navier-Stokes tồn tại 90 năm qua, được thực hiện bởi thế hệ mô hình AI kế nhiệm GPT-6 Astra. Sam Altman khẳng định đây là một trong những cột mốc lịch sử ấn tượng nhất của công ty.
Cùng sự kiện, bài đại diện «Noam Brown: Mô hình mới của OpenAI giải quyết bài toán hóc búa hàng thập kỷ chỉ trong vài phút»
Eric Mitchell@ericmitchellaianother crazy day working at the crazy day factory
DịchOpenAI tuyên bố đã giải quyết được bài toán Navier-Stokes, một trong bảy bài toán thiên niên kỷ, thông qua hệ thống tác tử AI sử dụng mô hình thế hệ mới mạnh hơn đáng kể so với GPT-6 Astra.
Cùng sự kiện, bài đại diện «Noam Brown: Mô hình mới của OpenAI giải quyết bài toán hóc búa hàng thập kỷ chỉ trong vài phút»
Jason Liu@jxnlcoits also really good at runescape!
DịchJason Liu chia sẻ thông tin OpenAI tuyên bố dùng mô hình thế hệ mới để giải bài toán Navier-Stokes, đồng thời hài hước cho rằng mô hình này cũng rất giỏi chơi game RuneScape.
Cùng sự kiện, bài đại diện «Noam Brown: Mô hình mới của OpenAI giải quyết bài toán hóc búa hàng thập kỷ chỉ trong vài phút»
OpenAI@OpenAIWe congratulate Levent Alpöge and Tristan Buckmaster on their remarkable mathematical work. We (the…
DịchOpenAI thông báo một nhóm tác nhân AI sử dụng mô hình thế hệ mới đã tìm ra lời giải cho bài toán Navier-Stokes, một trong bảy bài toán thiên niên kỷ tồn tại suốt 90 năm qua, đồng thời gửi lời chúc mừng đến các nhà toán học độc lập.
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»OpenAI@OpenAIWe're sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems …
DịchOpenAI vừa công bố lời giải cho bài toán Navier-Stokes tồn tại gần 90 năm qua, nhờ vào sức mạnh của một nhóm AI thế hệ mới vượt xa GPT-6 Astra. Đây là bước ngoặt lịch sử khi AI trực tiếp giải quyết một trong những thách thức toán học khó nhất thế giới.
Kim@kimmonismusInteresting, OpenAI's model that solved the Navier-Stokes Millennium Prize problem is "an internal m…
DịchOpenAI được cho là đã phát triển một mô hình nội bộ vượt trội hơn cả GPT-6 Astra, có khả năng chứng minh sự tồn tại của điểm kỳ dị trong phương trình Navier-Stokes 3D.
Elvis Saravia@omarsar0🤯 For the Navier-Stokes Millennium Prize Problem solution, OpenAI says they used a next-generation …
DịchOpenAI thông báo đã giải quyết thành công bài toán Navier-Stokes nhờ sự kết hợp của các AI agent và một mô hình thế hệ mới vượt trội hơn cả GPT-6 Astra, đánh dấu bước ngoặt lớn sau 90 năm bế tắ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»Kim@kimmonismusHoly cow, its official! OpenAI says its AI has solved the Navier-Stokes Millennium Prize Problem, a …
DịchOpenAI thông báo giải quyết được bài toán Navier-Stokes tồn tại 90 năm qua nhờ mạng lưới 10.000 AI agent phối hợp trong 88 giờ, sau đó được mô hình GPT-6 Astra kiểm chứng hình thức trong 17 giờ.
Emad Mostaque@EMostaqueLandmark event on the way to ASI, congratulations to the team Just because one solution showing blo…
DịchEmad Mostaque nhận định việc OpenAI sử dụng mô hình thế hệ mới để giải quyết bài toán Navier-Stokes - một trong bảy bài toán thiên niên kỷ tồn tại 90 năm qua - là bước tiến quan trọng hướng tới trí tuệ siêu việt (ASI).
Greg Brockman@gdbAnnouncing a solution to the Navier-Stokes problem, one of the seven Millenium Prize problem. Repre…
DịchOpenAI vừa công bố lời giải cho bài toán Navier-Stokes, một trong bảy bài toán thiên niên kỷ chưa có lời giải suốt 90 năm qua, nhờ vào thế hệ mô hình AI kế tiếp vượt xa GPT-6 Astra. Đây được xem là cột mốc lịch sử trong việc ứng dụng AI để giải mã các phương trình vật lý phức tạp.
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»