Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+10,79 %
USELESS
USELESS+7,11 %
IKUN
IKUN+7,41 %
gib
gib+15,52 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+3,75 %
ALON
ALON-10,33 %
LAUNCHCOIN
LAUNCHCOIN+0,92 %
GOONC
GOONC+3,77 %
KLED
KLED-2,23 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,55 %
Boopa
Boopa-1,16 %
PORK
PORK-1,7 %
header
Axiom
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 právě dosáhla perfektního skóre v nejtěžší matematické soutěži na světě. Putnam má 12 úloh x 10 bodů. Nejvyšší skóre loni bylo 90. Střed? 0. AI dokazovač Axiomu v Lean získal skóre 120/120 a jen sdílel všechna řešení. Obrovský milník pro AI v matematice.
188
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ě.
301
Axiom
Axiom12. 12. 2025
od Putnama (důkaz formální věty) až po de novo matematický objev, přijďte dělat skvělou práci s námi v Axiomu
Scott Kominers
Scott Kominers12. 12. 2025
Současní studenti jsou první generací vědců, kteří budou schopni využívat AI modely pro podstatné, abstraktní výzkumné úkoly ve velkém měřítku. Můj @a16zcrypto výhled na rok 2026, QED:
474