1:50bis Mitternacht
DE ▾
Lead illustration from Axiom's announcement of its Lean formalization of the Stacks Project
Axiom
Neu Bestätigt Wissenschaft & Mathematik

Axiom veröffentlicht eine Lean-Formalisierung des gesamten Stacks Project, rund 16 Millionen Zeilen aus KI-Agentenschwärmen

Das rund 7.500 Seiten starke Referenzwerk der algebraischen Geometrie ist nun eine maschinell geprüfte Bibliothek; externe Mathematiker haben die Treue der Aussagen noch nicht geprüft.

SNAPE REP RT
Ausgabe 2026-11-04T1804. Nov., 18:00 UTCDie Singularität, stündlich gewichtet.
1:50bis Mitternacht
File photo of Tencent's Binhai Mansion headquarters towers in Shenzhen
Wishva de Silva / Wikimedia Commons (CC BY-SA 4.0)

Tencent veröffentlicht Hy4 und ergänzt sein Open-Weight-Spitzenmodell um visuelles Schlussfolgern

Tencent nennt Hy4 eines der stärksten Open-Weight-Modelle, räumt aber ein, dass es bei Mathematik auf Forschungsniveau, langfristigem Programmieren und anspruchsvollen visuellen Fragen hinter führenden geschlossenen Systemen liegt.

Archiv · Ausgaben der letzten 30 Tage
Do., 29. Oktober 202612:00
Mi., 28. Oktober 202612:00
Di., 27. Oktober 202612:00
Mo., 26. Oktober 202612:00
So., 25. Oktober 202612:00
Sa., 24. Oktober 202612:00
Fr., 23. Oktober 202612:00
Do., 22. Oktober 202612:00
Mi., 21. Oktober 202612:00
Di., 20. Oktober 202612:00
Mo., 19. Oktober 202612:00
So., 18. Oktober 202612:00
Sa., 17. Oktober 202612:00
Fr., 16. Oktober 202612:00
Do., 15. Oktober 202612:00
Mi., 14. Oktober 202612:00
Di., 13. Oktober 202612:00
Mo., 12. Oktober 202612:00
So., 11. Oktober 202612:00
Sa., 10. Oktober 202612:00
Fr., 09. Oktober 202612:00
Do., 08. Oktober 202612:00
Mi., 07. Oktober 202612:00
Di., 06. Oktober 202612:00
Kostenlos. Kein Konto, kein Tracking.Spenden