Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+10,6 %
USELESS
USELESS−3,55 %
IKUN
IKUN+2,89 %
gib
gib−3,32 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−0,1 %
ALON
ALON−2,04 %
LAUNCHCOIN
LAUNCHCOIN+3,08 %
GOONC
GOONC−2,3 %
KLED
KLED+7,64 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,15 %
Boopa
Boopa−1,76 %
PORK
PORK0,00 %
header
Axiom
Axiom
Axiom10 jan. 01:45
1/ AxiomProver fick 12/12 av Putnam 2025. Idag släpper vi Lean-bevisen som AxiomProver genererar autonomt. Vi ger också vår syn på problemen, bevisar visualiseringar och jämför hur människor kontra AI närmar sig olika. Massor av rolig matte och Lean! Våra resultat i tråden.
85
Axiom
Axiom12 dec. 2025
från Putnam (formell satsbevisning) till de novo matematisk upptäckt, kom och gör ett fantastiskt arbete med oss på Axiom
Scott Kominers
Scott Kominers12 dec. 2025
Nuvarande studenter är den första generationen forskare som kommer att kunna använda AI-modeller för substantiella, abstrakta forskningsuppgifter i stor skala. Min @a16zcrypto utsikt för 2026, QED:
240
Axiom
Axiom11 dec. 2025
1/ Collatz-förmodan har ödmjukat matematiker i nästan 90 år. Paul Erdös sade att "matematiken ännu inte är redo för sådana problem." 🧵 Så vi lämnade över den till Transformers. Det de lärde sig chockade oss! Ny forskning från Axioms matematikupptäcktsteam, blogga live i morse.
246