L'alphageométrie de Deepmind2 dépasse les Olympiades mathématiques

Vous vous souvenez de ces jours d'Olympiade de mathématiques exténuants? Beaucoup d'entre nous se souviennent de regarder des problèmes de géométrie complexes, ont dérouté et se demandant si des solutions existaient même. Alors que certains ont eu du mal à dessiner un cercle parfait, quelques privilégiés ont excellé, remportant des médailles. Préparez-vous à être étonné (ou peut-être découragé): même les champions des Olympiades de mathématiques sont désormais dépassés par une IA! Alphageométrie2 de DeepMind (AG2) résout ces puzzles complexes avec une plus grande précision que les experts humains.

Présentation de l'alphageométrie2: un prodige mathématique

Alphageométrie2 est le meilleur étudiant, ce qui fait que tout le monde semble moyen. Une mise à niveau de Alphageométrie1, il tire parti de l'architecture des Gémeaux - un cerveau mathématique spécialisé formé sur d'innombrables problèmes de géométrie. Alors que son prédécesseur a atteint un taux de réussite respectable de 54% sur les problèmes de géométrie de l'OMI (2000-2024), AG2 dépasse considérablement cela. Il résout 42 problèmes sur 50 en OMI - un taux de réussite impressionnant de 84%, surpassant même les médaillés d'or typiques qui en moyenne environ 41 réponses correctes.

mais ce n'est pas tout! Pour tester davantage ses capacités, les chercheurs ont présenté à AG2 30 problèmes exceptionnellement difficiles - jugés trop difficiles pour l'OMI par des mathématiciens experts. AG2 a résolu 20! Cela s'apparente à un examen considéré comme trop dur même pour les instructeurs.

Avez-vous entendu que le PDG de Nvidia a récemment suggéré que tout le monde devrait avoir un tuteur AI pour UPSkilling? Lisez l'histoire complète ici - 8 prédictions futures de Jensen Huang qui ressemblent à la science-fiction.

Les secrets derrière les prouesses mathématiques d'Ag2

Les capacités exceptionnelles de l'AG2 découlent de plusieurs progrès clés:

Traitement et compréhension du langage améliorés

• AG2 possède des compétences en langue géométrique avancées, englobant tout, de la manipulation ponctuelle aux équations complexes.
• Il gère les problèmes de locus, les équations linéaires, les angles, les distances et les rapports avec facilité.
• Il utilise des "prédicats" spécialisés - des superpuissances essentiellement géométriques - pour décrire les fonctionnalités et les actions.
• Le modèle basé sur les Gémeaux fournit une compréhension inégalée du langage mathématique.

Un puissant moteur de résolution de problèmes

• Son moteur symbolique, optimisé en C, est nettement plus rapide et plus efficace.
• Il prouve les théorèmes et vérifie les faits géométriques avec plus de vitesse et de précision.
• Il apprend d'un ensemble de données de données étendu de données de formation synthétique - essentiellement tous les problèmes de géométrie jamais conçus.
• Il utilise simultanément plusieurs stratégies de résolution de problèmes, imitant une équipe de génies mathématiques.

Automatisation intelligente

• Il traduit automatiquement les problèmes du langage clair dans sa langue géométrique spécialisée.
• Il génère des diagrammes utiles illustrant les points, les lignes et les cercles.
• Il partage des informations entre les différents chemins de solution, optimisant le processus global.
• Il s'entraîne sur un ensemble de données beaucoup plus diversifié, améliorant sa flexibilité et son adaptabilité.

LIRE AUSSI: les «hacks» O1-Preview d'Openai pour gagner - les LLMS avancés sont-ils vraiment fiables?

Les implications futures

AG2 représente un saut monumental en avant dans la capacité de l'IA de raisonnement mathématique complexe. Il comprend non seulement les problèmes mais les résout plus efficacement que les experts humains. Les implications sont d'une grande portée - de la révolution de l'éducation mathématique à potentiellement découvrir de nouveaux théorèmes mathématiques.

Des recherches supplémentaires peuvent permettre à AG2 et des systèmes similaires de résoudre des problèmes mathématiques encore plus difficiles. Bien que la génération indépendante de l'épreuve naturelle reste un objectif futur, nous y approchons régulièrement. Imaginez consulter un tuteur IA pour les explications de géométrie qui ont réellement du sens!

Le succès de Alphageométrie2 transcende simplement les champions humains; Il repousse les limites du raisonnement mathématique. Peut-être que cela rendra même la géométrie agréable pour les futurs étudiants!

Ne parlez pas à votre professeur de mathématiques - ils pourraient vous faire rivaliser avec AG2 lors de votre prochain test! ?

Restez informé des derniers développements de l'IA avec Analytics Vidhya News!

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!