Recherche
Aucun téléphone et 7 articles pour « mathématiques »
IA
Terence Tao, médaillé Fields longtemps vu comme le guide des mathématiques à l'ère de l'IA, avertit désormais que l'intelligence artificielle pourrait démanteler le processus délibératif de la discipline, dans un portrait du New Yorker.
IA
OpenAI a publié des solutions générées par IA à trois grands problèmes mathématiques, dont une réfutation alléguée de l'hypothèse du temps exponentiel. Anthropic a ensuite publié la sienne, et les informaticiens tentent de comprendre ce que cela signifie.
IA
OpenAI a annoncé trois découvertes majeures en mathématiques, informatique et physique, dont une réfutation présumée de l'hypothèse du temps exponentiel. Cette fois, des experts externes encadrent la publication.
IA
Le médaillé Fields Richard Borcherds a cessé de noter les devoirs de ses étudiants après que l'IA les a aidés à décrocher des notes parfaites. Selon lui, les carrières en mathématiques ne sont plus à l'abri de l'automatisation.
IA
Seules 10 des 719 preuves mathématiques d'OpenAI incluaient une chaîne de raisonnement, et un nouvel article révèle des divergences entre les preuves en langage naturel et le code Lean.
IA
Scott Aaronson affirme que des laboratoires d'IA ont testé discrètement si leurs modèles peuvent casser des protocoles de chiffrement clés, une déclaration publiée avec les 372 résultats mathématiques d'OpenAI.