


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

Heiße KI -Werkzeuge

Undresser.AI Undress
KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover
Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Undress AI Tool
Ausziehbilder kostenlos

Clothoff.io
KI-Kleiderentferner

AI Hentai Generator
Erstellen Sie kostenlos Ai Hentai.

Heißer Artikel

Heiße Werkzeuge

Notepad++7.3.1
Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version
Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1
Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6
Visuelle Webentwicklungstools

SublimeText3 Mac-Version
Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

Heiße Themen



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

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.

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

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

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

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

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

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
