L'IA vient de remporter l'or aux Olympiades Internationales de MathĂ©matiques đ„
Les modÚles d'OpenAI et de Google ont résolu 5/6 problÚmes en utilisant des LLMs à usage général sous des rÚgles d'examen réelles.
L'Ăšre de l'AGI pour les mathĂ©matiques formelles a commencĂ© đ
Gagner de l'or signifie obtenir 35/42. C'est un niveau atteint par seulement une poignée d'élÚves du secondaire d'élite dans le monde.
Les modĂšles d'OpenAI et de Google atteignent cet objectif.
Pas de calculatrices. Pas de recherche. Juste un raisonnement en langage naturel.
Le Gemini 2.5 de Google a utilisé le mode "Deep Think" :
- A exploré des solutions en parallÚle
- A été formé sur des stratégies de preuve et des corpus mathématiques
- A utilisé l'apprentissage par renforcement sur des tùches de raisonnement à plusieurs étapes
Ses preuves étaient si bien élaborées que les correcteurs de l'IMO les ont qualifiées de publiables.
Le modÚle d'OpenAI n'a pas été entraßné pour l'IMO.
Il a utilisé :
- Techniques générales d'apprentissage par renforcement
- Pas d'internet ni d'outils
- Preuves en langage naturel
OpenAI a fait évaluer chaque preuve de maniÚre indépendante par 3 anciens médaillés de l'IMO, avec un consensus unanime.
Le modĂšle savait mĂȘme quand il n'avait pas de rĂ©ponse valide pour P6... montrant ses compĂ©tences en raisonnement, vĂ©rification des erreurs et auto-conscience.
Nous croyons que l'impact le plus important de l'IA pourrait résider dans les mathématiques.
Pourquoi ? Parce que les mathématiques alimentent tout, de la logique DeFi à la sécurité des protocoles, et elles sont vérifiables.
Des IA qui raisonnent comme des lauréats de la Médaille Fields redéfiniront notre maniÚre de construire.
Dans les années à venir, nous nous attendons à ce que l'IA :
⹠Perfectionne les mathématiques de niveau lycée et universitaire (IMO, Putnam)
⹠Résolve des problÚmes de recherche avancés
⹠Contribue à des preuves formalisées de théorÚmes fondamentaux
âą Ălargisse les mathĂ©matiques collaboratives et dĂ©centralisĂ©es
Nous voyons un avenir oĂč les mathĂ©matiques ne sont pas seulement automatisĂ©es, mais dĂ©mocratisĂ©es, sans confiance et composables. đ
3,23Â k
72
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX nâest pas lâauteur du ou des articles citĂ©s et ne revendique aucun droit dâauteur sur le contenu. Le contenu est fourni Ă titre dâinformation uniquement et ne reprĂ©sente pas les opinions dâOKX. Il ne sâagit pas dâune approbation de quelque nature que ce soit et ne doit pas ĂȘtre considĂ©rĂ© comme un conseil en investissement ou une sollicitation dâachat ou de vente dâactifs numĂ©riques. Dans la mesure oĂč lâIA gĂ©nĂ©rative est utilisĂ©e pour fournir des rĂ©sumĂ©s ou dâautres informations, ce contenu gĂ©nĂ©rĂ© par IA peut ĂȘtre inexact ou incohĂ©rent. Veuillez lire lâarticle associĂ© pour obtenir davantage de dĂ©tails et dâinformations. OKX nâest pas responsable du contenu hĂ©bergĂ© sur des sites tiers. La dĂ©tention dâactifs numĂ©riques, y compris les stablecoins et les NFT, implique un niveau de risque Ă©levĂ© et leur valeur peut considĂ©rablement fluctuer. Examinez soigneusement votre situation financiĂšre pour dĂ©terminer si le trading ou la dĂ©tention dâactifs numĂ©riques vous convient.