#mathematics

Les chercheurs d’OpenAI Sebastian Bubeck et Ernest Ryu estiment que les mathématiques sont devenues un repère crucial pour l’IA, car elles exigent de longues chaînes de raisonnement correct, de correction d’erreurs et de résultats vérifiables.

Un nouvel outil mathématique pourrait offrir aux chercheurs une méthode plus პრაქტique pour distinguer des nœuds complexes, un défi de longue date en topologie et dans les sciences connexes.

After a breakout year of progress, artificial intelligence is moving from math competitions into frontline research, helping mathematicians generate conjectures, test ideas, and prove new results faster.

Researchers reported an AI approach inspired by the logic of Rubik’s Cube solving that can simplify particle physics equations, linking a familiar puzzle strategy to a difficult mathematical problem in high-energy theory

After decades of stalled progress, researchers believe new mathematical tools are beginning to explain how the force that binds atomic nuclei together produces the massive particles that make up visible matter.

Axiom Math, une startup financée par 64 millions de dollars dirigée par un décrocheur de Stanford âgé de 24 ans, a lancé Axplorer — un outil d'IA gratuit qui reproduit sur un Mac Pro ce qui nécessitait auparavant un superordinateur fonctionnant pendant trois semaines.

Artificial intelligence is reshaping how mathematicians discover proofs and explore conjectures, triggering what experts call the biggest shift in the field's history.