Trending topics
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+17.23%
USELESS
USELESS+4.99%
IKUN
IKUN+11.15%
gib
gib-2.38%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0.41%
ALON
ALON-1.35%
LAUNCHCOIN
LAUNCHCOIN+1.95%
GOONC
GOONC+3.54%
KLED
KLED+9.92%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0.73%
Boopa
Boopa+2.08%
PORK
PORK0.00%
Axiom
Axiom
Jan 10, 01:45·
1/ AxiomProver got 12/12 of Putnam 2025. Today we release the Lean proofs AxiomProver generated autonomously. We also provide our take of the problems, proof visualizations, and compare how humans vs AI approach differently. Tons of fun math and Lean! Our findings in thread.