Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,12 %
USELESS
USELESS−5,78 %
IKUN
IKUN−5,81 %
gib
gib−3,89 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−0,22 %
ALON
ALON−1,79 %
LAUNCHCOIN
LAUNCHCOIN+16,25 %
GOONC
GOONC−3,57 %
KLED
KLED+6,89 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+2,5 %
Boopa
Boopa−1,78 %
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.