Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,41 %
USELESS
USELESS−1,77 %
IKUN
IKUN−4,71 %
gib
gib−3,53 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,84 %
ALON
ALON+4,84 %
LAUNCHCOIN
LAUNCHCOIN+4,25 %
GOONC
GOONC−3,02 %
KLED
KLED+9,34 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,31 %
Boopa
Boopa−1,65 %
PORK
PORK0,00 %
Axiom
Axiom
10. jan., 01:45·
1/ AxiomProver fikk 12/12 av Putnam 2025. I dag slipper vi Lean-bevisene som AxiomProver genererte autonomt. Vi gir også vårt syn på problemene, beviser visualiseringer og sammenligner hvordan mennesker versus AI nærmer seg forskjellig. Masse morsom matte og Lean! Våre funn i tråden.