Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Axiom
Trong hơn 98 năm lịch sử của cuộc thi Putnam (kể từ năm 1927), chỉ có 5 điểm tuyệt đối.
AxiomProver đã đạt 120/120.
Chúng tôi tôn vinh các sinh viên tham gia kỳ thi và mong chờ được thấy nhiều người đạt điểm tuyệt đối ấn tượng hơn!
01:49 11 thg 1
AI vừa đạt được điểm số hoàn hảo trong cuộc thi toán khó nhất thế giới.
Cuộc thi Putnam có 12 bài toán x 10 điểm. Điểm cao nhất năm ngoái là 90. Điểm trung vị? 0. Bộ chứng minh AI của Axiom trong Lean đã đạt 120/120 và vừa chia sẻ tất cả các giải pháp.
Một cột mốc lớn cho AI trong Toán học.
170
1/ AxiomProver đã đạt 12/12 của Putnam 2025. Hôm nay chúng tôi phát hành các chứng minh Lean mà AxiomProver tự động tạo ra.
Chúng tôi cũng cung cấp cách nhìn của mình về các bài toán, hình ảnh chứng minh, và so sánh cách mà con người và AI tiếp cận khác nhau. Rất nhiều toán học thú vị và Lean!
Những phát hiện của chúng tôi trong chủ đề.
287
từ Putnam (chứng minh định lý chính thức) đến phát hiện toán học de novo, hãy đến làm việc tuyệt vời với chúng tôi tại Axiom
12 thg 12, 2025
Các sinh viên hiện tại là thế hệ đầu tiên của các học giả có thể sử dụng các mô hình AI cho các nhiệm vụ nghiên cứu trừu tượng, có nội dung ở quy mô lớn.
Dự đoán của tôi về @a16zcrypto cho năm 2026, QED:
459
Hàng đầu
Thứ hạng
Yêu thích