Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,34 %
USELESS
USELESS-6,63 %
IKUN
IKUN-15,35 %
gib
gib+29,4 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,66 %
ALON
ALON-12,92 %
LAUNCHCOIN
LAUNCHCOIN-3,81 %
GOONC
GOONC-9,69 %
KLED
KLED-8,14 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-2,84 %
Boopa
Boopa-12,91 %
PORK
PORK0,00 %
header
Axiom
Axiom
Axiom27. 1. 02:39
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! ❄️
73
Axiom
Axiom12. 1. 03:55
Za více než 98 let historie soutěže Putnam (od roku 1927) bylo dosaženo pouze 5 perfektních výsledků. AxiomProver získal 120/120. Vzdáváme hold studentům, kteří se zkoušky účastní, a těšíme se, že uvidíme další působivé výsledky lidských prefektů!
Deedy
Deedy11. 1. 01:49
AI just achieved a perfect score on the hardest math competition in the world. The Putnam has 12 problems x 10 points. The highest score last year was 90. The median? 0. Axiom's AI prover in Lean scored 120/120 and just shared all the solutions. Huge milestone for AI in Math.
471
Axiom
Axiom10. 1. 01:45
1/ AxiomProver získal 12.12. Putnam 2025. Dnes zveřejňujeme štíhlé důkazy, které AxiomProver generoval autonomně. Také poskytujeme náš pohled na problémy, vizualizace důkazů a porovnáváme, jak lidé versus AI přistupují odlišně. Spousta zábavné matematiky a Lean! Naše zjištění v vlákně.
536