AlphaProof Nexus lên Science, giải 9 bài toán Erdős
Hệ thống chứng minh toán học AlphaProof Nexus của Google DeepMind được đăng trên Science: giải 9 trong 353 bài toán mở của Erdős và chứng minh 44 trong 492 giả thuyết OEIS.
Tin tức và phân tích Toán học AI
6 bài đã kiểm chứng về Toán học AI, sản phẩm và diễn biến ngành.
Meta công bố sáu bài báo toán học có sự góp mặt của Muse Spark
Năm trong sáu bài báo toán học mới của Meta, thực hiện cùng mô hình Muse Spark, đã giải được những câu hỏi từng công bố nhưng chưa có lời giải.
Hệ đa tác tử của Google giải 5 bài toán mở về khoa học máy tính lý thuyết
Google Research dùng hệ đa tác tử Cogentic nền Gemini giải 5 bài toán mở về học trực tuyến, đấu giá và thiết kế cơ chế, được chuyên gia kiểm chứng độc lập.
Terence Tao: Bài toán mở hay đang bị khai thác cạn kiệt
Nhà toán học Terence Tao cảnh báo các bài toán mở giá trị đang bị AI khai thác theo kiểu không thể tái tạo, khiến giới nghiên cứu ngần ngại công khai hướng đi.
Terence Tao cảnh báo toán học sắp rơi vào khủng hoảng dư thừa chứng minh
Trong bài viết dài 12 trang trên arXiv, Terence Tao cảnh báo: khi AI giải một chứng minh nghiên cứu chỉ tốn vài trăm đô, toán học đang chuyển từ khan hiếm sang dư thừa chứng minh.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.