Rohan Paul@rohanpaul_aiAnother week, another open math problem won by AI. Anthropic mathematician working with Claude clai…
DịchMột nhà toán học tại Anthropic đã hợp tác cùng Claude để giải quyết thành công bài toán toán học nổi tiếng vốn bị bỏ ngỏ từ năm 1948 đến nay.
Ethan Mollick@emollickFable: "I want a twigl shader that renders Lost Carcosa from The King in Yellow." (Shaders are proc…
DịchFable đã sử dụng các thuật toán toán học để tạo ra một shader trên Twigl, tái hiện khung cảnh thành phố Carcosa huyền bí với hai mặt trời lặn bên hồ trong tác phẩm 'Vua Áo Vàng'.
Rohan Paul@rohanpaul_aiGoogle DeepMind just used AlphaEvolve to improve the best-known theoretical bound for matrix multipl…
DịchGoogle DeepMind sử dụng AlphaEvolve để thiết lập giới hạn lý thuyết mới cho phép nhân ma trận, giảm chỉ số ω xuống dưới 2.371177. Đây là bước tiến quan trọng tương đương với tổng thành tựu của 40 năm qua.
Rohan Paul@rohanpaul_aiTerence Tao's new paper. AI may make proof generation abundant before mathematics has adapted to ab…
DịchTerence Tao cảnh báo AI đang tạo ra sự dư thừa trong chứng minh toán học, buộc giới toán học phải định nghĩa lại các giá trị cốt lõi như thế nào là đóng góp và sự thấu hiểu thay vì chỉ tập trung vào kết quả.
Francois Chollet@fcholletThe conjecture is wrong, here's an AI-generated counter example
DịchMột giả thuyết toán học đã được chứng minh là sai nhờ vào phản ví dụ do AI tạo ra, cho thấy tiềm năng của AI trong việc hỗ trợ nghiên cứu lý thuyết.
Việc OpenAI giải quyết các bài toán hóc búa đã gây tranh cãi lớn, buộc giới toán học phải nhìn nhận lại vai trò của con người trước sự trỗi dậy của AI trong lĩnh vực tư duy trừu tượng.
Nhà toán học Terence Tao nhận định AI sẽ sớm giải quyết được nhiều bài toán nghiên cứu chuyên sâu, làm lung lay các giá trị và nền tảng thực hành toán học truyền thống như giai đoạn khủng hoảng đầu thế kỷ 20.
Tại Hội nghị Toán học Quốc tế 2026, Terence Tao kêu gọi cộng đồng toán học tập trung vào giá trị cốt lõi thay vì tranh cãi về năng lực của AI, đồng thời nhấn mạnh nhu cầu chuẩn hóa các thực hành toán học trong bối cảnh AI đang tạo ra một cuộc khủng hoảng nền tảng mới.
Nghiên cứu đề xuất mô hình hợp tác người-AI mới, nơi AI tự động tìm kiếm các bài toán tiềm năng dựa trên định hướng của chuyên gia thay vì chỉ giải quyết một bài toán đơn lẻ, giúp tối ưu hóa nguồn lực nghiên cứu toán học.
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Palomar là nền tảng lưu trữ các định lý toán học đã được kiểm chứng bằng công cụ Lean, kết hợp giữa kiểm tra logic máy tính và đánh giá từ AI để đảm bảo tính chính xác. Dự án này đánh dấu bước tiến quan trọng trong việc xây dựng kho tri thức toán học chuẩn hóa và đáng tin cậy.
Tencent Hunyuan@TencentHunyuanHyra keeps pushing the frontier. Since our last math update, four more advances have landed: 📐 3D B…
DịchMô hình Hunyuan Hyra của Tencent vừa thiết lập các kỷ lục mới trong toán học lý thuyết, bao gồm cải thiện hằng số Meissner và tối ưu hóa chi phí xấp xỉ toán tử, với toàn bộ kết quả đã được công khai mã nguồn.
Dù chưa giải được giả thuyết Riemann, mô hình Claude đã đạt bước tiến quan trọng khi xử lý thành công một trong những bài toán khó nhất của toán học hiện đại.
Các mô hình AI của OpenAI đang tạo ra bước ngoặt lịch sử khi giải quyết thành công hàng loạt bài toán hóc búa của huyền thoại toán học Paul Erdős, mở ra kỷ nguyên mới cho nghiên cứu toán học.
Nghiên cứu mới sử dụng AlphaEvolve để tối ưu hóa phương pháp phân tích tổn thất tổ hợp, thành công thiết lập kỷ lục mới cho giới hạn mũ của phép nhân ma trận, vượt qua cột mốc 2.371339 trước đó.
MathCode là trợ lý AI trên terminal giúp chuyển đổi bài toán toán học tự nhiên thành định lý Lean 4 và tự động chứng minh. Với khả năng tối ưu hóa thời gian biên dịch xuống còn 0,4 giây, công cụ này hỗ trợ đắc lực cho các nhà toán học và lập trình viên trong việc kiểm chứng logic.
Những bước tiến toán học ấn tượng nhất của AI gần đây đều đến từ khả năng tìm kiếm các phản ví dụ để bác bỏ giả thuyết.
Nghiên cứu chỉ ra rằng việc tối ưu hóa học tăng cường với bộ kiểm chứng (RLVR) có thể cải thiện hiệu suất hiện tại nhưng lại làm giảm khả năng khám phá các hành vi thành công trong tương lai, gây ra sự suy giảm đa dạng trong các phản hồi mô hình.
Timothy Gowers và Peter Sarnak cho rằng LLM giỏi kết hợp các phương pháp có sẵn nhưng thiếu trực giác để chọn lọc hướng đi hiệu quả, dẫn đến việc khó tạo ra những ý tưởng đột phá thực sự.
Giả thuyết toán học Sendov tồn tại 70 năm đã được chứng minh nhờ sự hỗ trợ của AI. Terence Tao không chỉ xác nhận kết quả mà còn tối ưu hóa chứng minh, đồng thời giải quyết luôn giả thuyết Phelps-Rodriguez liên quan.
Khả năng giải toán của AI không đến từ tư duy siêu việt mà nhờ bộ nhớ đệm khổng lồ, cho phép xử lý toàn bộ dữ liệu cùng lúc – điều mà bộ não con người bị hạn chế bởi giới hạn trí nhớ làm việc.
Giáo sư Martin Hairer nhận định AI đã trở thành công cụ toán học cấp tiến sĩ đầy tiềm năng, nhưng chưa thể thay thế hoàn toàn tư duy sáng tạo của con người. Ông cũng đánh giá cao sự tiến bộ vượt bậc của nền toán học Trung Quốc trong thập kỷ qua.
Rohan Paul@rohanpaul_aiIf you're spending extra tokens making an LLM critique itself, this paper says a simpler move can be…
DịchNghiên cứu trên các mô hình Qwen2.5 cho thấy việc lấy mẫu lặp lại và chọn đáp án đa số mang lại hiệu quả cao hơn các phương pháp tự phản tư phức tạp khi cùng giới hạn số lượng token.
Tiến sĩ tại Bệnh viện Liên hiệp Bắc Kinh đã sử dụng mô hình GPT-5.6-Sol để chứng minh thành công giả thuyết Crouzeix sau 16 giờ làm việc. Kết quả này đã được chính tác giả giả thuyết xác nhận là hoàn toàn chính xác.
Rohan Paul@rohanpaul_aiBloomberg published an interesting piece. AI could flood mathematics with proofs faster than human…
DịchSự bùng nổ của các chứng minh toán học từ AI đang thách thức hệ thống đánh giá học thuật hiện tại, vốn quá chú trọng vào số lượng bài báo. Giới nghiên cứu cần chuyển dịch trọng tâm sang việc đặt câu hỏi, kiểm chứng và diễn giải ý nghĩa thay vì chỉ tập trung vào kết quả đầu ra.
Claude vừa đạt bước tiến lớn khi giải quyết triệt để các ma trận Hadamard dưới bậc 2000, cho thấy tiềm năng của AI trong việc xử lý những bài toán toán học chưa có lời giải.
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)Dù OpenAI đã giải được nhiều bài toán hóc búa, LLM vẫn mạnh về tìm phản ví dụ hơn là chứng minh lý thuyết. Bài viết phân tích lý do tại sao mô hình ngôn ngữ lại có ưu thế đặc biệt trong việc phát hiện các trường hợp ngoại lệ này.