Co můžu dělat s funkcí Objevujte
discoveryBanners
Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+4,99 %
USELESS
USELESS+8,67 %
IKUN
IKUN+6,25 %
gib
gib-6,79 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+5,75 %
ALON
ALON+6,24 %
LAUNCHCOIN
LAUNCHCOIN-8,41 %
GOONC
GOONC+2,32 %
KLED
KLED-5,67 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,51 %
Boopa
Boopa+6,3 %
PORK
PORK+2,87 %
header
clhong1248
clhong1248
clhong1248Před 18 h
Nejnovější aktualizace.
Axiom
AxiomPřed 18 h
Putnam, nejtěžší matematický test na vysoké škole na světě, skončil včera ve 16 hodin PT. Dnes v poledne AxiomProver autonomně vyřešil 9/12 úloh v Lean (včera 15:58 PT, bylo to 12.8.). Naše skóre by bylo #1 z ~4000 účastníků loni a Putnam Fellow (top 5) v posledních letech
11,8K
clhong1248
clhong1248Před 22 h
Putnam, nejtěžší matematická soutěž na světě pro bakaláře, skončila včera v 16:00 PT. Do 15:58 AxiomProver @axiommathai autonomně vyřešil 12. 8. Putnam2025 v Lean, což je 100% ověřitelný jazyk. Loni by naše skóre bylo #4 z ~4000 a Putnam Fellow (top 10 za poslední roky)
233K
clhong1248
clhong12485. 12. 01:11
Je krásné vyrůst ze studenta ve spolupracovníka. Sir Hardy Ramanujanovi. Profesor Ono pro mě. A nyní se skupina nejchytřejších matematiků z Axiomu @axiommathai naší AI. Rovnice Thue, se kterými jsme pracovali, jsou na tabuli. Náš článek byl příkladem tradičního výpočtu pomáhajícího objevům modulárních forem, eliptických křivek a K3 povrchů.
105,03K