Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+10,59 %
USELESS
USELESS-3,38 %
IKUN
IKUN+2,89 %
gib
gib-3,32 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,43 %
ALON
ALON-2,04 %
LAUNCHCOIN
LAUNCHCOIN+3,08 %
GOONC
GOONC-2,3 %
KLED
KLED+8,69 %
#
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. 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ě.
84
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:
239
Axiom
Axiom11. 12. 2025
1/ Collatzova domněnka pokorně ukládá matematikům téměř 90 let. Paul Erdös řekl: "Matematika ještě není připravena na takové problémy." 🧵 Tak jsme to předali transformerům. To, co zjistili, nás ohromilo! Nový výzkum od týmu Axiom pro matematické objevování, dnes ráno živě blogujte.
245