„Mathematisches Genie“ Terence Tao: GPT-4 kann kein ungelöstes mathematisches Problem lösen, ist aber für die Arbeit hilfreich

Das beliebte ChatGPT ist auch zu einem Recherchetool für das Mathematikgenie Tao Zhexuan geworden.

Kürzlich sagte er online, dass er einige kleine Anwendungsfälle von ChatGPT entdeckt habe.

Zuerst ist es gut, die Dokumentation für das Codeformat (in diesem Fall die #arXiv-Such-API) zu analysieren und dann ein ordnungsgemäß formatiertes Ergebnis zurückzugeben Codeabfrage (die später auch funktionierenden Python-Code bereitstellte, um diese API auf die von mir angeforderte Weise aufzurufen, obwohl ich manuell ein Paket installieren musste, um sie zum Laufen zu bringen). Zweitens habe ich es gebeten, einige Fragen zu formulieren, die ein kluger Student in einem Grundkurs für lineare Algebra stellen könnte (für den ich einige Beispielfragen bereitgestellt habe), die mir auch einige gute Beispiele für mögliche Richtungen für den Kurs gegeben haben mögliche Hausaufgabenprobleme.

Kurz gesagt, ich habe festgestellt, dass KI-Tools wie ChatGPT mir zwar nicht dabei helfen, ein ungelöstes Mathematikproblem zu lösen, aber für andere arbeitsbezogene Probleme nützlich sind, obwohl sie es sind Wird oft im Nachhinein benötigt. Nehmen Sie einige manuelle Anpassungen vor.

Es gibt keinen großen Unterschied zwischen GPT-4 und GPT-3.5

# 🎜🎜# Wie gut ist GPT-4 beim Parsen von Code-formatierten Dokumenten?

Tao Zhexuan hat GPT-4 gebeten, eine Suchabfrage für alle arXiv-Artikel durchzuführen, deren Metadaten ein bestimmtes Schlüsselwort sind (z. B. „ Collatz“) und wurde innerhalb eines bestimmten Datumsbereichs eingereicht (z. B. zwischen 2011 und 2016). Welches Format hat eine solche Abfrage laut der folgenden Dokumentation?

In dieser Hinsicht gab GPT-4 nicht nur den Code, sondern ebenfalls aufgeführt Die Kategorie der Abfrage wird angezeigt. #? Welche Fragen könnte ein Rezensent oder Redner stellen? Wie schlägt sich GPT-4 in dieser Hinsicht?

Tao Zhexuan nahm es zur Rezension und lobte es „Es ist wirklich gut.“ ” „Hier sind die ersten Seiten einer kürzlich erschienenen Arbeit. Können Sie einige Fragen stellen, die das Publikum stellen könnte, während es sich die Vorlesung zu dieser Arbeit anhört? Fragen, die einige Mathematiker möglicherweise stellen, nachdem sie sich eine Vorlesung zu dieser Arbeit angehört haben.“ Dann listete Balabala 7 Fragen auf.

#🎜🎜. #

Vorsicht Internetnutzer Es wurde festgestellt, dass der von Terence Tao gepostete Screenshot GPT-4 war.

fragte: „Was ist Ihrer Meinung nach der Unterschied zwischen dem vorherigen ChatGPT und dem neuen Assistenten, der auf dem GPT-4-Modell basiert?“ "

Tao Zhexuan sagte: „Bisher ist die Antwort von GPT-4 etwas nützlicher und entspricht meinen Anforderungen, aber ich nicht t Sehen Sie den großen Qualitätsunterschied 》.

ChatGPT schließt sich dem Workflow an

Mit der Geburt von ChatGPT rufen viele Menschen aus, dass ihre Jobs durch KI ersetzt werden.

Sogar der geniale Mathematiker Terence Tao hat begonnen, ChatGPT zu verwenden.

Am 5. März sagte Tao Zhexuan online, dass er beschlossen habe, auf verschiedene Weise zu versuchen, KI-Tools in meinen Arbeitsablauf zu integrieren. Dazu gehören Tools wie GPT-4 und DeepL.

Während dieser Zeit entdeckte er alle versteckten Funktionen von ChatGPT, wie das Finden von Formeln, das Analysieren von Dokumenten im Codeformat, das Umschreiben von Abschlusserklärungen usw.

Zum Beispiel kann ChatGPT manchmal einen halbfertigen semantischen Abruf in der Mathematik durchführen, also einige Hinweise generieren.

Zum Beispiel hat Terence Tao ChatGPT gebeten, den Satz von Kummer anhand der Beschreibung zu identifizieren. Er lieferte zwar nicht die richtige Antwort, basierte jedoch auf der ungefähren Antwort, die er gab (Formel von Legendre).

In diesem Zusammenhang sagte Tao Zhexuan, dass die Rolle der künstlichen Intelligenz in der Mathematik darin besteht, eine vorläufige ungefähre Antwort zu liefern und diese dann mit herkömmlichen Suchmaschinen zu kombinieren, um leicht die richtige Antwort zu finden.

Tao Zhexuan entdeckte auch das Highlight von ChatGPT bei der Bearbeitung mathematischer Probleme, nämlich die Möglichkeit, transliterierte Versionen mathematischer Konzepte in verschiedenen Sprachen zu identifizieren.

Alternativ kann ChatGPT gebeten werden, eine Reihe von Referenzen aus MathSciNet zu konvertieren und sie in einer bibliografischen LaTeX-Umgebung in Bibitems zu formatieren.

ChatGPT macht jedoch nie Fehler?

Bei einer Frage zum Beweis, ob es unendlich viele Primzahlen gibt, stellte Tao Zhexuan fest, dass die Antwort von ChatGPT nicht ganz richtig war.

Andererseits stellte er fest, dass die Argumentationsideen von ChatGPT korrigiert werden konnten, und er hatte diese Idee noch nie zuvor gesehen.

Kopieren, einfügen und mit einem Klick abschließen!

Internetnutzer haben auch viel Mühe darauf verwendet, die Anwendungsfälle von GPT-4 zu erkunden.

Machen Sie GPT-4-Reviewpapiere nicht nur vernünftig, sondern treffen Sie auch ins Schwarze.

„Als Akademiker weiß ich nicht, was ich davon halten soll: Ich habe eine alte Arbeit von mir in GPT-4 eingereicht (in zwei Teilen) und um ein hartes, aber faires Peer-Review durch einen Wirtschaftssoziologen gebeten.“

Es entsteht ein vollkommen vernünftiges Peer-Review, das viele der von meinen Rezensenten angesprochenen Punkte erfüllt.

Wenn viele Leute etwas tun möchten, fragen sie GPT-4 einfach direkt: „Kopieren, einfügen und mit einem Klick vervollständigen!“

Für Verwenden Sie beispielsweise GPT-4. Erstellen Sie ein komplexes Spiel.

Netizens bildeten mit GPT-4, Replit, MidJourney und Claude ein Assistententeam für künstliche Intelligenz, um ein 3D-Weltraum-Parkour-Spiel von Grund auf zu entwickeln.

Allerdings weiß ich nichts über Javascript oder 3D-Spieleprogrammierung.

Das obige ist der detaillierte Inhalt von„Mathematisches Genie“ Terence Tao: GPT-4 kann kein ungelöstes mathematisches Problem lösen, ist aber für die Arbeit hilfreich. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!