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
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.
42
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.
219
od Putnama (formalne dowodzenie twierdzeń) do de novo odkrywania matematycznego, przyjdź i rób z nami wspaniałą pracę w Axiom
12 gru 2025
Obecni studenci są pierwszym pokoleniem naukowców, którzy będą mogli korzystać z modeli AI do istotnych, abstrakcyjnych zadań badawczych na dużą skalę.
Moje prognozy @a16zcrypto na 2026 rok, QED:
390
Najlepsze
Ranking
Ulubione