Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,95%
USELESS
USELESS-5,72%
IKUN
IKUN-5,81%
gib
gib-3,89%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,12%
ALON
ALON-1,79%
LAUNCHCOIN
LAUNCHCOIN+16,25%
GOONC
GOONC-3,57%
KLED
KLED+6,92%
#
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 sty, 01:45·
1/ AxiomProver zdobył 12/12 w Putnam 2025. Dziś publikujemy dowody Lean, które AxiomProver wygenerował autonomicznie. Dostarczamy również nasze spojrzenie na problemy, wizualizacje dowodów i porównujemy, jak ludzie i AI podchodzą do nich inaczej. Mnóstwo zabawnej matematyki i Leana! Nasze odkrycia w wątku.