Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−11,56 %
USELESS
USELESS−6,02 %
IKUN
IKUN−12,86 %
gib
gib−2,34 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−1,04 %
ALON
ALON+5,83 %
LAUNCHCOIN
LAUNCHCOIN−20,05 %
GOONC
GOONC+1 %
KLED
KLED+10,97 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,09 %
Boopa
Boopa−2,89 %
PORK
PORK−4,43 %
header
Axiom
Axiom
Axiom12 jan. 03:55
Under 98 år av Putnam-tävlingens historia (sedan 1927) har det bara funnits 5 perfekta poäng. AxiomProver fick 120/120. Vi hyllar de elever som deltar i provet och ser fram emot att se fler imponerande mänskliga prefekt-poängsättare!
Deedy
Deedy11 jan. 01:49
AI har precis uppnått full pott på världens svåraste mattetävling. Putnam har 12 problem x 10 poäng. Den högsta poängen förra året var 90. Medianen? 0. Axioms AI-prover i Lean fick 120/120 och delade bara alla lösningar. En enorm milstolpe för AI inom matematik.
306
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.
374
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:
541