Heim Technologie-Peripheriegeräte KI Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Jun 02, 2024 pm 02:47 PM
理论

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Herausgeber |. Kohlblätter

„Eine Vermutung aufzustellen – eine Aussage, von der man annimmt, dass sie wahr ist, die aber eines expliziten Beweises bedarf – ist für Mathematiker wie ein Moment göttlicher Inspiration. Mathematische Vermutungen sind jedoch nicht nur kontraintuitiv, ich Ich denke, dies ist der transformativste Bereich der maschinellen Intelligenz, sagte Thomas Fink, Direktor des Institute of Mathematical Sciences in London.

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Im Jahr 2017 begannen Forscher am Institute of Mathematical Sciences in London, maschinelles Lernen als Hobby auf mathematische Daten anzuwenden. Während der COVID-19-Pandemie stellten sie fest, dass ein einfacher Klassifikator mit künstlicher Intelligenz (KI) die Rangfolge elliptischer Kurven vorhersagen konnte – ein Maß für ihre Komplexität.

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Papierlink: https://arxiv.org/abs/2204.10140

Die elliptische Kurve ist die Grundlage der Zahlentheorie. Das Verständnis ihrer grundlegenden Statistiken ist ein wichtiger Schritt bei der Lösung eines der sieben Jahrtausendprobleme Sieben Haupträtsel werden vom Clay Mathematics Institute in Providence, Rhode Island, ausgewählt und mit jeweils 1 Million US-Dollar prämiert. Nur wenige erwarten, dass künstliche Intelligenz in diesem hochriskanten Bereich eine Rolle spielen wird.

Künstliche Intelligenz hat auch in anderen Bereichen Fortschritte gemacht. Vor einigen Jahren erstellte ein Computerprogramm namens Ramanujan-Maschine neue Formeln für Grundkonstanten wie π und e. Dazu werden Familien von Kettenbrüchen umfassend durchsucht – Brüche, deren Nenner eine Zahl plus ein Bruch ist, deren Nenner auch Brüche sind, bei denen eine Zahl plus ein Bruch ein Bruch ist, und so weiter. Einige dieser Vermutungen wurden bewiesen, andere bleiben ungelöst.

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Link zum Papier: https://www.nature.com/articles/s41586-021-03229-4

Ein weiteres Beispiel bezieht sich auf die Knotentheorie, einen Zweig der Topologie, in dem man das Hypothetische betrachtet Das Seil verheddert sich, bevor die Enden zusammenkleben. Forscher von Google DeepMind trainierten ein neuronales Netzwerk anhand von Daten aus vielen verschiedenen Knoten und entdeckten unerwartete Beziehungen zwischen ihren algebraischen und geometrischen Strukturen.

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Link zum Papier: https://www.nature.com/articles/s41586-021-04086-x

Wie kann künstliche Intelligenz einen Einfluss auf den Bereich der Mathematik haben, in dem menschliche Kreativität als entscheidend angesehen wird?

Zuallererst gibt es in der Mathematik keine Zufälle. In realen Experimenten gibt es viele falsch-negative und falsch-positive Ergebnisse. Aber in der Mathematik wird ein Gegenbeispiel die Vermutung völlig zunichte machen. Die Polya-Vermutung besagt beispielsweise, dass die meisten ganzen Zahlen unterhalb einer bestimmten ganzen Zahl eine ungerade Anzahl von Primfaktoren haben. Doch 1960 stellte sich heraus, dass diese Vermutung für die Zahlen 906.180.359 nicht zutraf. Polyas Vermutung wurde sofort widerlegt.

Zweitens sind mathematische Daten, die künstliche Intelligenz trainieren können, billig. Primzahlen, Knoten und viele andere Arten mathematischer Objekte sind reichlich vorhanden. Die Online Encyclopedia of Integer Sequences (OEIS) enthält fast 375.000 Sequenzen – von der bekannten Fibonacci-Folge (1, 1, 2, 3, 5, 8, 13, ...) bis zur leistungsstarken Busy Beaver-Folge (0, 1, 4). , 6, 13, ...), die schneller wächst als jede berechenbare Funktion. Wissenschaftler nutzen bereits Tools des maschinellen Lernens, um die OEIS-Datenbank zu durchsuchen und unerwartete Zusammenhänge zu entdecken.

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

OEIS: https://oeis.org/

Künstliche Intelligenz kann uns helfen, Muster zu entdecken und Vermutungen anzustellen. Aber nicht alle Vermutungen sind konsistent. Sie werden auch benötigt, um unser Verständnis der Mathematik zu verbessern. G. H. Hardy erklärte in seinem Artikel „A Mathematician’s Apology“ aus dem Jahr 1940, dass ein guter Satz „ein integraler Bestandteil vieler mathematischer Konstrukte sein sollte, die zum Beweis vieler verschiedener Arten von Sätzen verwendet werden“.

Mit anderen Worten: Die besten Theoreme erhöhen die Wahrscheinlichkeit, neue zu entdecken. Vermutungen, die uns helfen, neue mathematische Grenzen zu erreichen, sind besser als solche, die weniger Erkenntnisse liefern. Aber um sie zu unterscheiden, bedarf es einer Vorstellung davon, wie sich das Fachgebiet selbst entwickeln wird. Diese Art der Erfassung des breiteren Kontexts wird für lange Zeit außerhalb der Möglichkeiten der künstlichen Intelligenz liegen – daher wird es der Technologie schwer fallen, wichtige Vermutungen zu erkennen.

Trotz dieser potenziellen Probleme bietet die breitere Einführung von KI-Tools in der Mathematik-Community viele Vorteile. Künstliche Intelligenz kann entscheidende Vorteile bringen und neue Forschungswege eröffnen.

Auch Mainstream-Mathematikzeitschriften sollten mehr Vermutungen veröffentlichen. Einige der wichtigsten Probleme der Mathematik – wie Fermats letzter Satz, Riemanns Hypothese, Hilberts 23 Probleme und Ramanujans viele Identitäten – sowie unzählige weniger bekannte Vermutungen haben die Entwicklung der Feldrichtung geprägt. Vermutungen weisen uns in die richtige Richtung und beschleunigen die Forschung. Zeitschriftenartikel über Vermutungen, die durch Daten oder heuristische Argumente gestützt werden, werden die Entdeckung beschleunigen.

Im Jahr 2023 prognostizieren Forscher von Google DeepMind, dass 2,2 Millionen neue Kristallstrukturen entstehen werden. Es bleibt jedoch abzuwarten, wie viele dieser potenziellen neuen Materialien stabil und synthetisierbar sind und praktische Anwendungen haben. Derzeit ist dies vor allem eine Aufgabe für Humanforscher mit breitem Hintergrund in den Materialwissenschaften.

Warum künstliche Intelligenz die Mathematik revolutionieren könnte

Link zum Papier: https://www.nature.com/articles/s41586-023-06735-9

Ebenso erfordert das Verständnis der Ergebnisse von Werkzeugen der künstlichen Intelligenz die Vorstellungskraft und Intuition eines Mathematikers. Daher wird KI nur als Katalysator für die menschliche Kreativität fungieren, nicht als Ersatz.

Verwandter Inhalt: https://www.nature.com/articles/d41586-024-01413-w

Das obige ist der detaillierte Inhalt vonWarum künstliche Intelligenz die Mathematik revolutionieren könnte. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn

Heiße KI -Werkzeuge

Undresser.AI Undress

Undresser.AI Undress

KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover

AI Clothes Remover

Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Undress AI Tool

Undress AI Tool

Ausziehbilder kostenlos

Clothoff.io

Clothoff.io

KI-Kleiderentferner

AI Hentai Generator

AI Hentai Generator

Erstellen Sie kostenlos Ai Hentai.

Heißer Artikel

R.E.P.O. Energiekristalle erklärten und was sie tun (gelber Kristall)
4 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Beste grafische Einstellungen
4 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. So reparieren Sie Audio, wenn Sie niemanden hören können
4 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Chat -Befehle und wie man sie benutzt
4 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌

Heiße Werkzeuge

Notepad++7.3.1

Notepad++7.3.1

Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version

SublimeText3 chinesische Version

Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1

Senden Sie Studio 13.0.1

Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6

Dreamweaver CS6

Visuelle Webentwicklungstools

SublimeText3 Mac-Version

SublimeText3 Mac-Version

Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

„Defect Spectrum' durchbricht die Grenzen der herkömmlichen Fehlererkennung und erreicht erstmals eine hochpräzise und umfassende semantische Fehlererkennung in der Industrie. „Defect Spectrum' durchbricht die Grenzen der herkömmlichen Fehlererkennung und erreicht erstmals eine hochpräzise und umfassende semantische Fehlererkennung in der Industrie. Jul 26, 2024 pm 05:38 PM

In der modernen Fertigung ist die genaue Fehlererkennung nicht nur der Schlüssel zur Sicherstellung der Produktqualität, sondern auch der Kern für die Verbesserung der Produktionseffizienz. Allerdings mangelt es vorhandenen Datensätzen zur Fehlererkennung häufig an der Genauigkeit und dem semantischen Reichtum, die für praktische Anwendungen erforderlich sind, was dazu führt, dass Modelle bestimmte Fehlerkategorien oder -orte nicht identifizieren können. Um dieses Problem zu lösen, hat ein Spitzenforschungsteam bestehend aus der Hong Kong University of Science and Technology Guangzhou und Simou Technology innovativ den „DefectSpectrum“-Datensatz entwickelt, der eine detaillierte und semantisch reichhaltige groß angelegte Annotation von Industriedefekten ermöglicht. Wie in Tabelle 1 gezeigt, bietet der Datensatz „DefectSpectrum“ im Vergleich zu anderen Industriedatensätzen die meisten Fehleranmerkungen (5438 Fehlerproben) und die detaillierteste Fehlerklassifizierung (125 Fehlerkategorien).

Das NVIDIA-Dialogmodell ChatQA wurde auf Version 2.0 weiterentwickelt, wobei die angegebene Kontextlänge 128 KB beträgt Das NVIDIA-Dialogmodell ChatQA wurde auf Version 2.0 weiterentwickelt, wobei die angegebene Kontextlänge 128 KB beträgt Jul 26, 2024 am 08:40 AM

Die offene LLM-Community ist eine Ära, in der hundert Blumen blühen und konkurrieren. Sie können Llama-3-70B-Instruct, QWen2-72B-Instruct, Nemotron-4-340B-Instruct, Mixtral-8x22BInstruct-v0.1 und viele andere sehen hervorragende Darsteller. Allerdings weisen offene Modelle im Vergleich zu den proprietären Großmodellen GPT-4-Turbo in vielen Bereichen noch erhebliche Lücken auf. Zusätzlich zu allgemeinen Modellen wurden einige offene Modelle entwickelt, die sich auf Schlüsselbereiche spezialisieren, wie etwa DeepSeek-Coder-V2 für Programmierung und Mathematik und InternVL für visuelle Sprachaufgaben.

Google AI gewann die Silbermedaille der IMO Mathematical Olympiad, das mathematische Argumentationsmodell AlphaProof wurde eingeführt und Reinforcement Learning ist zurück Google AI gewann die Silbermedaille der IMO Mathematical Olympiad, das mathematische Argumentationsmodell AlphaProof wurde eingeführt und Reinforcement Learning ist zurück Jul 26, 2024 pm 02:40 PM

Für KI ist die Mathematikolympiade kein Problem mehr. Am Donnerstag hat die künstliche Intelligenz von Google DeepMind eine Meisterleistung vollbracht: Sie nutzte KI, um meiner Meinung nach die eigentliche Frage der diesjährigen Internationalen Mathematikolympiade zu lösen, und war nur einen Schritt davon entfernt, die Goldmedaille zu gewinnen. Der IMO-Wettbewerb, der gerade letzte Woche zu Ende ging, hatte sechs Fragen zu Algebra, Kombinatorik, Geometrie und Zahlentheorie. Das von Google vorgeschlagene hybride KI-System beantwortete vier Fragen richtig und erzielte 28 Punkte und erreichte damit die Silbermedaillenstufe. Anfang dieses Monats hatte der UCLA-Professor Terence Tao gerade die KI-Mathematische Olympiade (AIMO Progress Award) mit einem Millionenpreis gefördert. Unerwarteterweise hatte sich das Niveau der KI-Problemlösung vor Juli auf dieses Niveau verbessert. Beantworten Sie die Fragen meiner Meinung nach gleichzeitig. Am schwierigsten ist es meiner Meinung nach, da sie die längste Geschichte, den größten Umfang und die negativsten Fragen haben

Training mit Millionen von Kristalldaten zur Lösung kristallographischer Phasenprobleme, die Deep-Learning-Methode PhAI wird in Science veröffentlicht Training mit Millionen von Kristalldaten zur Lösung kristallographischer Phasenprobleme, die Deep-Learning-Methode PhAI wird in Science veröffentlicht Aug 08, 2024 pm 09:22 PM

Herausgeber |KX Bis heute sind die durch die Kristallographie ermittelten Strukturdetails und Präzision, von einfachen Metallen bis hin zu großen Membranproteinen, mit keiner anderen Methode zu erreichen. Die größte Herausforderung, das sogenannte Phasenproblem, bleibt jedoch die Gewinnung von Phaseninformationen aus experimentell bestimmten Amplituden. Forscher der Universität Kopenhagen in Dänemark haben eine Deep-Learning-Methode namens PhAI entwickelt, um Kristallphasenprobleme zu lösen. Ein Deep-Learning-Neuronales Netzwerk, das mithilfe von Millionen künstlicher Kristallstrukturen und den entsprechenden synthetischen Beugungsdaten trainiert wird, kann genaue Elektronendichtekarten erstellen. Die Studie zeigt, dass diese Deep-Learning-basierte Ab-initio-Strukturlösungsmethode das Phasenproblem mit einer Auflösung von nur 2 Angström lösen kann, was nur 10 bis 20 % der bei atomarer Auflösung verfügbaren Daten im Vergleich zur herkömmlichen Ab-initio-Berechnung entspricht

Der Standpunkt der Natur: Die Erprobung künstlicher Intelligenz in der Medizin ist im Chaos. Was ist zu tun? Der Standpunkt der Natur: Die Erprobung künstlicher Intelligenz in der Medizin ist im Chaos. Was ist zu tun? Aug 22, 2024 pm 04:37 PM

Herausgeber | ScienceAI Basierend auf begrenzten klinischen Daten wurden Hunderte medizinischer Algorithmen genehmigt. Wissenschaftler diskutieren darüber, wer die Werkzeuge testen soll und wie dies am besten geschieht. Devin Singh wurde Zeuge, wie ein pädiatrischer Patient in der Notaufnahme einen Herzstillstand erlitt, während er lange auf eine Behandlung wartete, was ihn dazu veranlasste, den Einsatz von KI zu erforschen, um Wartezeiten zu verkürzen. Mithilfe von Triage-Daten aus den Notaufnahmen von SickKids erstellten Singh und Kollegen eine Reihe von KI-Modellen, um mögliche Diagnosen zu stellen und Tests zu empfehlen. Eine Studie zeigte, dass diese Modelle die Zahl der Arztbesuche um 22,3 % verkürzen können und die Verarbeitung der Ergebnisse pro Patient, der einen medizinischen Test benötigt, um fast drei Stunden beschleunigt. Der Erfolg von Algorithmen der künstlichen Intelligenz in der Forschung bestätigt dies jedoch nur

Um ein neues wissenschaftliches und komplexes Frage-Antwort-Benchmark- und Bewertungssystem für große Modelle bereitzustellen, haben UNSW, Argonne, die University of Chicago und andere Institutionen gemeinsam das SciQAG-Framework eingeführt Um ein neues wissenschaftliches und komplexes Frage-Antwort-Benchmark- und Bewertungssystem für große Modelle bereitzustellen, haben UNSW, Argonne, die University of Chicago und andere Institutionen gemeinsam das SciQAG-Framework eingeführt Jul 25, 2024 am 06:42 AM

Herausgeber | Der Frage-Antwort-Datensatz (QA) von ScienceAI spielt eine entscheidende Rolle bei der Förderung der Forschung zur Verarbeitung natürlicher Sprache (NLP). Hochwertige QS-Datensätze können nicht nur zur Feinabstimmung von Modellen verwendet werden, sondern auch effektiv die Fähigkeiten großer Sprachmodelle (LLMs) bewerten, insbesondere die Fähigkeit, wissenschaftliche Erkenntnisse zu verstehen und zu begründen. Obwohl es derzeit viele wissenschaftliche QS-Datensätze aus den Bereichen Medizin, Chemie, Biologie und anderen Bereichen gibt, weisen diese Datensätze immer noch einige Mängel auf. Erstens ist das Datenformular relativ einfach, die meisten davon sind Multiple-Choice-Fragen. Sie sind leicht auszuwerten, schränken jedoch den Antwortauswahlbereich des Modells ein und können die Fähigkeit des Modells zur Beantwortung wissenschaftlicher Fragen nicht vollständig testen. Im Gegensatz dazu offene Fragen und Antworten

PRO |. Warum verdienen große Modelle, die auf MoE basieren, mehr Aufmerksamkeit? PRO |. Warum verdienen große Modelle, die auf MoE basieren, mehr Aufmerksamkeit? Aug 07, 2024 pm 07:08 PM

Im Jahr 2023 entwickeln sich fast alle Bereiche der KI in beispielloser Geschwindigkeit weiter. Gleichzeitig verschiebt die KI ständig die technologischen Grenzen wichtiger Bereiche wie der verkörperten Intelligenz und des autonomen Fahrens. Wird der Status von Transformer als Mainstream-Architektur großer KI-Modelle durch den multimodalen Trend erschüttert? Warum ist die Erforschung großer Modelle auf Basis der MoE-Architektur (Mixture of Experts) zu einem neuen Trend in der Branche geworden? Können Large Vision Models (LVM) ein neuer Durchbruch im allgemeinen Sehvermögen sein? ...Aus dem PRO-Mitglieder-Newsletter 2023 dieser Website, der in den letzten sechs Monaten veröffentlicht wurde, haben wir 10 spezielle Interpretationen ausgewählt, die eine detaillierte Analyse der technologischen Trends und industriellen Veränderungen in den oben genannten Bereichen bieten, um Ihnen dabei zu helfen, Ihre Ziele in der Zukunft zu erreichen Jahr vorbereitet sein. Diese Interpretation stammt aus Week50 2023

Identifizieren Sie automatisch die besten Moleküle und reduzieren Sie die Synthesekosten. Das MIT entwickelt ein Algorithmus-Framework für die Entscheidungsfindung im molekularen Design Identifizieren Sie automatisch die besten Moleküle und reduzieren Sie die Synthesekosten. Das MIT entwickelt ein Algorithmus-Framework für die Entscheidungsfindung im molekularen Design Jun 22, 2024 am 06:43 AM

Herausgeber |. Der Einsatz von Ziluo AI bei der Rationalisierung der Arzneimittelforschung nimmt explosionsartig zu. Durchsuchen Sie Milliarden von Kandidatenmolekülen nach solchen, die möglicherweise über Eigenschaften verfügen, die für die Entwicklung neuer Medikamente erforderlich sind. Es sind so viele Variablen zu berücksichtigen, von Materialpreisen bis hin zum Fehlerrisiko, dass es keine leichte Aufgabe ist, die Kosten für die Synthese der besten Kandidatenmoleküle abzuwägen, selbst wenn Wissenschaftler KI einsetzen. Hier entwickelten MIT-Forscher SPARROW, ein quantitatives Entscheidungsalgorithmus-Framework, um automatisch die besten molekularen Kandidaten zu identifizieren und so die Synthesekosten zu minimieren und gleichzeitig die Wahrscheinlichkeit zu maximieren, dass die Kandidaten die gewünschten Eigenschaften aufweisen. Der Algorithmus bestimmte auch die Materialien und experimentellen Schritte, die zur Synthese dieser Moleküle erforderlich sind. SPARROW berücksichtigt die Kosten für die gleichzeitige Synthese einer Charge von Molekülen, da häufig mehrere Kandidatenmoleküle verfügbar sind

See all articles