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/ 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.
82
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:
237
1/ Hipoteza Collatza przez prawie 90 lat stawiała matematyków w trudnej sytuacji. Paul Erdös powiedział: "matematyka nie jest jeszcze gotowa na takie problemy." 🧵
Więc przekazaliśmy to transformatorom. To, czego się nauczyli, zszokowało nas!
Nowe badania zespołu odkryć matematycznych Axiom, blog na żywo dzisiaj rano.
243
Najlepsze
Ranking
Ulubione