Tôi có thể làm gì với Khám phá
discoveryBanners
Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,34%
USELESS
USELESS+8,41%
IKUN
IKUN+1,26%
gib
gib+1,16%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+5,08%
ALON
ALON+0,98%
LAUNCHCOIN
LAUNCHCOIN+14,85%
GOONC
GOONC-1,39%
KLED
KLED-9,18%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,21%
Boopa
Boopa+3,12%
PORK
PORK+2,87%
clhong1248
clhong1248
00:54 8 thg 12·
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)