Claude đẩy cận zeta lên 67%
Anthropic nói một bản Claude nghiên cứu chưa phát hành đã nâng cận dưới liên quan tới nghiệm zeta Riemann từ 41,6% lên 67,2%.
Tin tức và phân tích toán học
4 bài đã kiểm chứng về toán học, sản phẩm và diễn biến ngành.
OpenAI để Astra viết mười chứng minh
OpenAI dùng Astra để công bố mười kết quả toán học và khoa học máy tính lý thuyết, kèm bài báo 249 trang, chứng chỉ Lean và bản ghi lập luận.
GPT-5.6 đưa ra một chứng minh lý thuyết đồ thị
GPT-5.6 đưa ra một chứng minh lý thuyết đồ thị. Bản địa hóa ngắn gọn các dữ kiện đã kiểm chứng và tín hiệu ngành phía sau.
DeepSeek ra mắt mô hình chứng minh toán học Prover-V2
DeepSeek đã phát hành mô hình chuyên dụng Prover-V2 trong lĩnh vực chứng minh định lý toán học, nhằm tự động chứng minh các định lý trong hệ thống xác minh hình thức Lean 4 bằng AI.