Subiecte populare
#
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 a primit 12/12 din Putnam 2025. Astăzi lansăm demonstrațiile Lean generate autonom de AxiomProver.
De asemenea, oferim perspectiva noastră asupra problemelor, demonstrăm vizualizări și comparăm modul în care abordarea diferită a oamenilor față de AI. O mulțime de matematică distractivă și Lean!
Concluziile noastre din firul de discuție.
81
de la Putnam (demonstrarea teoremei formale) până la descoperiri matematice de novo, vino să faci o treabă excelentă cu noi la Axiom
12 dec. 2025
Studenții actuali reprezintă prima generație de cercetători care vor putea folosi modele AI pentru sarcini de cercetare substanțiale, abstracte, la scară largă.
Perspectiva mea @a16zcrypto pentru 2026, QED:
236
1/ Conjectura Collatz i-a umilit pe matematicieni aproape 90 de ani. Paul Erdös a spus: "matematica nu este încă pregătită pentru astfel de probleme." 🧵
Așa că am dat-o transformerilor. Ce au aflat ne-a lăsat fără cuvinte!
Cercetări noi de la echipa de descoperire matematică a Axiom, blog live în această dimineață.
242
Limită superioară
Clasament
Favorite