#mathematics
6 stories taggedmathematics.
Une IA vient de résoudre un problème difficile non résolu en mathématiques pures. Les mathématiciens sont secoués.
Le modèle Astra d'OpenAI a craqué une question de longue date en théorie des groupes ce mois-ci. Un mathématicien en activité explique pourquoi cela semblait impossible il y a quelques semaines à peine.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
L'IA d'OpenAI a résolu 10 problèmes mathématiques difficiles. Maintenant, les mathématiciens se demandent ce que valent leurs emplois.
Un nouveau modèle d'OpenAI a craqué des énigmes mathématiques vieilles d'une décennie qui ont déconcerté les chercheurs humains pendant des années. Les résultats sont impressionnants. Le différend sur le crédit autour de l'une d'elles est un avertissement sur la façon dont les laboratoires d'IA parlent des personnes dont ils s'appuient sur le travail.
Vérification ultra-rapide des preuves mathématiques : ce que signifie ce nouveau résultat pour l'authentification de données massives
Des chercheurs ont trouvé un moyen de vérifier des faits approximatifs concernant des ensembles de données énormes en utilisant seulement une infime portion des données, deux fois de suite. Voici pourquoi cela compte.