Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Axiom
1/ Z radością ogłaszamy Warsztaty Matematyki i AI w Aarhus, sponsorowane i współorganizowane przez Axiom.
Wśród prelegentów znajdują się laureaci Medalu Fieldsa: Terence Tao i Maryna Viazovska✨
Z Axiom: Francois Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3
Do zobaczenia w Danii! ❄️
75
W ciągu ponad 98-letniej historii konkursu Putnama (od 1927 roku) tylko 5 osób uzyskało doskonałe wyniki.
AxiomProver zdobył 120/120.
Składamy hołd uczniom biorącym udział w egzaminie i czekamy na więcej imponujących ludzkich zdobywców doskonałych wyników!
11 sty, 01:49
AI właśnie osiągnęło doskonały wynik w najtrudniejszym konkursie matematycznym na świecie.
Putnam ma 12 zadań x 10 punktów. Najwyższy wynik w zeszłym roku wyniósł 90. Mediana? 0. Dowódca AI Axioma w Lean zdobył 120/120 i właśnie podzielił się wszystkimi rozwiązaniami.
Ogromny kamień milowy dla AI w matematyce.
473
1/ AxiomProver zdobył 12/12 w Putnam 2025. Dziś publikujemy dowody Lean, które AxiomProver wygenerował autonomicznie.
Dostarczamy również nasze spojrzenie na problemy, wizualizacje dowodów i porównujemy, jak ludzie i AI podchodzą do nich inaczej. Mnóstwo zabawnej matematyki i Leana!
Nasze odkrycia w wątku.
538
Najlepsze
Ranking
Ulubione