Epoch AI@EpochAIResearchAnother problem from FrontierMath: Open Problems has been solved! The solution was elicited by Becke…
DịchEpoch AI công bố GPT-6 Astra đã giải quyết một bài toán trong FrontierMath bằng cách thiết lập quy tắc bỏ phiếu mới dựa trên hàm entropy hài hòa, mở ra hướng đi mới cho các quyết định tập thể công bằng.
42 nhà toán học danh tiếng, bao gồm các chủ nhân giải Fields, đã gửi thư ngỏ tới Hiệp hội Hoàng gia Anh, khẳng định rủi ro hiện hữu từ AI tiên tiến là có thật và cấp bách, đồng thời kêu gọi chính phủ hành động ngay lập tức.
AI Safety Memes@AISafetyMemes"This is an emergency." The world's top mathematicians signed an open letter to warn the world of t…
Dịch42 nhà toán học danh giá thuộc Hiệp hội Hoàng gia Anh đã cùng ký tên vào bức thư ngỏ, yêu cầu các chính phủ và tổ chức phải coi rủi ro từ trí tuệ nhân tạo là một tình trạng khẩn cấp cần được ưu tiên giải quyết ngay lập tức.
OpenAI được cho là đang tiến gần đến việc giải quyết Giả thuyết Hodge sau thành công với phương trình Navier-Stokes. Dù có tiềm năng thúc đẩy khả năng tự cải tiến của AI, thông tin này đang gây ra nhiều tranh cãi trong cộng đồng toán học chuyên nghiệp.
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Nhà toán học Timothy Gowers phản biện quan điểm ưu tiên hiểu biết khái niệm hơn kỹ năng giải đề trong thư ngỏ của các nhà toán học lỗi lạc. Ông cho rằng thách thức lớn nhất của AI không nằm ở kết quả, mà là sự đứt gãy trong cấu trúc đào tạo và tài trợ cho thế hệ toán học tương lai.
Emad Mostaque@EMostaqueThe Millenial Prize Problem
DịchCựu CEO Stability AI, Emad Mostaque, gợi mở về mối liên hệ giữa các bài toán giải thưởng Thiên niên kỷ và khả năng giải quyết của AI thông qua các mô hình toán học.
Kim@kimmonismusOpenAI is close to solving another math problem from the Millennium Prize Problems, the Hodge Conjec…
DịchSau khi giải quyết thành công bài toán Navier-Stokes, OpenAI tiếp tục đặt mục tiêu chinh phục giả thuyết Hodge. Việc tập trung vào các bài toán toán học hóc búa được xem là chiến lược then chốt để AI tự động hóa quá trình nghiên cứu và phát triển các mô hình thế hệ mới.
Emad Mostaque@EMostaqueThere will be no "new physics" Just good math
DịchCựu CEO Stability AI cho rằng các đột phá trong tương lai không đến từ việc tìm ra quy luật vật lý mới, mà từ việc tối ưu hóa các mô hình toán học.
Haider@haider1holy shit, it's happening again openai is close to solving another Millennium Prize Problem: the Ho…
DịchCộng đồng mạng đang xôn xao trước thông tin OpenAI tiến gần đến việc giải quyết Giả thuyết Hodge, một trong những bài toán toán học hóc búa nhất thế giới.
Nguồn tin từ The Information cho biết OpenAI đã đạt bước tiến lớn với Giả thuyết Hodge - một trong bảy bài toán thiên niên kỷ. Công ty đang cân nhắc phương án công bố hợp tác với giới toán học thay vì tự mình đưa ra thông báo.
Thomas Wolf (Hugging Face đồng sáng lập/CSO)@Thom_WolfBalanced blog post by @wtgowers on the challenges of the math field in today's AI world - incentives…
DịchNhà toán học Timothy Gowers chia sẻ góc nhìn cân bằng về tương lai ngành toán trước sự trỗi dậy của AI, đồng thời giải thích lý do ông không ký vào bức thư ngỏ của 25 chủ nhân giải Fields.
Haider@haider1openai has been publicly hinting that progress on the remaining millennium problems will be announce…
DịchOpenAI liên tục gợi ý về một bước tiến lớn trong việc giải quyết các bài toán thiên niên kỷ, dự kiến sẽ được công bố tại sự kiện DevDay vào ngày 29/9 tới.
Cùng sự kiện, bài đại diện «OpenAI tiến gần đến việc giải mã bài toán thiên niên kỷ Hodge Conjecture»
Tibo@thsottiauxAstra ✅ Fast ✅ Frontier ✅ Efficient ✅ For everyone
DịchMô hình GPT-6 Astra vừa chính thức vượt qua các đối thủ để dẫn đầu trên hai bộ tiêu chuẩn đánh giá năng lực toán học và nghiên cứu khoa học là BrokenArXiv và ArXivMath.
Haider@haider1Sam Altman says: "GPT-5.5 was maybe as good as an average math professor, 5.6 as good as a top 1-2%…
DịchSam Altman khẳng định GPT-5.6 sở hữu năng lực toán học xuất sắc, trong khi các mô hình nội bộ thế hệ mới đã có thể giải quyết những bài toán mà ngay cả các nhà toán học vĩ đại nhất cũng phải bó tay.
AI Notes@AYi_AInotesJustin Sun vừa công bố quỹ giải thưởng cho 1.022 bài toán, yêu cầu chứng minh hình thức hóa qua GitHub. Hệ thống cho phép con người hoặc AI tham gia, tiền thưởng chỉ được giải ngân khi máy tính xác thực thành công.
Haider@haider1the screams from some mathematicians about AI assisting with millennium problems are getting beyond …
DịchTrước sự phản đối gay gắt từ cộng đồng toán học về lời giải cho phương trình Navier-Stokes, các công ty AI đang tạm hoãn việc công bố các giải pháp cho những bài toán hóc búa nhất để tìm cách tiếp cận phù hợp hơn.
Rohan Paul@rohanpaul_aiSam Altman just said an internal post-Astra model can solve things the world's best mathematicians c…
DịchTrong cuộc trò chuyện với CEO Salesforce, Sam Altman tiết lộ OpenAI đang sở hữu các mô hình nội bộ vượt trội hơn cả những nhà toán học xuất sắc nhất, với lộ trình phát triển năng lực suy luận vượt xa các chuẩn mực học thuật hiện tại.
Haider@haider1apparently openai has been holding back proofs for multiple millennium problems for a while now beca…
DịchNhiều đồn đoán cho rằng OpenAI đã nắm giữ lời giải cho hàng trăm bài toán toán học hóc búa nhưng trì hoãn công bố vì lo ngại phản ứng tiêu cực từ dư luận.
AI Safety Memes@AISafetyMemes>OpenAI has made 'significant progress' on a second $1m Millennium Prize problem >Rumor is they're …
DịchOpenAI được cho là đã tiến gần đến việc giải quyết hai trong số các bài toán thiên niên kỷ trị giá triệu đô. Tuy nhiên, công ty đang tạm hoãn công bố kết quả do lo ngại phản ứng tiêu cực từ cộng đồng khoa học sau sự cố với phương trình Navier-Stokes.
Tác giả lập luận rằng việc LLM giải được toán học thuần túy không đồng nghĩa với khả năng tự động hóa tri thức, vì các mô hình hiện nay vẫn dễ thất bại ngoài phạm vi huấn luyện và thiếu tính kiểm chứng nghiêm ngặt như các định lý toán học.
Elvis Saravia@omarsar0Banger paper from Google on agent harnesses for long-horizon tasks. (bookmark it) Google Research …
DịchStellar Colosseum là khung đa tác nhân độc lập với mô hình, chuyên giải quyết các bài toán toán học và khoa học máy tính phức tạp bằng cách chia nhỏ vấn đề, song song hóa chiến lược chứng minh và phản biện.
Cựu lãnh đạo OpenAI khẳng định AI không chỉ giải toán mà còn có khả năng tạo ra các khung khái niệm mới, mở ra kỷ nguyên hợp tác sâu sắc giữa máy móc và các nhà toán học.
ZGCM-1 là mô hình 7B đột phá, kết hợp tư duy nội tại với công cụ bên ngoài để vượt qua giới hạn dung lượng tham số. Với kiến trúc FP8 và quy trình huấn luyện hiệu quả, mô hình hỗ trợ ngữ cảnh 256K, cho phép tác tử tự vận hành và tối ưu hóa dữ liệu.
Trước sự trỗi dậy của AI trong việc giải quyết các bài toán hóc búa, Daniel Litt đề xuất thay đổi trọng tâm đào tạo toán học từ việc chứng minh định lý sang ưu tiên khả năng thấu hiểu sâu sắc và tư duy phản biện của con người.
Viện Toán học Clay (CMI) thông báo một trong bảy bài toán thiên niên kỷ về phương trình Navier-Stokes đã có lời giải. Hiện giới chuyên môn đang tiến hành thẩm định công trình trị giá 1 triệu USD này để xác định liệu các phương trình chuyển động chất lưu 3D có luôn tồn tại nghiệm trơn hay không.
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»Rohan Paul@rohanpaul_aiTerence Tao: The math behind today's LLMs is actually simple. Training and running them mostly uses…
DịchTerence Tao nhận định các mô hình ngôn ngữ lớn dựa trên toán học cơ bản, nhưng sự khó hiểu nằm ở việc tại sao chúng lại thành công hoặc thất bại trong các tác vụ cụ thể. Ông ví von dữ liệu tự nhiên nằm giữa sự hỗn loạn và cấu trúc, tạo ra thách thức lớn cho lý thuyết toán học hiện tại.
Haider@haider1what worries me is that openai will face pressure to slow down anytime soon after the Navier-Stokes…
DịchSau khi bài toán Navier-Stokes được giải quyết, 25 nhà toán học đạt giải Fields đã ký thư ngỏ bày tỏ lo ngại về ứng dụng của AI trong toán học. Điều này làm dấy lên dự đoán rằng OpenAI có thể sớm chịu áp lực phải kìm hãm tốc độ phát triển công nghệ.
Trí tuệ nhân tạo lần đầu tiên chinh phục được một trong những bài toán thiên niên kỷ khó nhất thế giới: phương trình Navier-Stokes.
Emad Mostaque@EMostaqueI'll be honest it feels like a month since this happened The takeoff is a heck of a thing
DịchOpenAI tuyên bố đã giải quyết thành công bài toán Navier-Stokes nhờ một mô hình AI thế hệ mới vượt xa GPT-6 Astra. Đây là bước ngoặt lịch sử khi một thách thức toán học tồn tại 90 năm qua được AI chinh phục, cho thấy tốc độ phát triển chóng mặt của công nghệ.
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Hai triết gia đã đăng bài trên blog của Terence Tao để thảo luận về những hệ quả toán học sau khi OpenAI tuyên bố dùng AI giải quyết thành công bài toán tồn tại và độ trơn của phương trình Navier-Stokes.
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»Rohan Paul@rohanpaul_aiSam Altman talks about exponential 3-year jump of AI in math, from grade-school math to a Millennium…
DịchSam Altman chia sẻ về sự bùng nổ năng lực toán học của AI: từ mức tiểu học 3 năm trước đến việc giải quyết các bài toán thiên niên kỷ hiện nay, đồng thời cảnh báo về tốc độ phát triển chóng mặt trong tương lai.
Haider@haider1Fields Medalist, Yu Deng: "if AI can solve all maths problems, i'll go home and write my yuri novel…
DịchNhà toán học đạt giải Fields June Huh chia sẻ rằng AI đang tạo ra bầu không khí thiếu kiên nhẫn trong giới toán học, và ông đùa rằng sẽ chuyển sang viết tiểu thuyết nếu AI thay thế hoàn toàn công việc của mình.
Haider@haider1i'm sorry, but i've always hated math culture it's been gatekeepy, arrogant, and weirdly proud of b…
Dịch25 chủ nhân giải Fields lên tiếng chỉ trích việc các công ty AI coi giải toán là thước đo chuẩn mực, cho rằng điều này gây hại cho cộng đồng toán học. Đồng thời, giới chuyên gia cũng phản biện lại văn hóa toán học hàn lâm vốn quá khép kín và xa rời thực tiễn.
Cùng sự kiện, bài đại diện «25 chủ nhân giải Fields đồng loạt cảnh báo về sự lệch hướng nghiêm trọng của AI trong toán học»AI vừa chứng minh thành công giả thuyết Komlós, nhưng 25 nhà toán học hàng đầu thế giới đã ra tuyên bố chung cảnh báo rằng tốc độ phát triển quá nhanh của AI đang đe dọa nền tảng tư duy và sự kế thừa tri thức nhân loại.
Thêm 1 nguồn khác đưa tinThe Decoder: AI NewsAI Notes@AYi_AInotesDẫn đầu bởi Terence Tao, 25 nhà toán học đạt giải Fields đã cùng ký tên vào tuyên bố trên mathandai.org, bày tỏ quan ngại sâu sắc về những rủi ro khi ứng dụng AI trong nghiên cứu toán học.
Emad Mostaque@EMostaqueThose using Fable 5.1 for math / physics Does it only give good results in Max / Ultracode or do yo…
DịchNgười dùng thảo luận về hiệu suất của Fable 5.1 khi giải quyết các bài toán vật lý, liệu mô hình chỉ đạt hiệu quả tối ưu ở cấu hình Max/Ultracode hay có thể vận hành tốt ở các thiết lập thấp hơn.
The Verge phỏng vấn các chuyên gia về tranh cãi xung quanh việc OpenAI sử dụng 10.000 tác nhân AI và hàng chục triệu USD để giải quyết bài toán thiên niên kỷ Navier-Stokes, làm dấy lên nghi ngại về tính xác thực trong 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»25 nhà toán học hàng đầu thế giới cảnh báo việc lạm dụng AI có thể triệt tiêu tư duy khái niệm và làm suy yếu bản chất của nghiên cứu trí tuệ. Họ kêu gọi cộng đồng và các công ty công nghệ cần có biện pháp ứng phó khẩn cấp trước khi AI làm xói mòn giá trị cốt lõi của tri thức.
Cùng sự kiện, bài đại diện «AI giải mã bài toán 40 năm: 25 chủ nhân giải Fields lên tiếng cảnh báo về sự 'lệch pha' trong toán học»25 nhà toán học hàng đầu thế giới đã ký tên vào bức thư ngỏ chỉ trích các công ty AI vì ưu tiên chạy đua benchmark thay vì tuân thủ quy trình nghiên cứu khoa học chuẩn mực, gây ra sự lệch lạc nghiêm trọng trong cộng đồng toán học.
25 nhà toán học đạt giải Fields đã cùng lên tiếng cảnh báo về việc AI lạm dụng sức mạnh tính toán để giải quyết các bài toán, thay vì tư duy logic thuần túy.