'Génie mathématique' Terence Tao : GPT-4 ne peut pas résoudre un problème mathématique non résolu, mais il est utile pour le travail

Le populaire ChatGPT est également devenu un outil de recherche pour le génie mathématique Terence Tao.

Récemment, il a déclaré en ligne qu'il avait découvert quelques petits cas d'utilisation de ChatGPT.

Tout d'abord, il était bon pour analyser la documentation pour le format de code (dans ce cas, l'API de recherche #arXiv), puis renvoyer une requête de code correctement formatée (plus tard, il a également fourni du code Python fonctionnel. J'ai appelé cette API ainsi J'ai demandé, même si j'ai dû installer manuellement un package pour le faire fonctionner). Deuxièmement, je lui ai demandé de proposer quelques questions qu'un étudiant intelligent pourrait poser dans un cours d'algèbre linéaire de premier cycle (pour lequel j'ai fourni quelques exemples de questions), ce qui m'a donné de bons exemples d'orientations possibles pour le cours. problèmes potentiels aux devoirs.

En bref, j'ai trouvé que les outils d'IA tels que ChatGPT, même s'ils ne m'aidaient pas à résoudre un problème mathématique non résolu, étaient utiles pour d'autres problèmes liés au travail, même si certains ajustements manuels étaient souvent nécessaires par la suite.

Il n'y a pas beaucoup de différence entre GPT-4 et GPT-3.5

En quoi GPT-4 est-il efficace pour analyser des documents au format code ?

Terence Tao a demandé à GPT-4 de rechercher tous les articles arXiv dont les métadonnées sont un mot-clé donné (par exemple, "Collatz") et qui ont été soumis dans une certaine plage de dates (par exemple, entre 2011 et 2016. ). D'après la documentation ci-dessous, quel est le format d'une telle requête ?

À cet égard, GPT-4 donne non seulement le code, mais répertorie également la classification de la requête.

Un internaute a demandé, en tant qu'outil de lecture, étant donné un article, quelles questions un critique ou un orateur pourrait poser ? Comment GPT-4 se comporte-t-il à cet égard ?

Tao Zhexuan l'a pris pour évaluation et l'a loué "vraiment bien".

"Voici les premières pages d'un article récent. Pouvez-vous poser quelques questions que le public pourrait se poser en écoutant une conférence sur cet article ?"

Réponse ChatGPT " Bien sûr, voici quelques questions que les mathématiciens pourraient se poser après avoir écouté une conférence sur cet article." Ensuite, Balabala a énuméré 7 questions.

Des internautes attentifs ont découvert que la capture d'écran publiée par Terence Tao était GPT-4.

a ensuite demandé : « Selon vous, quelle est la différence entre l'ancien ChatGPT et le nouvel assistant basé sur le modèle GPT-4 ? 4's Les réponses étaient légèrement plus utiles et répondaient à mes exigences, mais je n'ai pas vu de différence majeure en termes de qualité."

ChatGPT rejoint le workflow

Avec la naissance de ChatGPT, de nombreuses personnes s'exclament que leur travail sera remplacé par l'IA.

Même le mathématicien de génie Terence Tao a commencé à utiliser ChatGPT.

Le 5 mars, Tao Zhexuan a déclaré en ligne qu'il avait décidé d'essayer d'intégrer des outils d'IA dans mon flux de travail de différentes manières. Ceux-ci incluent des outils tels que GPT-4 et DeepL.

Pendant cette période, il a découvert toutes les fonctions cachées de ChatGPT, comme trouver des formules, analyser des documents au format code, réécrire des énoncés de thèse, etc.

Par exemple, ChatGPT peut parfois faire une récupération sémantique semi-finie en mathématiques, c'est-à-dire l'utiliser pour générer des indices.

Par exemple, Terence Tao a demandé à ChatGPT d'identifier le théorème de Kummer à partir de la description. Il n'a pas réussi à donner la bonne réponse, mais sur la base de la réponse approximative qu'il a donnée (formule de Legendre).

À cet égard, Tao Zhexuan a déclaré que le rôle de l'intelligence artificielle en mathématiques est de fournir une réponse préliminaire approximative, puis qu'elle peut être combinée avec les moteurs de recherche traditionnels pour trouver facilement la bonne réponse.

Tao Zhexuan a également découvert le point fort de ChatGPT lorsqu'il s'agit de problèmes mathématiques, étant capable d'identifier des versions translittérées de concepts mathématiques dans différentes langues.

Alternativement, ChatGPT peut être invité à convertir un ensemble de références obtenues à partir de MathSciNet et à les formater en bibitems dans un environnement bibliographique LaTeX.

Mais ChatGPT ne fait-il pas des erreurs ?

Dans une question visant à prouver s'il existe une infinité de nombres premiers, Tao Zhexuan a constaté que la réponse donnée par ChatGPT n'était pas tout à fait correcte.

D'un autre côté, il a constaté que la ligne d'argumentation donnée par ChatGPT pouvait être corrigée, et il n'avait jamais vu cette ligne de pensée auparavant.

Copiez, collez et complétez en un clic !

Les internautes ont également déployé beaucoup d'efforts pour explorer les cas d'utilisation de GPT-4.

Faites en sorte que les articles de révision GPT-4 soient non seulement raisonnables, mais qu'ils atteignent également le but.

« En tant qu'universitaire, je ne sais pas quoi penser de cela : j'ai mis un de mes vieux articles dans GPT-4 (en deux parties) et j'ai demandé une évaluation rigoureuse mais juste par un sociologue économique. »

Cela crée une évaluation par les pairs parfaitement raisonnable qui répond à bon nombre des points soulevés par mes évaluateurs.

Pour de nombreuses personnes, s'ils veulent faire quelque chose, il suffit de demander directement à GPT-4 : "Copiez, collez et complétez-le en un seul clic !" Par exemple, utilisez GPT-4 Créez un jeu complexe.

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!