Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-2,34 %
USELESS
USELESS-5,8 %
IKUN
IKUN+0,83 %
gib
gib-1,31 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,82 %
ALON
ALON-0,86 %
LAUNCHCOIN
LAUNCHCOIN-3,8 %
GOONC
GOONC-3,12 %
KLED
KLED+1,15 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,4 %
Boopa
Boopa-4,25 %
PORK
PORK0,00 %
header
Axiom
Výchozí bod pro uvažování
Axiom
Axiom5. 3. 23:51
1/ UVOLŇUJÍCÍ OSA: Axiom Lean Engine ⚙️ Sloužíme naší základní infrastruktuře pro formální ověřování ve velkém měřítku. Jsou to stejné nástroje Lean metaprogramování, které stojí za AxiomProverem, pohánějící ho k vítězství v Putnamu a rozluštění výzkumných domněnek. Dostupné pro každého dnes!
2
Axiom
Axiom6. 2. 2026
1/ AxiomProver vyřešil Felovu otevřenou domněnku o syzygiích numerických semigrup, autonomně generoval formální důkaz v Lean s nulovým lidským vedením. Je to poprvé, co AI systém vyřešil nevyřešený výzkumný problém v matematice a samoověřování.
484
Axiom
Axiom27. 1. 2026
1/ S hrdostí oznamujeme Aarhus Math&AI Workshop, který sponzoruje a spolupořádá Axiom. Mezi řečníky jsou držitelé Fieldsovy medaile Terence Tao a Maryna Viazovska✨ Z Axiomu: Francois Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3 Uvidíme se v Dánsku! ❄️
612