


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
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.
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.
Il 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 ! Appliquez 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.
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!

Outils d'IA chauds

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

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

Undress AI Tool
Images de déshabillage gratuites

Clothoff.io
Dissolvant de vêtements AI

AI Hentai Generator
Générez AI Hentai gratuitement.

Article chaud

Outils chauds

Bloc-notes++7.3.1
Éditeur de code facile à utiliser et gratuit

SublimeText3 version chinoise
Version chinoise, très simple à utiliser

Envoyer Studio 13.0.1
Puissant environnement de développement intégré PHP

Dreamweaver CS6
Outils de développement Web visuel

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

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.

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.

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.

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.

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

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}).

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.

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
