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.
clhong1248
Cập nhật gần đây nhất.
04:39 8 thg 12
Kỳ thi toán học cấp đại học khó nhất thế giới, Putnam, đã kết thúc vào ngày hôm qua lúc 4 giờ chiều theo giờ PT.
Vào trưa hôm nay, AxiomProver đã tự động giải được 9/12 bài toán trong Lean (lúc 3:58 chiều theo giờ PT hôm qua, nó đã giải được 8/12).
Điểm số của chúng tôi sẽ là #1 trong khoảng 4000 người tham gia năm ngoái và là Putnam Fellow (top 5) trong những năm gần đây.
13,83K
Cuộc thi toán học đại học khó nhất thế giới, Putnam, đã kết thúc vào lúc 4 giờ chiều PT hôm qua.
Vào lúc 3:58 chiều, AxiomProver @axiommathai đã tự động giải được 8/12 bài của Putnam2025 bằng Lean, một ngôn ngữ có thể xác minh 100%.
Năm ngoái, điểm số của chúng tôi sẽ là #4 trong khoảng ~4000 và là một Putnam Fellow (top 10 trong những năm gần đây)
277,28K
Có vẻ đẹp trong việc phát triển sinh viên của bạn thành cộng tác viên của bạn.
Ngài Hardy nói với Ramanujan.
Giáo sư Ono nói với tôi.
Và bây giờ, một nhóm những nhà toán học sáng giá nhất tại Axiom @axiommathai đến với AI của chúng tôi.
Các phương trình Thue mà chúng tôi đã làm việc cùng đang trên bảng. Bài báo của chúng tôi là một ví dụ về việc tính toán truyền thống hỗ trợ các phát hiện về các dạng mô-đun, đường elliptic và bề mặt K3.
105,07K
Hàng đầu
Thứ hạng
Yêu thích