Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,51%
USELESS
USELESS-2,29%
IKUN
IKUN-4,71%
gib
gib-3,53%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,37%
ALON
ALON+5,08%
LAUNCHCOIN
LAUNCHCOIN+6,55%
GOONC
GOONC-3,02%
KLED
KLED+12%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,31%
Boopa
Boopa-4,34%
PORK
PORK0,00%
Axiom
Axiom
01:45 10 thg 1·
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ủ đề.