L’IA peut-elle produire des preuves mathématiques fiables ?
Des mathématiciens de Cambridge, Oxford, Columbia et ETH Zurich s’inquiètent de la fiabilité des preuves mathématiques générées par l’IA.
intelligence artificielle
Corée du Sud : l’IA creuse un excédent commercial inattendu avec la Chine
La demande de puces IA propulse la Corée du Sud vers un excédent commercial inédit avec la Chine.
IA : Trump impose un examen des modèles avant leur diffusion
Donald Trump a signé un décret pour un examen volontaire des modèles d’IA avant leur diffusion.
Uber plafonne les dépenses d’IA après avoir dépassé son budget
Uber limite les dépenses d’IA de ses employés après un dépassement budgétaire rapide.
Un modèle d’IA résout un problème mathématique vieux de 80 ans
Un modèle d’IA d’OpenAI aurait résolu un problème mathématique complexe, insoluble pour les humains depuis 80 ans.
Un département français restreint l’usage des IA génératives
Le département d’Indre-et-Loire limite l’accès aux IA génératives pour ses agents, autorisant uniquement Copilot Chat.
L’IA, un levier d’expertise pour les petites entreprises
L’intelligence artificielle permet aux petites entreprises de gérer un large éventail de compétences, de la comptabilité au développement de produits, selon le MIT Technology Review.
IA : une entreprise dépense 500 millions de dollars en un mois pour Claude
Une entreprise aurait accidentellement dépensé 500 millions de dollars en un mois pour l’IA Claude, faute de contrôle.
Palantir : la puissance de l’IA au service de l’État britannique suscite des craintes
L’entreprise d’IA Palantir étend son influence au Royaume-Uni, suscitant des débats sur sa puissance.
Jensen Huang (Nvidia) : « Payer les employés au maximum »
Le PDG de Nvidia, Jensen Huang, estime que les employés doivent être payés « autant que possible » dans le contexte de l’essor de l’IA.