Hôm qua · 27/09

Chủ Nhật · 1 tin
JiQiZhiXin
Quan điểmĐiểm AI 92/100

Tinh chọnOpenAI chinh phục hơn 100 bài toán khó thế giới: Liệu toán học đã đến hồi kết?

OpenAI vừa công bố mô hình nội bộ có khả năng giải quyết hơn 100 bài toán toán học cấp độ thế giới. Trước làn sóng lo ngại, nhà toán học Daniel Litt nhận định đây không phải là dấu chấm hết mà là khởi đầu cho một kỷ nguyên mới, nơi con người tập trung vào việc hiểu sâu sắc bản chất toán học thay vì chỉ chứng minh định lý.


Vì sao đáng đọc: Tin tức mang tính thời sự cao, tác động trực tiếp đến giới học thuật và thay đổi tư duy về vai trò của con người trước sự trỗi dậy của AI trong các lĩnh vực tư duy trừu tượng.

26/09

Thứ Bảy · 3 tin
Thomas Wolf (Hugging Face đồng sáng lập/CSO)@Thom_Wolf
Nghiên cứuĐiểm AI 43/100

Đột phá: LLM có thể tự khám phá các định lý toán học thú vị mà không cần con người

this is important

DịchNghiên cứu mới cho thấy LLM có khả năng tự tìm ra các định lý toán học quan trọng nhờ định nghĩa định lượng về 'độ thú vị', giúp tăng hiệu suất khám phá lên 4,3 lần thông qua vòng lặp tự mở rộng.

Thêm 1 nguồn khác đưa tinHugging Face Daily Papers
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Quan điểmĐiểm AI 52/100

Amit Sahai: Kỷ nguyên AI cần nhiều nhà toán học hơn bao giờ hết

Nhà toán học Amit Sahai nhận định AI đang tạo ra những tư duy toán học vượt xa khả năng hiểu tức thời của con người. Ông kêu gọi tăng cường nguồn lực nghiên cứu để kiểm soát các đột phá của AI, đặc biệt là trong các lĩnh vực quan trọng như thiết kế năng lượng hạt nhân.

Hugging Face Daily Papers
Nghiên cứuĐiểm AI 85/100

Cùng sự kiệnHọc cách khám phá toán học thú vị: Định nghĩa mới về giá trị của các định lý

Nghiên cứu đề xuất phương pháp đo lường độ thú vị của định lý toán học dựa trên tỷ lệ giữa độ dài chứng minh và phát biểu, đồng thời huấn luyện mô hình 27B để dự đoán độ khó chứng minh hiệu quả hơn các mô hình hiện nay.

Cùng sự kiện, bài đại diện «Đột phá: LLM có thể tự khám phá các định lý toán học thú vị mà không cần con người»

24/09

Thứ Năm · 1 tin
Ethan Mollick@emollick
NgànhĐiểm AI 39/100

Chi phí đạt chuẩn trong các bài kiểm tra Toán và Khoa học AI đang giảm mạnh

This is a really important graph showing the cost of achieving 25% or 75% scores in various hard mat…

DịchBiểu đồ mới cho thấy chi phí để AI đạt điểm số cao trong các bài kiểm tra toán học và khoa học khó đang giảm chóng mặt, trong khi năng lực lại tăng lên. Điều này cho thấy việc tối ưu hóa chi phí cho một giải pháp cụ thể hiện nay có thể là tầm nhìn ngắn hạn.

23/09

Thứ Tư · 5 tin
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Quan điểmĐiểm AI 73/100

Cộng đồng toán học chất vấn lời giải Navier-Stokes của OpenAI: Liệu có đang đi chệch hướng?

Các nhà toán học chỉ ra rằng phương pháp của OpenAI chỉ giải quyết được biến thể có ngoại lực, thay vì bài toán gốc không ngoại lực mà giới khoa học đang tìm kiếm lời giải từ Viện Clay.

Diễn biến sự kiện · 4 bài →Thêm 1 nguồn khác đưa tinThe Verge: AI
Rohan Paul@rohanpaul_ai
Nghiên cứuĐiểm AI 49/100

Cùng sự kiệnTỷ lệ sử dụng AI trong các bài báo toán học tăng vọt lên 14% chỉ sau nửa năm

Disclosed AI use in math rose from 1.39% to 14.09% in under 6 months. The authors scanned 32, 944 ma…

DịchDữ liệu từ hơn 32.000 bài báo trên arXiv cho thấy tỷ lệ ứng dụng AI trong nghiên cứu toán học đã tăng mạnh từ 1,39% lên 14,09% chỉ trong 6 tháng. Trong đó, lĩnh vực tổ hợp và hình học đo lường ghi nhận mức độ thâm nhập của AI cao nhất.

Cùng sự kiện, bài đại diện «Số lượng bài báo toán học trên arXiv tăng vọt 33,5% trong năm 2026»
The Verge: AI
NgànhĐiểm AI 65/100

Cùng sự kiệnOpenAI thành lập hội đồng toán học AGMAI nhằm giải quyết tranh cãi về công bố nghiên cứu

OpenAI vừa ra mắt hội đồng cố vấn toán học độc lập AGMAI, quy tụ 9 chuyên gia từ các đại học danh tiếng như Harvard và Oxford để giám sát quy trình thẩm định và công bố các đột phá toán học mới.

Cùng sự kiện, bài đại diện «Cộng đồng toán học chất vấn lời giải Navier-Stokes của OpenAI: Liệu có đang đi chệch hướng?»
Rohan Paul@rohanpaul_ai
Nghiên cứuĐiểm AI 42/100

Số lượng bài báo toán học trên arXiv tăng vọt 33,5% trong năm 2026

Math submissions on arXiv jumped 33.5% in 2026. In the first 8 months of 2026, Mathematics recorded…

DịchTrong 8 tháng đầu năm 2026, số lượng bài báo toán học trên arXiv tăng mạnh ở hầu hết các lĩnh vực. Hiện tượng này đặt ra thách thức về việc kiểm chứng nghiên cứu trong kỷ nguyên AI, khi tần suất xuất bản của các tác giả đang tăng lên bất thường.

22/09

Thứ Ba · 13 tin
The Decoder: AI News
Mô hìnhĐiểm AI 73/100

OpenAI tuyên bố mô hình AI giải quyết hơn 100 bài toán hóc búa chỉ sau một tháng huấn luyện

OpenAI cho biết mô hình nội bộ của họ đã giải được hơn 100 bài toán toán học lâu đời, bao gồm cả bài toán Navier-Stokes. Để đối phó với những hoài nghi từ giới chuyên môn, công ty đã thành lập hội đồng cố vấn toán học với sự tham gia của các nhà toán học đạt giải Fields.

JiQiZhiXin
Mô hìnhĐiểm AI 95/100

Cùng sự kiệnOpenAI thành lập hội đồng toán học độc lập: Hơn 100 bài toán hóc búa đã được AI giải quyết

OpenAI vừa hợp tác với nhóm cố vấn toán học độc lập (AGMAI) để thẩm định hơn 100 bài toán mở đã được mô hình AI nội bộ giải quyết, nhằm giải quyết thách thức về tốc độ công bố kết quả khoa học vượt xa khả năng kiểm chứng truyền thống.

Cùng sự kiện, bài đại diện «OpenAI lập hội đồng cố vấn toán học, mô hình bí ẩn giải quyết hơn 100 bài toán hóc búa»
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
NgànhĐiểm AI 71/100

Viện Nghiên cứu Cao cấp thành lập nhóm tư vấn Toán học và AI, lấy ý kiến về các kết quả toán học từ OpenAI

Nhóm tư vấn Toán học và AI (AGMAI) được thành lập tại Viện Nghiên cứu Cao cấp Princeton với sự tham gia của các nhà toán học hàng đầu như Timothy Gowers và Edward Witten, nhằm đánh giá các công bố toán học từ mô hình AI của OpenAI.

Haider@haider1
Quan điểmĐiểm AI 40/100

Sự trỗi dậy của AI trong toán học: Khi các bài toán hóc búa dần bị chinh phục

gpt-5.6: 1 erdős problem astra: 10 major open-problem results post-astra: 1 millennium problem + 100…

DịchCác mô hình AI thế hệ mới như GPT-5.6 và Astra đang đạt được những bước tiến đột phá, từ việc giải quyết các vấn đề Erdős đến các bài toán thiên niên kỷ. Tốc độ phát triển này cho thấy khả năng giải toán của AI đang tiến gần đến giới hạn của các bài toán chưa có lời giải.

IT Home
NgànhĐiểm AI 70/100

OpenAI lập hội đồng cố vấn toán học, mô hình bí ẩn giải quyết hơn 100 bài toán hóc búa

OpenAI vừa thành lập hội đồng cố vấn toán học tại Viện Nghiên cứu Cao cấp Princeton với sự góp mặt của 3 chủ nhân giải Fields. Đáng chú ý, một mô hình AI bí ẩn của họ đã giải thành công hơn 100 bài toán mở chỉ trong 24 ngày.

Diễn biến sự kiện · 4 bài →Thêm 8 nguồn khác đưa tinHacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)The Verge: AIThe Decoder: AI NewsJiqizhixinX: Kim (@kimmonismus)TechCrunch: AIX: Rohan Paul (@rohanpaul_ai)X: OpenAI (@OpenAI)
Kim@kimmonismus
Hướng dẫnĐiểm AI 50/100

Cùng sự kiệnOpenAI gây sốc khi giải quyết 100 bài toán hóc búa, nhưng MiMo-2.6 mới là 'ngôi sao' thực sự

WTF I was on a plane for 10 hours. Within 10 hours OpenAI released a blogpost that their newly train…

DịchOpenAI vừa công bố mô hình mới giải quyết hơn 100 bài toán toán học chưa có lời giải, bao gồm cả bài toán Navier-Stokes. Tuy nhiên, giới chuyên gia nhận định MiMo-2.6 mới là bước ngoặt thực sự nhờ hiệu năng vượt trội và chi phí tối ưu hơn hẳn Grok 4.7.

Cùng sự kiện, bài đại diện «OpenAI lập hội đồng cố vấn toán học, mô hình bí ẩn giải quyết hơn 100 bài toán hóc búa»
Haider@haider1
Mô hìnhĐiểm AI 43/100

Rộ tin đồn mô hình nội bộ của OpenAI giải mã thành công bài toán thiên niên kỷ Navier-Stokes

Terence Tao's sudden crash-out on AI is starting to make sense now interestingly, he added: "these …

DịchMô hình AI mới của OpenAI được cho là đã giải quyết được bài toán Navier-Stokes và hơn 100 vấn đề toán học hóc búa khác, khiến giới chuyên gia, bao gồm cả Terence Tao, phải kinh ngạc và thận trọng trước tốc độ phát triển này.

Ethan Mollick@emollick
NgànhĐiểm AI 46/100

OpenAI hợp tác cùng các nhà toán học để kiểm soát tốc độ công bố thành tựu AI

One of the reasons AI will change things less quickly than many think is illustrated in this post. …

DịchOpenAI đang phối hợp với hội đồng cố vấn toán học nhằm đánh giá và công bố các chứng minh toán học từ AI một cách thận trọng. Động thái này cho thấy quá trình ứng dụng AI vào các lĩnh vực chuyên môn có thể diễn ra chậm hơn dự kiến để tránh gây xáo trộn xã hội.

Hacker News: AI bài nổi bật
NgànhĐiểm AI 71/100

OpenAI thành lập Hội đồng cố vấn độc lập về Toán học và AI

OpenAI hợp tác với các nhà toán học hàng đầu thế giới, bao gồm nhiều chủ nhân giải Fields, để thành lập hội đồng cố vấn độc lập đặt tại Viện Nghiên cứu Cao cấp Princeton nhằm định hướng phát triển AI.

Diễn biến sự kiện · 4 bài →Thêm 9 nguồn khác đưa tinHacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)The Verge: AIIT HomeThe Decoder: AI NewsJiqizhixinX: Kim (@kimmonismus)TechCrunch: AIX: Rohan Paul (@rohanpaul_ai)X: OpenAI (@OpenAI)
TechCrunch: AI
NgànhĐiểm AI 66/100

Cùng sự kiệnOpenAI lập hội đồng tư vấn Toán học, tuyên bố AI đã giải quyết hơn 100 bài toán hóc búa

OpenAI thành lập hội đồng tư vấn gồm các nhà toán học hàng đầu để đánh giá nghiên cứu, đồng thời khẳng định mô hình nội bộ của họ đã giải thành công hơn 100 bài toán mở quan trọng.

Cùng sự kiện, bài đại diện «OpenAI lập hội đồng cố vấn toán học, mô hình bí ẩn giải quyết hơn 100 bài toán hóc búa»
Rohan Paul@rohanpaul_ai
NgànhĐiểm AI 65/100

Cùng sự kiệnOpenAI lập hội đồng toán học độc lập sau khi AI giải thành công hơn 100 bài toán hóc búa

OpenAI forms an independent mathematics advisory group after its AI solved 100+ open problems, raisi…

DịchSau khi AI giải được hơn 100 bài toán mở gây xôn xao giới học thuật, OpenAI đã thành lập hội đồng toán học độc lập để giám sát các tiêu chuẩn nghiên cứu, đánh giá tác động và đảm bảo tính minh bạch trong các công bố toán học mới.

Cùng sự kiện, bài đại diện «OpenAI lập hội đồng cố vấn toán học, mô hình bí ẩn giải quyết hơn 100 bài toán hóc búa»
Haider@haider1
NgànhĐiểm AI 52/100

Tin đồn: Mô hình AI mới của OpenAI giải mã thành công bài toán thiên niên kỷ Navier-Stokes

holy shit. OpenAI's newly trained internal model has resolved the Navier-Stokes Millennium Prize pr…

DịchMột mô hình nội bộ của OpenAI được cho là đã giải quyết được bài toán Navier-Stokes cùng hơn 100 vấn đề toán học hóc búa khác, khiến giới chuyên gia kinh ngạc. Công ty cũng đã thành lập hội đồng cố vấn toán học độc lập để thẩm định các kết quả nghiên cứu đột phá này.

OpenAI@OpenAI
NgànhĐiểm AI 33/100

Cùng sự kiệnOpenAI thành lập hội đồng cố vấn độc lập về Toán học và AI

We're working with an independent advisory group of mathematicians to help OpenAI responsibly share …

DịchOpenAI hợp tác cùng các nhà toán học hàng đầu để thiết lập tiêu chuẩn đạo đức, đánh giá các đột phá mới và phát triển công cụ hỗ trợ nghiên cứu toán học thông qua AI.

Cùng sự kiện, bài đại diện «OpenAI lập hội đồng cố vấn toán học, mô hình bí ẩn giải quyết hơn 100 bài toán hóc búa»

21/09

Thứ Hai · 1 tin
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Quan điểmĐiểm AI 52/100

Nhà toán học Po-Shen Loh: Tại sao nhân loại vẫn cần các nhà toán học trong kỷ nguyên AI?

Po-Shen Loh lập luận rằng khi AI phát triển, nhu cầu giám sát chuyên môn từ con người sẽ tăng vọt, tạo ra nút thắt cổ chai khiến tốc độ phát triển AI buộc phải chậm lại để đảm bảo tính chính xác và an toàn.

20/09

Chủ Nhật · 5 tin
Kim@kimmonismus
Quan điểmĐiểm AI 51/100

Cùng sự kiệnChuyên gia toán học hoài nghi tin đồn OpenAI giải được bài toán Thiên niên kỷ

Had a really interesting discussion with @ElliotGlazer about the speculation fueled by reporting fro…

DịchNhà nghiên cứu Elliot Glazer cho rằng thông tin OpenAI sắp giải được bài toán Thiên niên kỷ chỉ là sự hiểu lầm về một trường hợp đặc biệt của giả thuyết Hodge, đồng thời cảnh báo về độ tin cậy của các tin đồn nội bộ.

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»
Kim@kimmonismus
Quan điểmĐiểm AI 50/100

Cùng sự kiệnOpenAI giải mã thành công bài toán thiên niên kỷ, giới toán học chấn động trước 'đại thảm họa'

Cédric Villani after the announcement of OpenAI's solution to the Millennium Prize problem: "I was…

DịchOpenAI tuyên bố đã giải quyết được một trong những bài toán thiên niên kỷ, khiến nhà toán học Cédric Villani phải thốt lên rằng đây là một 'đại thảm họa' chưa từng có trong lịch sử ngành toán học.

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»
Haider@haider1
Quan điểmĐiểm AI 59/100

Huy chương Fields Cédric Villani: OpenAI giải mã bài toán thiên niên kỷ gây chấn động giới toán học

Fields Medalist Cédric Villani june 2026: llms are not intelligent and understand nothing of what t…

DịchNhà toán học Cédric Villani bày tỏ sự kinh ngạc trước khả năng của AI trong việc giải quyết các bài toán thiên niên kỷ, gọi đây là một cuộc khủng hoảng chưa từng có tiền lệ đối với nền toán học truyền thống.

Haider@haider1
Quan điểmĐiểm AI 43/100

Terence Tao cảnh báo AI phát triển quá nhanh; Haider mỉa mai sức mạnh mô hình OpenAI

imagine thousands of mathematicians spending decades trying to solve a problem, just for some AI pro…

DịchNhà toán học Terence Tao kêu gọi kìm hãm tốc độ phát triển AI vì lo ngại tính bất ổn. Cùng lúc đó, Haider châm biếm việc các mô hình bí mật của OpenAI có thể dễ dàng vượt qua thành quả nghiên cứu hàng thập kỷ của giới toán học.

19/09

Thứ Bảy · 12 tin
Kim@kimmonismus
Hướng dẫnĐiểm AI 54/100

GPT-6 Astra lập kỳ tích: Giải quyết bài toán hóc búa trong FrontierMath

FrontierMath's first "Major Advance" problem has been solved with GPT-6 Astra This really is signif…

DịchGPT-6 Astra đã hỗ trợ các nhà nghiên cứu tìm ra lời giải cho bài toán lý thuyết bầu cử tồn tại từ năm 2017, đánh dấu cột mốc 'Major Advance' đầu tiên của FrontierMath thông qua sự kết hợp giữa trí tuệ con người và AI.

Haider@haider1
Quan điểmĐiểm AI 31/100

Thực tập sinh OpenAI dự báo: Siêu trí tuệ toán học sẽ xuất hiện vào năm 2027

"2027 will see the dawn of mathematical superintelligence" i agree, we're already entering a math s…

DịchMột cựu thực tập sinh tại OpenAI dự đoán đến năm 2027, AI sẽ đạt ngưỡng siêu trí tuệ toán học, tạo ra bước tiến trong vài tháng bằng cả thế kỷ trước đó. Hiện nay, các nhà toán học và lập trình viên đã bắt đầu gặp khó khăn trong việc kiểm chứng các giải pháp phức tạp do AI tạo ra.

Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Quan điểmĐiểm AI 52/100

Grant Sanderson: Toán học cần vinh danh 'lời giải thích có động cơ' thay vì chỉ tập trung vào chứng minh

Trong bài viết trên blog của Terry Tao, Grant Sanderson lập luận rằng khi AI đã có thể tự tạo chứng minh, giới toán học nên công nhận và vinh danh những 'lời giải thích có động cơ' (motivational explanations) như một thành tựu học thuật quan trọng.

QbitAI
Mô hìnhĐiểm AI 92/100

Tinh chọnTerence Tao đại diện SAIR Foundation khởi động 'Dự án Mô hình Toán học Mở'

Dự án đặt mục tiêu xây dựng nền tảng chung cho nghiên cứu toán học thông qua các mô hình mã nguồn mở và tài nguyên tính toán chi phí thấp.


Vì sao đáng đọc: Sự tham gia của thiên tài toán học Terence Tao cùng tầm nhìn dân chủ hóa nghiên cứu toán học bằng AI là chủ đề có sức ảnh hưởng lớn và tính thời sự cao.
AI Safety Memes@AISafetyMemes
Quan điểmĐiểm AI 29/100

Cựu thực tập sinh OpenAI dự báo siêu trí tuệ toán học sẽ xuất hiện vào năm 2027

Ex-OpenAI/Cambridge math: "I am now certain 2027 will see the dawn of mathematical superintelligence…

DịchMột cựu thực tập sinh OpenAI với nền tảng toán học từ Cambridge khẳng định rằng đến năm 2027, AI sẽ đạt đến trình độ siêu trí tuệ, có khả năng thực hiện khối lượng công việc toán học tương đương một thế kỷ chỉ trong vài tháng.

Thêm 1 nguồn khác đưa tinX: Haider (@haider1)
Epoch AI: Nghiên cứu, dữ liệu và đánh giá
Nghiên cứuĐiểm AI 54/100

Epoch AI: Tỷ lệ công bố sử dụng AI trong các bản thảo toán học tăng vọt từ 4% lên 25%

Phân tích từ Epoch AI cho thấy sự gia tăng đột biến trong việc thừa nhận sử dụng AI tại các bản thảo toán học trên arXiv. Dù con số này phản ánh xu hướng ứng dụng rộng rãi, các nhà nghiên cứu lưu ý rằng nó cũng bao gồm cả sự thay đổi trong ý thức công khai và khó khăn trong việc phân định ranh giới hỗ trợ.

Epoch AI: Nghiên cứu, dữ liệu và đánh giá
Sản phẩmĐiểm AI 35/100

Epoch AI ra mắt công cụ theo dõi việc ứng dụng AI trong các nghiên cứu toán học trên arXiv

Epoch AI vừa giới thiệu công cụ mới giúp thống kê tỷ lệ và hình thức sử dụng AI trong các bản thảo toán học trên arXiv từ đầu năm 2023 đến tháng 8/2026, hỗ trợ các nhà nghiên cứu nắm bắt xu hướng ứng dụng công nghệ.

Epoch AI: Nghiên cứu, dữ liệu và đánh giá
Quan điểmĐiểm AI 45/100

Epoch AI dùng GPT-5.6 và Claude Fable 5 phân tích cách AI được ứng dụng trong nghiên cứu toán học

Epoch AI sử dụng GPT-5.6 Sol và Claude Fable 5 để quét các bài báo toán học trên arXiv từ năm 2023, nhằm phân loại các phương thức ứng dụng AI trong nghiên cứu, viết lách và lập trình.

Haider@haider1
Mô hìnhĐiểm AI 38/100

GPT-6 Astra tạo đột phá lịch sử khi giải quyết bài toán hóc búa tại FrontierMath

sam is right about the upcoming Astra successor can do things even the best mathematicians can't h…

DịchGPT-6 Astra đã giải quyết thành công một bài toán toán học mở tồn tại từ năm 2017, đánh dấu cột mốc quan trọng đầu tiên trên nền tảng FrontierMath. Mô hình không chỉ chứng minh sự tồn tại của lời giải mà còn đề xuất cơ chế chứng minh mới cùng quy tắc bỏ phiếu sáng tạo.

Thêm 1 nguồn khác đưa tinX: Kim (@kimmonismus)
Haider@haider1
Hướng dẫnĐiểm AI 71/100

Cùng sự kiệnGPT-6 Astra lập kỳ tích: Giải mã bài toán hóc búa đầu tiên của FrontierMath

FrontierMath's first "Major Advance" problem has been solved GPT-6 Astra helped resolve a major ope…

DịchGPT-6 Astra vừa ghi dấu ấn lịch sử khi hỗ trợ giải quyết thành công một bài toán mở tồn tại từ năm 2017, đánh dấu cột mốc quan trọng đầu tiên trong hệ thống đánh giá FrontierMath.

Cùng sự kiện, bài đại diện «FrontierMath: GPT-6 Astra giải mã thành công bài toán hóc búa về quy tắc bỏ phiếu»
Đã tải 40 tin

40 tin mỗi trang, cuộn để tải tiếp · lọc và sắp xếp ngay trên máy chủ (66 ms) · bộ lọc nằm trong đường dẫn nên chia sẻ link là giữ nguyên kết quả

Toàn bộ tin AI · Thẻ “toán học” | AIHOT.vn