Table des matières
L'IA prouve que la géométrie dessine également des lignes auxiliaires
One More Thing
Maison Périphériques technologiques IA Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjun's 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjun's 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

Jan 18, 2024 pm 06:18 PM
人工智能 谷歌 mathématiques IA

Google DeepMind publie à nouveau Nature, l'IA de la série Alpha revient et le niveau de mathématiques s'améliore à pas de géant.

AlphaGeometry, pas besoin de démonstration humaine pour atteindre le niveau de géométrie des joueurs médaillés d'or de l'OMI.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

C'est comme quand AlphaZero apprenait le Go sans connaissance humaine "Maîtriser le jeu de Go sans connaissance humaine".

AlphaGeometry a obtenu 25 des 30 théorèmes géométriques de difficulté de l'OMI prouvant que les questions sont correctes, tandis que le joueur médaillé d'or humain moyen a obtenu 25,9 correctement. De plus, la méthode SOTA précédente (méthode Wu Wenjun en 1978) ne pouvait obtenir que 10 bonnes réponses.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

Médaillé d'or de l'IMO Evan Chen(Evan Chen) était chargé d'évaluer les réponses générées par l'IA. Il a commenté :

Le résultat d'AlphaGeometry est impressionnant, à la fois fiable et propre. Les solutions d’IA précédentes ont été aléatoires, ce qui a donné lieu à des résultats qui nécessitaient parfois une révision manuelle.

Les solutions d'AlphaGeometry ont une structure vérifiable qui peut être vérifiée à la fois par les machines et comprise par les humains. Il utilise les règles de géométrie classiques comme les angles et les triangles similaires, tout comme les étudiants.

En plus des résultats exceptionnels, trois points clés de cette étude ont attiré l'attention de l'industrie :

  • Aucune démonstration humaine n'est requise, c'est-à-dire que seule la formation des données synthétiques de l'IA est utilisée. , poursuivant la méthode d'auto-apprentissage Go d'AlphaZero.
  • Grand modèle combiné avec d'autres méthodes d'IA, similaire aux rumeurs AlphaGo et OpenAI Q*.
  • Contrairement à de nombreuses méthodes précédentes, AlphaGeometry peut générer des processus de preuve lisibles par l'homme, et le modèle et le code sont open source.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

L'équipe estime qu'AlphaGeometry fournit un cadre potentiel pour atteindre des capacités de raisonnement avancées et découvrir de nouvelles connaissances.

Cela pourrait contribuer à faire progresser la démonstration de théorèmes en intelligence artificielle, considérée comme une étape clé dans la construction de l'AGI.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

De plus, lors du processus de communication avec l'équipe de l'auteur, Qubits a demandé si AlphaGeometry serait réellement autorisé à participer à une compétition IMO, tout comme AlphaGo a défié le champion humain de Go.

Ils ont déclaré qu'ils travaillaient dur pour améliorer les capacités du système et qu'ils devaient également permettre à l'IA de résoudre un plus large éventail de problèmes mathématiques au-delà de la géométrie.

L'IA prouve que la géométrie dessine également des lignes auxiliaires

Auparavant, le système d'IA ne pouvait pas bien résoudre les problèmes géométriques et il était bloqué en raison du manque de données d'entraînement de haute qualité.

Les humains qui apprennent la géométrie peuvent utiliser les connaissances existantes sur les images pour découvrir des propriétés et des relations géométriques nouvelles et plus complexes à l'aide de papier et d'un stylo.

À cette fin, l'équipe de Google a généré 1 milliard de graphiques d'objets géométriques aléatoires, ainsi que toutes les relations entre leurs points et leurs lignes, et a finalement filtré 100 millions de théorèmes uniques et de preuves de différentes difficultés. AlphaGeometry a été entièrement formé à partir de zéro. ces données.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

Le système se compose de deux modules qui fonctionnent ensemble pour trouver des preuves géométriques complexes.

  • Modèle de langage, prédisant la géométrie qui peut être utilisée pour résoudre le problème (c'est-à-dire ajouter des lignes auxiliaires) .
  • Moteur de raisonnement symbolique, utilisant des règles logiques pour tirer des conclusions.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

Le premier auteur, Trieu Trinh, a expliqué que le processus de fonctionnement de l'AlphaGeometry est similaire à la façon dont le cerveau humain est divisé en deux types : rapide et lent.

C'est le concept de « Système 1, Système 2 » popularisé dans le livre à succès du prix Nobel Daniel Kahneman « Penser vite et lentement ».

Le système 1 fournit des idées rapides et intuitives, tandis que le système 2 fournit des décisions plus réfléchies et rationnelles.

D'une part, les modèles de langage sont efficaces pour identifier des modèles et des relations dans les données et peuvent rapidement prédire des structures auxiliaires potentiellement utiles, mais n'ont souvent pas la capacité de raisonner ou d'expliquer rigoureusement leurs décisions.

D'autre part, les moteurs de raisonnement symbolique sont basés sur une logique formelle et utilisent des règles explicites pour tirer des conclusions. Ils sont rationnels et explicables, mais ils sont lents et inflexibles, surtout lorsqu’ils traitent seuls de problèmes importants et complexes.

Par exemple, lors de la résolution d'une question du concours IMO 2015, la partie bleue est la structure auxiliaire ajoutée par le modèle de langage d'AlphaGeometry, et la partie verte est la version simplifiée de la preuve finale, avec un total de 109 étapes.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

Au cours du processus de résolution du problème, AlphaGeometry a également découvert une condition préalable inutilisée dans le problème de compétition de l'OMI de 2004, et a ainsi découvert une version plus large du théorème.

On peut prouver que P, B et C sont colinéaires sans la condition que O soit le milieu de BC.

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

De plus, la recherche a également révélé que pour les trois problèmes avec les scores humains les plus bas, AlphaGeometry nécessite également un très long processus de preuve et l'ajout de nombreuses structures auxiliaires à résoudre.

Mais sur les questions relativement faciles, il n'y avait pas de corrélation significative entre le score humain moyen et la longueur des preuves générées par l'IA (p = −0,06).

Google Mathematical AI publie un article dans Nature : Proving Beyond Wu Wenjuns 1978 Law Theorem, démontrant un niveau géométrique de classe mondiale

One More Thing

Concernant la connexion et la différence entre AlphaGeometry et AlphaGo, lors du processus de communication avec l'équipe, le scientifique de Google Quoc Le a présenté :

Ils sont tous les deux dans une décision très complexe- faire de l'espace Recherche, mais la méthode d'AlphaGo est plus traditionnelle (Remarque : le réseau neuronal est responsable de la reconnaissance des formes) Le réseau neuronal d'AlphaGeometry est chargé de suggérer la prochaine action à entreprendre et de guider l'algorithme de recherche pour qu'il se déplace dans la bonne direction. dans l’espace de décision.

Bien que ce résultat porte le nom de la série Alpha et que la première unité soit également Google DeepMind, l'auteur est en fait un ancien membre de Google Brain.

Maître Quoc Le n'a pas besoin d'être présenté. Le premier auteur Trieu Trinh et l'auteur correspondant Thang Luong ont tous deux travaillé chez Google pendant six ou sept ans. Thang Luong lui-même était également un joueur de l'OMI au lycée.

Parmi les deux auteurs chinois, He He est professeur assistant à l'Université de New York. Wu Yuhuai a déjà participé à la recherche du grand modèle mathématique Minerva de Google et a maintenant quitté Google pour rejoindre l'équipe de Musk et devenir l'un des co-fondateurs de xAI.

Adresse papier : https://www.nature.com/articles/s41586-023-06747-5.

Lien de référence :
[1]https://www.nature.com/articles/d4186-024-00141-5.

[2]https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry.

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!

Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn

Outils d'IA chauds

Undresser.AI Undress

Undresser.AI Undress

Application basée sur l'IA pour créer des photos de nu réalistes

AI Clothes Remover

AI Clothes Remover

Outil d'IA en ligne pour supprimer les vêtements des photos.

Undress AI Tool

Undress AI Tool

Images de déshabillage gratuites

Clothoff.io

Clothoff.io

Dissolvant de vêtements AI

Video Face Swap

Video Face Swap

Échangez les visages dans n'importe quelle vidéo sans effort grâce à notre outil d'échange de visage AI entièrement gratuit !

Outils chauds

Bloc-notes++7.3.1

Bloc-notes++7.3.1

Éditeur de code facile à utiliser et gratuit

SublimeText3 version chinoise

SublimeText3 version chinoise

Version chinoise, très simple à utiliser

Envoyer Studio 13.0.1

Envoyer Studio 13.0.1

Puissant environnement de développement intégré PHP

Dreamweaver CS6

Dreamweaver CS6

Outils de développement Web visuel

SublimeText3 version Mac

SublimeText3 version Mac

Logiciel d'édition de code au niveau de Dieu (SublimeText3)

Sesame Open Door Exchange Page d'enregistrement de page Enregistrement Gate Trading App The Registration Site Web Sesame Open Door Exchange Page d'enregistrement de page Enregistrement Gate Trading App The Registration Site Web Feb 28, 2025 am 11:06 AM

Cet article présente le processus d'enregistrement de la version Web de Sesame Open Exchange (GATE.IO) et l'application Gate Trading en détail. Qu'il s'agisse de l'enregistrement Web ou de l'enregistrement de l'application, vous devez visiter le site Web officiel ou l'App Store pour télécharger l'application authentique, puis remplir le nom d'utilisateur, le mot de passe, l'e-mail, le numéro de téléphone mobile et d'autres informations et terminer la vérification des e-mails ou du téléphone mobile.

Pourquoi le lien d'échange de Bybit ne peut-il pas être téléchargé directement et installé? Pourquoi le lien d'échange de Bybit ne peut-il pas être téléchargé directement et installé? Feb 21, 2025 pm 10:57 PM

Pourquoi le lien d'échange de Bybit ne peut-il pas être téléchargé directement et installé? Bybit est un échange de crypto-monnaie qui fournit des services de trading aux utilisateurs. Les applications mobiles de l'échange ne peuvent pas être téléchargées directement via AppStore ou GooglePlay pour les raisons suivantes: 1. La politique de l'App Store empêche Apple et Google d'avoir des exigences strictes sur les types d'applications autorisées dans l'App Store. Les demandes d'échange de crypto-monnaie ne répondent souvent pas à ces exigences car elles impliquent des services financiers et nécessitent des réglementations et des normes de sécurité spécifiques. 2. Conformité des lois et réglementations Dans de nombreux pays, les activités liées aux transactions de crypto-monnaie sont réglementées ou restreintes. Pour se conformer à ces réglementations, l'application ByBit ne peut être utilisée que via des sites Web officiels ou d'autres canaux autorisés

Sesame Open Door Exchange Page Web Login Dernière version GATEIO Entrée du site officiel Sesame Open Door Exchange Page Web Login Dernière version GATEIO Entrée du site officiel Mar 04, 2025 pm 11:48 PM

Une introduction détaillée à l'opération de connexion de la version Web Sesame Open Exchange, y compris les étapes de connexion et le processus de récupération de mot de passe.

Sesame Open Door Trading Platform Download Version mobile Gateio Trading Plateforme de téléchargement Adresse de téléchargement Sesame Open Door Trading Platform Download Version mobile Gateio Trading Plateforme de téléchargement Adresse de téléchargement Feb 28, 2025 am 10:51 AM

Il est crucial de choisir un canal formel pour télécharger l'application et d'assurer la sécurité de votre compte.

Top 10 recommandé pour l'application de trading d'actifs numériques crypto (2025 Global Ranking) Top 10 recommandé pour l'application de trading d'actifs numériques crypto (2025 Global Ranking) Mar 18, 2025 pm 12:15 PM

Cet article recommande les dix principales plates-formes de trading de crypto-monnaie qui méritent d'être prêtées, notamment Binance, Okx, Gate.io, Bitflyer, Kucoin, Bybit, Coinbase Pro, Kraken, Bydfi et Xbit décentralisées. Ces plateformes ont leurs propres avantages en termes de quantité de devises de transaction, de type de transaction, de sécurité, de conformité et de fonctionnalités spéciales. Le choix d'une plate-forme appropriée nécessite une considération complète en fonction de votre propre expérience de trading, de votre tolérance au risque et de vos préférences d'investissement. J'espère que cet article vous aide à trouver le meilleur costume pour vous-même

Binance Binance Site officiel Dernière version Portail de connexion Binance Binance Site officiel Dernière version Portail de connexion Feb 21, 2025 pm 05:42 PM

Pour accéder à la dernière version du portail de connexion du site Web de Binance, suivez simplement ces étapes simples. Accédez au site officiel et cliquez sur le bouton "Connectez-vous" dans le coin supérieur droit. Sélectionnez votre méthode de connexion existante. Entrez votre numéro de mobile ou votre mot de passe enregistré et votre mot de passe et complétez l'authentification (telles que le code de vérification mobile ou Google Authenticator). Après une vérification réussie, vous pouvez accéder à la dernière version du portail de connexion du site Web officiel de Binance.

Bitget Trading Plateforme Adresse de téléchargement et d'installation de l'application officielle Bitget Trading Plateforme Adresse de téléchargement et d'installation de l'application officielle Feb 25, 2025 pm 02:42 PM

Ce guide fournit des étapes de téléchargement et d'installation détaillées pour l'application officielle Bitget Exchange, adaptée aux systèmes Android et iOS. Le guide intègre les informations de plusieurs sources faisant autorité, y compris le site officiel, l'App Store et Google Play, et met l'accent sur les considérations pendant le téléchargement et la gestion des comptes. Les utilisateurs peuvent télécharger l'application à partir des chaînes officielles, y compris l'App Store, le téléchargement officiel du site Web APK et le saut de site Web officiel, ainsi que des paramètres d'enregistrement, de vérification d'identité et de sécurité. De plus, le guide couvre les questions et considérations fréquemment posées, telles que

La dernière adresse de téléchargement de Bitget en 2025: étapes pour obtenir l'application officielle La dernière adresse de téléchargement de Bitget en 2025: étapes pour obtenir l'application officielle Feb 25, 2025 pm 02:54 PM

Ce guide fournit des étapes de téléchargement et d'installation détaillées pour l'application officielle Bitget Exchange, adaptée aux systèmes Android et iOS. Le guide intègre les informations de plusieurs sources faisant autorité, y compris le site officiel, l'App Store et Google Play, et met l'accent sur les considérations pendant le téléchargement et la gestion des comptes. Les utilisateurs peuvent télécharger l'application à partir des chaînes officielles, y compris l'App Store, le téléchargement officiel du site Web APK et le saut de site Web officiel, ainsi que des paramètres d'enregistrement, de vérification d'identité et de sécurité. De plus, le guide couvre les questions et considérations fréquemment posées, telles que

See all articles