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.
Chargement…
Recherche
Aucun téléphone et 3 articles pour « mathematics »
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.