computer-assisted proof

Assess

Kỹ thuật

Quy trình chứng minh dùng phần mềm để hỗ trợ xây dựng, kiểm tra hoặc khảo sát lập luận toán học.

Vì sao ở đây

Xếp vào Assess: 1 bài bằng chứng từ 1 nguồn, chủ yếu là tin nghiên cứu, 1 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.

Bằng chứng (1)

7Hacker News·11/10/2026research
Bài thuyết trình Math 2.0 của Terence Tao
Terence Tao प्रस्तुत một bài nói chuyện Math 2.0 dưới dạng slide, bàn về cách công việc toán học hiện đại có thể thay đổi nhờ tính toán, hình thức hóa và các phương pháp hỗ trợ bởi AI. Đây chủ yếu là một bài trình bày mang tính nghiên cứu và ý tưởng, không phải thông báo về sản phẩm hay phát hành mới.