Noam Brown@polynoamialYes, this result cost millions of dollars. But remember that when @OpenAI announced o3 it cost ~$50…
DịchNoam Brown thừa nhận OpenAI đã tốn hàng triệu USD để giải bài toán Navier-Stokes bằng AI, nhưng khẳng định chi phí này sẽ sớm giảm mạnh trong tương lai.
Thêm 3 nguồn khác đưa tinX: Kim (@kimmonismus)X: Emad Mostaque (@EMostaque)smol.ai AI News
Ethan Mollick@emollickThis is a big one. (And yes, the fights over academic credit and what happened when in the race for…
DịchOpenAI khẳng định thế hệ mô hình kế nhiệm GPT-6 đã giải được bài toán Navier-Stokes tồn tại 90 năm qua. Dù Ethan Mollick đánh giá đây là cột mốc lịch sử, nhưng vấn đề về quyền tác giả và tính xác thực của chứng minh vẫn đang gây tranh cãi.
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»
Testing Catalog@testingcatalogOpenAI announced that a group of agents powered by their next-generation model solved a major fronti…
DịchTestingCatalog dẫn nguồn OpenAI cho biết một nhóm tác nhân AI 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ỷ chưa có lời giải suốt 90 năm qua. Mô hình này được đánh giá có năng lực vượt trội so với GPT-6 Astra.
DAIR.AI@dair_aiFinally a good paper testing whether an LLM's mathematical knowledge has coherent structure or just …
DịchNghiên cứu sử dụng lý thuyết không gian tri thức cho thấy các mô hình LLM thường vi phạm sự phụ thuộc logic trong toán học, dù vẫn đạt độ chính xác cao. Các mô hình khác nhau có sự chồng chéo tri thức thấp, cho thấy lỗ hổng trong cách đánh giá năng lực AI hiện nay.
Xiaobei@frxiaobeiTristan Buckmaster và Levent Alpöge đã sử dụng AI để giải quyết ba bài toán về phương trình Euler, đồng thời thực hiện kiểm chứng hình thức bằng Lean và công khai những bất đồng trong quá trình làm việc với OpenAI.
Kim@kimmonismusAn AI-assisted solution to the Navier-Stokes Millennium Problem would be a historic result. Nothing …
DịchDù chưa được kiểm chứng, thông tin OpenAI giải thành công bài toán Navier-Stokes đang gây xôn xao. Nếu xác thực, đây sẽ là lời giải cho bí ẩn 200 năm về sự hình thành điểm kỳ dị trong dòng chảy chất lưu.
Cùng sự kiện, bài đại diện «Noam Brown (OpenAI): Chi phí giải bài toán thiên niên kỷ Navier-Stokes bằng AI sẽ giảm nhanh chóng»Kim@kimmonismuswtf another huge breakthrough: Prof Anima Anandkumar and colleagues used a physics-informed neural n…
DịchNhóm nghiên cứu của Anima Anandkumar đã sử dụng mạng thần kinh thông tin vật lý (PINN) để tìm ra các ứng viên kỳ dị ổn định về mặt số học trong phương trình Euler 3D mà không cần lực tác động bên ngoài.
Kim@kimmonismusThere is a heated debate right now. Tristan Buckmaster says OpenAI told him its AI had solved the Na…
DịchNhà toán học Tristan Buckmaster cho biết OpenAI thông báo mô hình của họ đã giải được phương trình Navier-Stokes, nhưng tuyên bố này chưa được xác thực và gây tranh cãi về quyền tác giả.
Kim@kimmonismusOpenAI may have solved the Navier-Stokes Millennium Prize Problem A correct proof would resolve a m…
DịchCộng đồng công nghệ đang xôn xao trước thông tin OpenAI sắp công bố lời giải cho bài toán Navier-Stokes. Nếu xác thực, đây sẽ là cột mốc lịch sử chứng minh AI có khả năng thực hiện nghiên cứu toán học đột phá và tiến gần hơn tới AGI.
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@EMostaqueIt's best to think of AI in math as peak, non-hermit form Grothendieck Massive reach, absolute mach…
DịchEmad Mostaque ví von AI như một phiên bản Grothendieck kỹ thuật số với khả năng bao quát kiến thức toán học khổng lồ, coi các trung tâm dữ liệu là bộ não của kỷ nguyên toán học mới.
Emad Mostaque@EMostaqueContrarian bet: The next Millenium Prize Problem to be resolved will be Yang-Mills existence and m…
DịchEmad Mostaque dự đoán rằng bài toán về sự tồn tại của lý thuyết Yang-Mills và khe hổng khối lượng sẽ là thách thức toán học lớn tiếp theo được chinh phục.
Tristan Buckmaster và Levent Alpöge đã công bố ba kết quả về hiện tượng 'blowup' trong thời gian hữu hạn đối với phương trình môi trường xốp không nén được, đồng thời chia sẻ quá trình thảo luận chuyên môn với OpenAI.
Emad Mostaque@EMostaquePutting the generative drama aside a nice write up by Terry Tao on the Navier Stokes advances It wo…
DịchEmad Mostaque chia sẻ phân tích của Terence Tao về sự bùng nổ thời gian hữu hạn trong phương trình Euler và Boussinesq, đồng thời khẳng định OpenAI đã có lời giải hoàn chỉnh cho bài toán này.
Cùng sự kiện, bài đại diện «Noam Brown (OpenAI): Chi phí giải bài toán thiên niên kỷ Navier-Stokes bằng AI sẽ giảm nhanh chóng»
AI Safety Memes@AISafetyMemesIt appears OpenAI is claiming its AI just solved Navier-Stokes, the 3rd most famous unsolved math pr…
DịchOpenAI bị cáo buộc vội vàng công bố kết quả về bài toán Navier-Stokes và gây áp lực buộc nhà toán học Buckmaster loại bỏ cộng sự đang làm việc tại Anthropic. Hiện tại, bằng chứng 100 trang của OpenAI vẫn chưa được công khai và chưa có xác nhận chính thức về tính đúng đắn.
Emad Mostaque@EMostaqueWow, Navier-Stokes drama This statement is worth reading in full from Tristan Buckmaster discussing…
DịchThông báo từ Tristan Buckmaster về sự hợp tác với OpenAI liên quan đến kết quả Condition C/D cho phương trình Navier-Stokes đang tạo nên làn sóng tranh luận dữ dội trong cộng đồng khoa học.
Viện Công nghệ California (Caltech) khởi xướng Mathathon, sự kiện hackathon tiên phong tập trung vào việc giải quyết các bài toán hóc búa ở cấp độ nghiên cứu chuyên sâu.
Sự hợp tác giữa các chuyên gia toán học hàng đầu và mô hình ngôn ngữ lớn đang mở ra hướng đi mới, khi kết hợp Qwen 4B trên thiết bị di động với sức mạnh đám mây của GLM để chinh phục thử thách ARC-AGI.
Tin đồn về việc AI Claude giải thành công bài toán Navier-Stokes lan truyền mạnh mẽ sau bài đăng giả định của Terence Tao. Tuy nhiên, đây chỉ là suy đoán thiếu căn cứ và chưa có bằng chứng xác thực từ giới chuyên môn.
Anthropic đã phát hành bản chứng minh Định lý lớn Fermat được kiểm chứng bằng máy thông qua Lean 4.33.1 và Mathlib, tuân thủ lộ trình logic của các nhà toán học Wiles và cộng sự, đồng thời mở mã nguồn theo giấy phép Apache 2.0.
Anthropic công bố Claude đã hoàn thành việc chuyển đổi chứng minh Định lý lớn Fermat sang mã Lean chỉ trong 11 ngày, giúp máy tính có thể kiểm chứng từng bước logic thay vì dựa vào con người.
Cùng sự kiện, tinh chọn hiển thị «Claude lập kỳ tích: Tự động chứng minh Định lý Fermat trong 11 ngày»AI đưa ra đáp án chính xác cho bài toán hóc búa, nhưng Terence Tao cho rằng quy trình tư duy và cách tiếp cận vấn đề mới là điều đáng bàn hơn cả.
Đội ngũ nghiên cứu do các cựu sinh viên lớp Diêu dẫn dắt đã sử dụng Claude để hoàn thiện chứng minh hình thức đầu tiên cho Định lý lớn Fermat, với sự hỗ trợ then chốt từ công cụ Harness.
Anthropic thông báo Claude đã tự động hoàn thành chứng minh hình thức bằng ngôn ngữ Lean cho Định lý lớn Fermat chỉ trong 11 ngày, đánh dấu bước tiến lớn trong việc ứng dụng AI vào toán học cao cấp.
Cùng sự kiện, tinh chọn hiển thị «Claude lập kỳ tích: Tự động chứng minh Định lý Fermat trong 11 ngày»Kim@kimmonismusRespect where respect is due: Anthropic says Claude completed the first fully computer-checked proof…
DịchAnthropic công bố Claude đã hoàn tất chứng minh hình thức cho Định lý lớn Fermat sau 11 ngày làm việc, tạo ra hơn 13 triệu dòng mã Lean – quy mô chứng minh lớn nhất từ trước đến nay.
Rohan Paul@rohanpaul_aiAnother serious win for AI in mathematics: Claude formalized Fermat's Last Theorem in 11 days. AI m…
DịchAnthropic công bố Claude đã hoàn thành việc chuyển đổi chứng minh định lý Fermat của Wiles sang mã Lean thông qua hệ thống đa tác nhân, đánh dấu bước tiến lớn trong toán học máy tính.
Ethan Mollick@emollickIt is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much o…
DịchAnthropic đã đăng tải mã nguồn chứng minh Định lý lớn Fermat trên nền tảng Lean 4 lên GitHub. Chuyên gia Ethan Mollick nhận xét rằng cách trình bày các bước logic trong tài liệu vẫn mang đậm phong cách hành văn đặc trưng của AI Claude.
Cùng sự kiện, tinh chọn hiển thị «Claude lập kỳ tích: Tự động chứng minh Định lý Fermat trong 11 ngày»
Anthropic@AnthropicAIChecking that a major mathematical proof is correct can take years. Formalization-converting the mat…
DịchAnthropic công bố Claude đã thực hiện thành công chứng minh hình thức đầu tiên cho định lý lớn Fermat, tạo ra khối lượng mã Lean lớn nhất từ trước đến nay.
Anthropic công bố Claude đã hoàn thành chứng minh máy tính đầu tiên cho Định lý Fermat chỉ trong 11 ngày, thông qua việc viết 13 triệu dòng mã Lean và xác thực gần 30.000 định lý trung gian.
Diễn biến sự kiện · 7 bài →Thêm 8 nguồn khác đưa tinIT HomeQbitAIJiqizhixinX: Kim (@kimmonismus)X: Rohan Paul (@rohanpaul_ai)Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)X: Ethan Mollick (@emollick)X: Anthropic (@AnthropicAI)GPT-6 Astra vừa tạo dấu ấn lịch sử khi rút ngắn giới hạn khoảng cách giữa các số nguyên tố từ 246 xuống 186, đánh dấu bước tiến từ giải toán sang nghiên cứu toán học thực thụ.
Emad Mostaque@EMostaqueI do wonder what it's like @cognition given they have approximately a zillion math Olympiad gold med…
DịchCựu CEO Stability AI, Emad Mostaque, đặt nghi vấn về việc các nhân tài toán học tại Cognition phải tiêu tốn bao nhiêu token để giải quyết các bài toán hóc búa như phân tích thừa số RSA-260.
Emad Mostaque@EMostaqueIf you are sitting 🪑 on a human led result in mathematics how can you not release it asap It's cle…
DịchCựu CEO Stability AI cho rằng các nghiên cứu toán học nên được công bố nhanh chóng, đồng thời tin tưởng AI thế hệ mới sẽ sớm giải quyết mọi bài toán lý thuyết có thể kiểm chứng.
Noam Brown@polynoamialOf all the use cases for GPT-6 Astra, I'm most excited for scientific discovery. We at @OpenAI have …
DịchOpenAI công bố kho lưu trữ PrimeGaps186, trong đó GPT-6 Astra đã sử dụng ngôn ngữ Lean để chứng minh sự tồn tại vô hạn các cặp số nguyên tố có khoảng cách không quá 186, đánh dấu bước tiến mới trong ứng dụng AI vào toán học chuyên sâu.
Kim@kimmonismusI just had a fascinating call with Eyad Alkassar (@AlkassarEyad) about how ChatGPT 5.5 Pro helped mo…
DịchCác nhà nghiên cứu đã sử dụng ChatGPT 5.5 Pro và Claude Fable để chứng minh sự tồn tại của phân bổ EFX cho 4 người với 9 vật phẩm, phá vỡ kỷ lục cũ là 7 vật phẩm.
Thomas Wolf (Hugging Face đồng sáng lập/CSO)@Thom_Wolfgreat mathematicians still lead on taste
DịchNhà toán học Youness Lamzouri đã đơn giản hóa chứng minh của Claude về các điểm không của hàm Zeta, chứng minh hơn 67,25% điểm không nằm trên đường tới hạn bằng các bất đẳng thức không gian Hilbert thay vì ma trận. Thomas Wolf nhận định đây là minh chứng cho thấy con người vẫn dẫn đầu về tư duy.
SHAPE là khung phân tích mới giúp hiểu sâu cách LLM giải toán thông qua không gian ngữ nghĩa và các chiến lược suy luận, từ đó dự đoán chính xác khả năng giải đúng của mô hình.
Trong môi trường Station, các tác nhân AI tự phối hợp nghiên cứu, thực hiện thí nghiệm và xây dựng tài liệu khoa học, từ đó tìm ra các kết quả toán học mới vượt xa các nghiên cứu hiện có, bao gồm các tập hợp Kakeya và cấu hình điểm phức tạp.
Noam Brown@polynoamialToday I was asked why we haven't announced more math results from Astra since these problems. At @O…
DịchNhà nghiên cứu Noam Brown tiết lộ OpenAI Astra đã giải quyết được 10 vấn đề lớn trong toán học và khoa học máy tính, nhưng hãng ưu tiên tập trung phát hành các mô hình chất lượng cho người dùng thay vì công bố kết quả lý thuyết.
Rohan Paul@rohanpaul_aiDoes giving research agents full autonomy add capability Cambridge, Hong Kong Univ and other labs f…
DịchNghiên cứu mới từ Cambridge và HKU cho thấy các tác tử AI tự chủ có thể tự đưa ra các chứng minh toán học vượt ngoài yêu cầu, thay đổi quan điểm cho rằng AI chỉ là công cụ hỗ trợ cần sự giám sát chặt chẽ.
AK@_akhaliqAutonomous Mathematical Discovery in an Open-World Multi-Agent Environment paper: https://huggingfa...
DịchNghiên cứu giới thiệu phương pháp mới cho phép các hệ thống đa tác nhân tự động thực hiện các khám phá toán học trong môi trường thế giới mở đầy thách thức.
Ethan Mollick@emollickTime to fake a deep knowledge of mathematics so I can have an opinion of how impressive this is.
DịchKhả năng giải toán cao cấp của Claude đang trở thành tâm điểm bàn tán, khiến ngay cả những người không chuyên cũng phải trầm trồ trước năng lực tư duy logic của AI.
