AlphaProof Nexus de DeepMind résout 9 problèmes d'Erdős, dont deux ouverts depuis plus de 50 ans, avec preuves Lean
Les résultats sur 353 problèmes d'Erdős et 492 conjectures OEIS sont publics sur GitHub avec preuves vérifiées.
- Le Nasdaq recule de 2,9 % ; Intel vit sa pire séance depuis les années 1970 et les puces chutent
- S&P abaisse à négative la perspective de Meta en raison des dépenses d'investissement dans l'IA et d'un flux de trésorerie disponible négatif
- L'action Intel chute de 29 %, pire séance depuis les années 1970, amputant d'environ 12 milliards la participation de l'État américain
- Mistral publie les poids ouverts de Mistral Large 4, son modèle à 1 000 milliards de paramètres
- Le satellite Suncatcher de Google renvoie la première réponse d'IA d'un TPU de centre de données en orbite
- La FDA accorde une autorisation accélérée à Voceryq d'Inovio, première immunothérapie à ADN plasmidique aux États-Unis, contre la PRR de l'adulte
- Anthropic renomme Claude Max 20x en Ultra et supprime la limite de 5 heures pour les comptes Ultra vérifiés
- OpenAI réorganise sa Model Spec autour de cinq valeurs fondamentales