Adam, Adam, care f.. k este Adam?

Această lucrare face o afirmație îndrăzneață! Momentul AlphaGo pentru descoperirea arhitecturii modelului Cercetătorii introduc ASI-Arch, prima superinteligență artificială pentru cercetarea AI (ASI4AI), permițând inovarea arhitecturii neuronale complet automatizate. Fără spațiu de căutare proiectat de om. Niciun om în buclă. 🔍 Principalele descoperiri ale ASI-Arch: - Generarea și instruirea autonomă a codului - 1.773 de experimente efectuate (20K+ ore GPU) - 106 noi arhitecturi de atenție liniară SOTA descoperite - A dezvăluit o lege de scalare pentru descoperirea științifică

⏱️AI ușurează procesul de verificare, modelele verificând dovezile în câteva minute. 💻 Acum, @prfsanjeevarora, @chijinML, @danqi_chen și @PrincetonPLI au lansat Goedel Prover V2, un model mai eficient și mai precis decât orice model anterior. 👉

O versiune avansată a Gemenilor cu gândire profundă a obținut oficial o performanță la nivel de medalie de aur la Olimpiada Internațională de Matematică. 🥇 A rezolvat 5️⃣ din ⃣ probleme excepțional de 6️dificile, implicând algebră, combinatorică, geometrie și teoria numerelor. Iată cum 🧵

BatchNorm câștigă premiul Test-of-Time la #ICML2025! 🎉 BatchNorm a revoluționat învățarea profundă prin abordarea schimbării covariabilelor interne, care poate încetini învățarea, limitează ratele de învățare și îngreunează antrenarea rețelelor profunde. Prin normalizarea intrărilor din fiecare mini-lot, BatchNorm a stabilizat și accelerat semnificativ antrenamentul. A permis rate de învățare mai mari, a îmbunătățit fluxul de gradient și a deschis calea pentru arhitecturi mult mai profunde, cum ar fi ResNet. Dincolo de reducerea schimbării covariabilelor interne, BatchNorm netezește peisajul de optimizare și îmbunătățește generalizarea modelului, făcându-l o piatră de temelie a antrenamentului modern al rețelelor neuronale. Foarte bine meritat, @Sergey_xai și @ChrSzegedy!

#ICML2025 testul de acordare a timpului

O nouă hârtie @Scale_AI! 🌟 LLM-urile antrenate cu RL pot exploata hack-urile de recompensă, dar nu menționează acest lucru în CoT. Introducem reglarea fină a verbalizării (VFT) – învățarea modelelor să spună când recompensează hackingul – reducând dramatic rata de hacking nedetectat (6% față de 88%).

un tip a creat un set de date de 50 de cărți din Londra 1800-1850 pentru pregătirea LLM. fără prejudecăți moderne. De fapt, este super tare să vezi ce poate fi antrenat pe el!

Par, un limbaj expresiv, concurent, total* cu tipuri liniare și dualitate deplină. Bazat pe logica liniară și tipurile de sesiune, Par are atât caracteristici funcționale, cât și imperative care se integrează perfect

O cireașă de mărimea unui pepene galben deasupra :)