Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−3,15 %
USELESS
USELESS+0,8 %
IKUN
IKUN+4,18 %
gib
gib−1,19 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−1,17 %
ALON
ALON−12,29 %
LAUNCHCOIN
LAUNCHCOIN−12,39 %
GOONC
GOONC−0,12 %
KLED
KLED−11,21 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,19 %
Boopa
Boopa+0,04 %
PORK
PORK−0,96 %
header
Axiom
Axiom
Axiom12. jan., 03:55
I løpet av 98 år av Putnam-konkurransens historie (siden 1927) har det kun vært 5 perfekte poeng. AxiomProver fikk 120/120. Vi hyller elevene som deltar på eksamen, og ser frem til å se flere imponerende menneskelige prefekt-poenggivere!
Deedy
Deedy11. jan., 01:49
AI oppnådde nettopp full pott i verdens vanskeligste mattekonkurranse. Putnam har 12 oppgaver x 10 poeng. Den høyeste poengsummen i fjor var 90. Medianen? 0. Axioms AI-beviser i Lean fikk 120/120 og delte bare alle løsningene. En stor milepæl for AI i matematikk.
117
Axiom
Axiom10. 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.
273
Axiom
Axiom12. des. 2025
fra Putnam (formell teorembevising) til de novo matematisk oppdagelse, kom og gjør stort arbeid med oss hos Axiom
Scott Kominers
Scott Kominers12. des. 2025
Nåværende studenter er den første generasjonen forskere som vil kunne bruke AI-modeller til substansielle, abstrakte forskningsoppgaver i stor skala. Mitt @a16zcrypto utsikter for 2026, QED:
445