Table des matières
Ajouter du contexte
Questions posées par l'homme et questions générées par la machine
Maison Périphériques technologiques IA L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questions

L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questions

Apr 17, 2023 pm 05:55 PM
ai openai

L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questions

Peut-être que les questions du test de mathématiques que vous avez répondues ont été générées par une machine. Les étudiants du MIT peuvent résoudre des sujets mathématiques tels que le calcul multivarié, les équations différentielles et l'algèbre linéaire sans aucun effort, mais ceux-ci bloquent le modèle d'apprentissage automatique. Parce que les modèles d’apprentissage automatique ne peuvent répondre qu’à des questions mathématiques de niveau primaire ou secondaire, et ne trouvent pas toujours la bonne réponse. ​Maintenant, des chercheurs du MIT, de l'Université Columbia, de l'Université Harvard et de l'Université de Waterloo utilisent l'apprentissage par petits échantillons et le Codex d'OpenAI pour synthétiser automatiquement des programmes et résoudre des problèmes mathématiques universitaires en quelques secondes, atteignant le niveau des humains. La recherche a été publiée dans les Actes de l'Académie nationale des sciences (PNAS).

De plus, le modèle peut expliquer les solutions générées et générer rapidement de nouveaux problèmes de mathématiques universitaires. Lorsque les chercheurs ont montré ces questions générées automatiquement aux étudiants, ceux-ci ne pouvaient même pas dire si les questions avaient été générées par un algorithme ou par un humain. ​​

Cette recherche peut également être utilisée pour rationaliser la génération de contenu de cours, ce qui est particulièrement utile pour les écoles comptant des milliers d'étudiants et des cours en ligne ouverts massivement (MOOC). Le système peut également servir de tuteur en ligne, montrant aux étudiants les étapes à suivre pour résoudre des problèmes mathématiques.

Adresse papier : https://www.pnas.org/doi/epdf/10.1073/pnas.2123433119

L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questions

La méthode de recherche combine trois innovations :

Différent de pré-formation uniquement sur le texte, cette recherche effectue également un réglage fin du code lors de la pré-formation sur le texte

L'utilisation de petits échantillons d'apprentissage pour synthétiser des programmes peut résoudre correctement des problèmes mathématiques ; , expliquer les solutions et générer de nouvelles questions.

  • Des exemples de nouvelles questions générées par cette recherche sont les suivants.
  • Un modèle capable de répondre, de résoudre et de poser des questions

L'équipe de recherche a consacré près de deux ans à ce projet. Ils ont découvert qu'un modèle pré-entraîné utilisant uniquement du texte n'atteindrait pas une précision supérieure à 8 % sur les problèmes de mathématiques du lycée, tandis qu'un modèle de réseau neuronal graphique pourrait bien fonctionner sur les problèmes de cours d'apprentissage automatique, mais cela prendrait une semaine.

La étude a sélectionné au hasard 25 problèmes de sept cours: calcul multivariable 18.01 du MIT, calcul multivariable, 18,03 équations différentielles, 18,05 Introduction à la probabilité et statistiques, 18,06 algèbres linéaires, 6,042 Mathématiques en informatique, et com. Université de Colombie. L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questions

Pour l'ensemble de données MATH, l'étude a échantillonné au hasard 15 questions sur six sujets de l'ensemble de données (algèbre, comptage et probabilités, algèbre intermédiaire, théorie des nombres, algèbre préliminaire et calcul).

Avant d'introduire ces tâches de programmation dans le réseau neuronal, les chercheurs ont ajouté une nouvelle étape qui leur a permis de surpasser considérablement les tentatives précédentes. ​​

est différent des réseaux tels que GPT-3 qui sont uniquement pré-entraînés sur le texte. Ils ont transformé ces problèmes en tâches de programmation et ont appliqué la synthèse de programmes et des techniques d'apprentissage en quelques étapes. Transformer un problème mathématique en tâche de programmation peut être aussi simple que de réécrire le problème consistant à trouver la distance entre deux points ou d'écrire un programme pour trouver la différence entre deux points.

L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questionsIl convient de mentionner que cette recherche a non seulement pré-entraîné le Codex sur le texte, mais a également affiné le code afin qu'il puisse générer des programmes permettant de résoudre des problèmes mathématiques à grande échelle.

Modèles pré-entraînés montrant des millions d'exemples de code provenant de référentiels en ligne. Étant donné que les données d'entraînement du modèle incluent des millions de mots en langage naturel et des millions de lignes de code, il peut apprendre les relations entre des extraits de texte et des extraits de code. ​​

Comme le montre la figure ci-dessous, cette étude utilise l'apprentissage zéro-shot et small-shot pour générer automatiquement un programme capable de résoudre 81% des problèmes mathématiques. Ils utilisent ensuite le Codex pour interpréter le programme résultant. Le programme généré peut générer des réponses sous de nombreuses formes. Par exemple, calculer et représenter la forme géométrique de la décomposition en valeurs singulières (SVD) donne non seulement la bonne réponse, mais aussi l'explication correspondante ! L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questionsAppliquez les réseaux de neurones OpenAI Codex pour résoudre, interpréter et générer des problèmes mathématiques. ​​

Drori, l'un des auteurs de l'article, a expliqué que de nombreux problèmes mathématiques peuvent être résolus à l'aide de graphiques ou d'arbres, mais qu'il est difficile de convertir des problèmes écrits sous forme de texte dans cette représentation. Cependant, comme le modèle a appris la relation entre le texte et le code, il peut convertir les questions textuelles en code en donnant simplement quelques exemples de code de question, puis en exécutant le code pour répondre à la question.

"Lorsque vous posez des questions en utilisant uniquement du texte, il est difficile pour les modèles d'apprentissage automatique de donner des réponses, même si la réponse peut être dans le texte, et ce travail comble les morceaux manquants de code et de synthèse de programme", a déclaré Drori. .

Drori a également ajouté que ce travail est le premier à résoudre un problème de mathématiques de premier cycle et améliore la précision de 8 % à plus de 80 %. ​

Ajouter du contexte

Il n'est pas toujours facile de transformer un problème mathématique en tâche de programmation. Certains problèmes nécessitent que les chercheurs ajoutent du contexte afin que les réseaux de neurones puissent gérer le problème correctement. Un étudiant apprendra ces connaissances de base tout en suivant le cours, mais les réseaux de neurones ne possèdent pas ces connaissances de base, sauf indication explicite du chercheur.

Par exemple, ils doivent expliquer que le réseau dans le texte fait référence à un réseau de neurones et non à un réseau de communication. Ou ils devront peut-être indiquer au modèle quel package de programmation utiliser. Ils devront peut-être également fournir certaines définitions, par exemple dans une question sur les cartes à jouer, ils devront peut-être indiquer au modèle que chaque jeu contient 52 cartes.

L'étude alimente automatiquement ces tâches de programmation, ainsi que le contexte et les exemples inclus, dans un réseau neuronal pré-entraîné et affiné, qui génère un programme qui produit généralement la bonne réponse. Plus de 80 % des questions étaient correctes.

Les chercheurs ont également utilisé leur modèle pour générer des questions, en donnant à un réseau neuronal une série de questions mathématiques sur un sujet, puis en le laissant créer une nouvelle question. Par exemple, il y a le problème de la détection quantique des lignes horizontales et verticales, qui crée un nouveau problème de détection quantique des diagonales. Il ne s’agit donc pas simplement de créer de nouveaux problèmes en remplaçant des valeurs et des variables dans des problèmes existants.

Questions posées par l'homme et questions générées par la machine

Les chercheurs ont testé ces questions en montrant aux étudiants les questions générées par la machine. Les chercheurs ont donné au hasard aux étudiants 10 problèmes issus d’un cours de mathématiques de premier cycle ; cinq ont été créés par des humains et cinq ont été générés par des machines.

Les étudiants ne pouvaient pas dire si les questions générées par la machine avaient été générées par un algorithme ou par un humain, et ils ont donné des notes similaires sur la difficulté et la pertinence du cours.

L'IA résout les problèmes de mathématiques universitaires en quelques secondes, atteint un taux de précision de plus de 80 % et agit également comme un professeur de questions

Cependant, Drori a noté que ce travail n'est pas destiné à remplacer les professeurs humains.

"Le taux de précision a maintenant atteint 80 %, mais il n'atteindra pas 100 %. Chaque fois que vous résolvez un problème, quelqu'un posera un problème plus difficile. Mais ce travail offre aux gens un moyen de commencer à utiliser l'apprentissage automatique. pour résoudre davantage de problèmes. Cela ouvre de nouveaux domaines de difficulté. Nous pensons que cela aura un impact énorme sur l'enseignement supérieur », a déclaré Drori. ​​

L'équipe de recherche est enthousiasmée par le succès de leur méthode et a étendu ses travaux pour gérer les preuves mathématiques. Elle prévoit également de remédier à certaines limitations. Actuellement, le modèle ne peut pas répondre aux questions en utilisant un composant visuel ou résoudre les problèmes dus. aux contraintes de calcul. Problèmes complexes et difficiles à calculer.

En plus de surmonter ces obstacles, la recherche vise également à étendre le modèle à des centaines de cours. Grâce à ces cours, ils généreront davantage de données pour accroître l'automatisation et fourniront des informations sur la conception et le programme des cours.

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

AI Hentai Generator

AI Hentai Generator

Générez AI Hentai gratuitement.

Article chaud

R.E.P.O. Crystals d'énergie expliqués et ce qu'ils font (cristal jaune)
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Meilleurs paramètres graphiques
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Comment réparer l'audio si vous n'entendez personne
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: Comment déverrouiller tout dans Myrise
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌

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)

Quelle méthode est utilisée pour convertir les chaînes en objets dans vue.js? Quelle méthode est utilisée pour convertir les chaînes en objets dans vue.js? Apr 07, 2025 pm 09:39 PM

Lors de la conversion des chaînes en objets dans vue.js, JSON.Parse () est préféré pour les chaînes JSON standard. Pour les chaînes JSON non standard, la chaîne peut être traitée en utilisant des expressions régulières et réduisez les méthodes en fonction du format ou du codé décodé par URL. Sélectionnez la méthode appropriée en fonction du format de chaîne et faites attention aux problèmes de sécurité et d'encodage pour éviter les bogues.

Comment utiliser MySQL après l'installation Comment utiliser MySQL après l'installation Apr 08, 2025 am 11:48 AM

L'article présente le fonctionnement de la base de données MySQL. Tout d'abord, vous devez installer un client MySQL, tel que MySQLWorkBench ou le client de ligne de commande. 1. Utilisez la commande MySQL-UROot-P pour vous connecter au serveur et connecter avec le mot de passe du compte racine; 2. Utilisez Createdatabase pour créer une base de données et utilisez Sélectionner une base de données; 3. Utilisez CreateTable pour créer une table, définissez des champs et des types de données; 4. Utilisez InsertInto pour insérer des données, remettre en question les données, mettre à jour les données par mise à jour et supprimer les données par Supprimer. Ce n'est qu'en maîtrisant ces étapes, en apprenant à faire face à des problèmes courants et à l'optimisation des performances de la base de données que vous pouvez utiliser efficacement MySQL.

Comment résoudre MySQL ne peut pas être démarré Comment résoudre MySQL ne peut pas être démarré Apr 08, 2025 pm 02:21 PM

Il existe de nombreuses raisons pour lesquelles la startup MySQL échoue, et elle peut être diagnostiquée en vérifiant le journal des erreurs. Les causes courantes incluent les conflits de port (vérifier l'occupation du port et la configuration de modification), les problèmes d'autorisation (vérifier le service exécutant les autorisations des utilisateurs), les erreurs de fichier de configuration (vérifier les paramètres des paramètres), la corruption du répertoire de données (restaurer les données ou reconstruire l'espace de la table), les problèmes d'espace de la table InNODB (vérifier les fichiers IBDATA1), la défaillance du chargement du plug-in (vérification du journal des erreurs). Lors de la résolution de problèmes, vous devez les analyser en fonction du journal d'erreur, trouver la cause profonde du problème et développer l'habitude de sauvegarder régulièrement les données pour prévenir et résoudre des problèmes.

Vue.js Comment convertir un tableau de type de chaîne en un tableau d'objets? Vue.js Comment convertir un tableau de type de chaîne en un tableau d'objets? Apr 07, 2025 pm 09:36 PM

Résumé: Il existe les méthodes suivantes pour convertir les tableaux de chaîne Vue.js en tableaux d'objets: Méthode de base: utilisez la fonction de carte pour convenir à des données formatées régulières. Gameplay avancé: l'utilisation d'expressions régulières peut gérer des formats complexes, mais ils doivent être soigneusement écrits et considérés. Optimisation des performances: Considérant la grande quantité de données, des opérations asynchrones ou des bibliothèques efficaces de traitement des données peuvent être utilisées. MEILLEUR PRATIQUE: Effacer le style de code, utilisez des noms de variables significatifs et des commentaires pour garder le code concis.

Géospatial de Laravel: optimisation des cartes interactives et de grandes quantités de données Géospatial de Laravel: optimisation des cartes interactives et de grandes quantités de données Apr 08, 2025 pm 12:24 PM

Traiter efficacement 7 millions d'enregistrements et créer des cartes interactives avec la technologie géospatiale. Cet article explore comment traiter efficacement plus de 7 millions d'enregistrements en utilisant Laravel et MySQL et les convertir en visualisations de cartes interactives. Exigences initiales du projet de défi: extraire des informations précieuses en utilisant 7 millions d'enregistrements dans la base de données MySQL. Beaucoup de gens considèrent d'abord les langages de programmation, mais ignorent la base de données elle-même: peut-il répondre aux besoins? La migration des données ou l'ajustement structurel est-il requis? MySQL peut-il résister à une charge de données aussi importante? Analyse préliminaire: les filtres et les propriétés clés doivent être identifiés. Après analyse, il a été constaté que seuls quelques attributs étaient liés à la solution. Nous avons vérifié la faisabilité du filtre et établi certaines restrictions pour optimiser la recherche. Recherche de cartes basée sur la ville

Comment définir le délai de Vue Axios Comment définir le délai de Vue Axios Apr 07, 2025 pm 10:03 PM

Afin de définir le délai d'expiration de Vue Axios, nous pouvons créer une instance AxiOS et spécifier l'option Timeout: dans les paramètres globaux: vue.prototype. $ Axios = axios.create ({timeout: 5000}); Dans une seule demande: ce. $ axios.get ('/ api / utilisateurs', {timeout: 10000}).

Comment optimiser les performances de la base de données après l'installation de MySQL Comment optimiser les performances de la base de données après l'installation de MySQL Apr 08, 2025 am 11:36 AM

L'optimisation des performances MySQL doit commencer à partir de trois aspects: configuration d'installation, indexation et optimisation des requêtes, surveillance et réglage. 1. Après l'installation, vous devez ajuster le fichier my.cnf en fonction de la configuration du serveur, tel que le paramètre innodb_buffer_pool_size, et fermer query_cache_size; 2. Créez un index approprié pour éviter les index excessifs et optimiser les instructions de requête, telles que l'utilisation de la commande Explication pour analyser le plan d'exécution; 3. Utilisez le propre outil de surveillance de MySQL (ShowProcessList, Showstatus) pour surveiller la santé de la base de données, et sauvegarde régulièrement et organisez la base de données. Ce n'est qu'en optimisant en continu ces étapes que les performances de la base de données MySQL peuvent être améliorées.

Les ingénieurs de backend senior à distance (plates-formes) ont besoin de cercles Les ingénieurs de backend senior à distance (plates-formes) ont besoin de cercles Apr 08, 2025 pm 12:27 PM

Ingénieur backend à distance Emploi Vacant Société: Emplacement du cercle: Bureau à distance Type d'emploi: Salaire à temps plein: 130 000 $ - 140 000 $ Description du poste Participez à la recherche et au développement des applications mobiles Circle et des fonctionnalités publiques liées à l'API couvrant l'intégralité du cycle de vie de développement logiciel. Les principales responsabilités complètent indépendamment les travaux de développement basés sur RubyOnRails et collaborent avec l'équipe frontale React / Redux / Relay. Créez les fonctionnalités de base et les améliorations des applications Web et travaillez en étroite collaboration avec les concepteurs et le leadership tout au long du processus de conception fonctionnelle. Promouvoir les processus de développement positifs et hiérarchiser la vitesse d'itération. Nécessite plus de 6 ans de backend d'applications Web complexe

See all articles