Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+10,38 %
USELESS
USELESS−3,13 %
IKUN
IKUN+2,89 %
gib
gib−3,32 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−0,19 %
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 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.
87
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:
242
Axiom
Axiom11. des. 2025
1/ Collatz-formodningen har ydmyket matematikere i nesten 90 år. Paul Erdös sa at «matematikken ennå ikke er klar for slike problemer.» 🧵 Så vi ga den til Transformers. Det de lærte sjokkerte oss! Ny forskning fra Axioms matematikkoppdagelsesteam, blogg live i dag tidlig.
248