1:50avant minuit
FR ▾
Lead illustration from Axiom's announcement of its Lean formalization of the Stacks Project
Axiom
Nouveau Confirmé Science et maths

Axiom publie une formalisation en Lean de tout le Stacks Project, environ 16 millions de lignes produites par des essaims d'agents IA

La référence de géométrie algébrique d'environ 7 500 pages devient une bibliothèque unique vérifiée par machine ; des mathématiciens extérieurs n'ont pas encore jugé la fidélité des énoncés.

SNAPE REP RT
Édition 2026-11-04T1804 nov., 18:00 UTCLa singularité, classée chaque heure.
1:50avant minuit
File photo of Tencent's Binhai Mansion headquarters towers in Shenzhen
Wishva de Silva / Wikimedia Commons (CC BY-SA 4.0)

Tencent publie Hy4 et ajoute le raisonnement visuel à son modèle phare à poids ouverts

Tencent présente Hy4 comme l'un des modèles à poids ouverts les plus puissants, tout en reconnaissant qu'il reste derrière les meilleurs systèmes fermés en mathématiques de recherche, code à long horizon et questions visuelles avancées.

File photo of the Texas State Capitol in Austin
LoneStarMike / Wikimedia Commons (CC BY 3.0)

La démocrate Gina Hinojosa remporte le poste de gouverneur du Texas après avoir promis un moratoire sur les nouveaux centres de données

Le Texas représente plus de 25 % de la capacité de centres de données prévue aux États-Unis d'ici 2030 ; dans la nuit, CoreWeave a perdu 7 % et SpaceX 6 % sur Robinhood, et les contrats à terme sur le Nasdaq-100 reculaient de 0,8 %.

Archives · Éditions des 30 derniers jours
jeu. 29 octobre 202612:00
mer. 28 octobre 202612:00
mar. 27 octobre 202612:00
lun. 26 octobre 202612:00
dim. 25 octobre 202612:00
sam. 24 octobre 202612:00
ven. 23 octobre 202612:00
jeu. 22 octobre 202612:00
mer. 21 octobre 202612:00
mar. 20 octobre 202612:00
lun. 19 octobre 202612:00
dim. 18 octobre 202612:00
sam. 17 octobre 202612:00
ven. 16 octobre 202612:00
jeu. 15 octobre 202612:00
mer. 14 octobre 202612:00
mar. 13 octobre 202612:00
lun. 12 octobre 202612:00
dim. 11 octobre 202612:00
sam. 10 octobre 202612:00
ven. 09 octobre 202612:00
jeu. 08 octobre 202612:00
mer. 07 octobre 202612:00
mar. 06 octobre 202612:00
Gratuit. Sans compte, sans pistage.Faire un don