KI-Rivalen nehmen das Yang-Mills-Problem in der Physik ins Visier
OpenAI und ein mit Anthropic verbundenes Team melden Fortschritte bei einer der tiefsten mathematischen Fragen der Physik
Konkurrierende Teams im Bereich der künstlichen Intelligenz richten ihre Werkzeuge auf die theoretische Physik. Forschende von OpenAI und eine mit Anthropic verbundene Gruppe haben messbare Fortschritte beim Yang-Mills-Existenzproblem erzielt, wie [Science](https://www.science.org/content/article/ai-rivals-tackle-one-physics-deepest-mathematical-challenges) berichtet.
OpenAI- und Anthropic-Teams nehmen sich eines Grundlagenproblems an
Die Arbeit an den mathematischen Grundlagen der modernen Eichtheorie stößt bei führenden Entwicklern künstlicher Intelligenz auf Interesse. Wie Science berichtet, haben OpenAI und ein mit Anthropic verbundenes Forschungsteam unabhängig voneinander Fortschritte beim Yang-Mills-Existenzproblem dokumentiert. Das Problem zählt zu den berühmtesten ungelösten Herausforderungen der mathematischen Physik.
Rechenmethoden treffen auf theoretische Physik
Die beiden Anstrengungen zeigen, wie große Labore ihre Systeme an strengen mathematischen Beweisen erproben statt an gängigen Software-Benchmarks. Dem Bericht von Science zufolge konzentrierten sich beide rivalisierenden Gruppen auf die Existenzkriterien innerhalb der Yang-Mills-Theorie und brachten rechnerische Innovation in ein Problem, das Forschende seit Mitte des 20. Jahrhunderts beschäftigt.
Was die Forschung für die künftige Verifikation bedeutet
Die von Science dokumentierten Fortschritte deuten darauf hin, dass fortgeschrittene Maschinenmodelle bald eine regelmäßige Rolle bei der Verifikation komplexer physikalischer Gleichungen spielen könnten. Beobachter verfolgen, ob die Teams formale Manuskripte oder Softwarewerkzeuge zur Überprüfung ihrer Arbeit veröffentlichen, was künftige Patent- und Softwareanmeldungen rund um automatisiertes mathematisches Schließen beeinflussen könnte.
Lesen Sie auch bei The Patent: GAO warnt: Die Rückstandsziele des USPTO könnten unter Personalmangel scheitern · Kompakter Laserbeschleuniger erzeugt in Computermodellen helle Röntgenstrahlen im Wasserfenster
Automatisch aus dem englischen Original übersetzt. Original lesen
