Intelligence artificielleNiveau d'alerte 2 sur 5 : À connaître
Preuves écrites par l'IA : OpenAI et Anthropic paient pour que les mathématiciens les vérifient
La Simons Foundation lance avec OpenAI et Anthropic un programme de 15 millions de dollars pour aider les chercheurs à contrôler les résultats produits par l'IA. Elle le fait en pleine querelle sur la « preuve » de Navier-Stokes.