Kiểm thử hình thức
OpenAI Rút Loạt Bài Báo Toán: Nút Thắt Xác Minh Của Kỷ Nguyên AI
OpenAI vừa phải rút ba bản thảo toán học AI tạo ra do lỗi dấu, phơi bày thực tế: sinh lời giải thì rẻ, nhưng xác minh tính đúng đắn mới là bài toán hóc búa.
Chủ đề
Toán học
Một tuyển tập để khám phá, từng ý tưởng một.
Bài viết
Mới nhất trước
Khoa học mở
Khi AI Khai Thác Cạn Kiệt Kho Bài Toán Mở Của Toán Học
Terence Tao cảnh báo các mô hình AI tự động đang khai thác cạn kiệt các bài toán mở, đe dọa văn hóa khoa học mở và sự thấu hiểu sâu sắc của con người.
AI
AI Đột Phá: Giải Quyết Bài Toán Học 30 Năm Tuổi
GPT-5.6 vừa giải quyết một bài toán tối ưu hóa lồi bị bỏ ngỏ 30 năm. Chuyện gì sẽ xảy ra khi AI chuyển từ sinh văn bản sang tư duy logic sâu sắc?
Khoa học
Dàn Đồng Ca Không Nhạc Trưởng: Bí Mật Của Đom Đóm Đồng Bộ
Khám phá bí ẩn đom đóm đồng bộ: sự giao thoa tuyệt đẹp giữa sinh học và toán học, nơi sự trật tự tự phát nảy sinh từ hỗn loạn trong tự nhiên.
Sinh học
Toán Học Của Sinh Tồn: Tại Sao Ve Sầu Yêu Số Nguyên Tố
Khám phá lý do loài ve sầu định kỳ chỉ xuất hiện mỗi 13 hoặc 17 năm. Tự nhiên dùng số nguyên tố làm chiếc khiên toán học để đánh bại kẻ săn mồi.