IA erkennt ernsthaften Fehler in 2006 Physik-Studie und erhöht unbequeme wissenschaftliche Frage
Ein Künstliche Intelligenz zum ersten Mal a Fehler in einem Artikel Körper veröffentlicht im Jahr 2006, die die Stabilität des Potenzials des zweifachen Higgs Modells untersucht. Die Feststellung entstand durch die Formalisierung des Theorems mit der Lean-Sprache, was ein Gegenbeispiel zeigt, dass die ungültige Bedingung C für Stabilität als ausreichend erachtete. Diese Entdeckung stellt eine unbequeme Frage, wie viele wissenschaftliche Arbeiten ähnliche Fehler enthalten könnten, ohne erkannt zu werden. Die wissenschaftliche Gemeinschaft diskutiert jetzt die Notwendigkeit, Werkzeuge für Formalisierung um die Robustheit der Ergebnisse zu gewährleisten.
[twitter = 2037243016096722960]
Die Erkenntnis, dass die theoretische Physik
Der Forscher Joseph Tooby-Smith, von der Bath University, nutzte die Lean-Verifikationssprache, um das Theorem auf die Stabilität des Potenzials des Higgs Faltmodells zu kodieren. Dabei stellte die IA fest, dass die Bedingung C, die als ausreichend angesehen wurde, in allen Fällen keine Stabilität gewährleistete und ein Gegenbeispiel darstelle, das dem ursprünglichen Ergebnis widerspricht. Diese Entdeckung zeigt, wie Formalisierung kann versteckte Fehler auch in hoch zitierten Werken offenbaren.
Die Autoren aus der Studie 2006 wurden benachrichtigt und vereinbart, einen Fehlerglaub zu veröffentlichen, obwohl sie sicherstellen, dass die Auswirkungen auf die spätere Forschung begrenzt werden könnten. Die Gemeinschaft fragt sich jedoch, ob das Vertrauen in jahrzehntelange Literatur überschätzt werden könnte und ob andere Bereiche der Körper Sie verstecken auch ähnliche Schwachstellen.
Wie viele Studien könnten ähnliche Fehler verbergen?
Der Fall stellt eine unbequeme Frage: wenn ein IA ein Fehler in einem solchen einflussreichen Artikel, wie viele andere Werke unentdeckte Mängel enthalten könnten? Experten wie Kevin Buzzard warnen, dass der Mangel an Formalisierung in der theoretischen Physik Raum für logische Fehler lässt, die in traditionellen Kritiken unbemerkt gehen. Die Notwendigkeit, eine umfangreiche Bibliothek formalisierter Ergebnisse zu erstellen, wird dringend.
Um dies zu erreichen, wird geschätzt, dass etwa eine Million Zeilen Code die Theorien und Tests beschreiben, eine Anstrengung, die eine massive Zusammenarbeit zwischen Physikern und automatischen Verifikationsspezialisten erfordern würde. In der Zwischenzeit demonstriert die IA ihre Fähigkeit, als Wirtschaftsprüfer der Wissenschaft zu fungieren und die Bedeutung der Überprüfung.
Die Zukunft der IA-getriebenen Formalisierung
Da Modelle wie GPT-5.2 mit formalisierten Datenbanken ausgebildet werden, könnte die Geschwindigkeit der Generierung und der Test von Theoremen deutlich beschleunigen. OpenAI erklärt, dass sein Modell bereits eine neue Formel vorgeschlagen, die mit Gluon-Dispersion in weniger als 12 Stunden zusammenhängt. IA und Formalisierung um unveröffentlichte Ergebnisse zu entdecken. Die Massenannahme hängt jedoch von der Verfügbarkeit strukturierter Daten ab.