Adam, Adam, který je f.. k je Adam?

Tento článek je odvážným tvrzením! AlphaGo je okamžik pro objevování architektury modelu Výzkumníci představují ASI-Arch, první umělou superinteligenci pro výzkum umělé inteligence (ASI4AI), která umožňuje inovace plně automatizované neuronové architektury. Žádný vyhledávací prostor navržený lidmi. Žádný člověk ve smyčce. 🔍 Klíčové průlomy v ASI-Arch: - Autonomní generování kódu a školení - Bylo provedeno 1 773 experimentů (20K+ GPU hodin) - Objeveno 106 nových architektur lineární pozornosti SOTA - Odhalení zákona měřítka pro vědecké objevy

⏱️Umělá inteligence usnadňuje proces ověřování, protože modely ověřují důkazy během několika minut. 💻 Nyní @prfsanjeevarora, @chijinML, @danqi_chen a @PrincetonPLI vydaly Goedel Prover V2, model efektivnější a přesnější než jakýkoli předchozí model. 👉

Pokročilá verze Blíženců s Deep Think oficiálně dosáhla výkonu na úrovni zlaté medaile na Mezinárodní matematické olympiádě. 🥇 Řešil 5️⃣ z 6️⃣ výjimečně obtížných problémů, které zahrnovaly algebru, kombinatoriku, geometrii a teorii čísel. Zde je návod, jak 🧵 na to

BatchNorm vyhrává cenu Test-of-Time Award na #ICML2025! 🎉 BatchNorm způsobil revoluci v hlubokém učení tím, že řešil interní posun kovariátů, který může zpomalit učení, omezit rychlost učení a ztížit trénování hlubokých sítí. Normalizací vstupů v rámci každé minidávky BatchNorm výrazně stabilizoval a zrychlil školení. Umožnila vyšší rychlost učení, zlepšila tok gradientů a vydláždila cestu pro mnohem hlubší architektury, jako je ResNet. Kromě snížení interního posunu proměnných BatchNorm také vyhlazuje optimalizační prostředí a zlepšuje zobecnění modelu, což z něj činí základní kámen moderního trénování neuronových sítí. Velmi zaslouženě, @Sergey_xai a @ChrSzegedy!

#ICML2025 ocenění Test of Time

Nový @Scale_AI papír! 🌟 LLM trénovaní s RL mohou využít odměnové hacky, ale ve svém CoT to nezmíní. Zavádíme jemné doladění verbalizace (VFT) – učíme modely, aby řekly, kdy se jedná o hackování – dramaticky snižujeme míru neodhalených hackerských útoků (6 % oproti výchozímu stavu 88 %).

Chlápek vytvořil datovou sadu 50 knih z Londýna 1800-1850 pro školení LLM. Žádná moderní zaujatost. Je to vlastně super vidět co se na něm dá trénovat!

Par, expresivní, souběžný, totální* jazyk s lineárními typy a plnou dualitou. Na základě lineární logiky a typů relací má Par funkční i imperativní funkce, které se hladce integrují

Třešnička na dortu velikosti melounu :)