Kann generative KI das ungelöste Problem der Informatik lösen?

Kann generative KI das ungelöste Problem der Informatik lösen? wird von BTW Media profiliert, weil veröffentlichte Beweise es mit Internet-Infrastruktur, Governance, Betriebsabhängigkeiten oder Marktsichtbarkeit verbinden.

• Forscher nutzen GPT-4 von OpenAI, um die langjährige Frage zu vertiefen, indem sie eine sokratische Methode verwenden, um KI in nuancierte Diskussionen einzubeziehen.
• Die Studie legt nahe, dass große Sprachmodelle wie GPT-4 neue Perspektiven entdecken können und Einblicke in bedeutende Entdeckungen in verschiedenen Bereichen bieten.
• Die Forscher zielen darauf ab zu demonstrieren, dass P nicht gleich NP ist, indem sie GPT-4 durch mehrere Iterationen führen und dabei Charaktere und komplexe Aufforderungen einsetzen, um die Mathematik hinter der Vermutung zu erforschen.

Lesen Sie auch:Was ist der Zweck eines Supercomputers?

Forscher nutzen GPT-4 von OpenAI, um die P = NP-Debatte zu untersuchen, und deuten auf das Potenzial der KI hin, revolutionäre Entdeckungen zu machen.

Welche Rolle kann KI bei der Lösung des P = NP-Dilemmas spielen?

Ist P gleich NP? Vor fast 50 Jahren gestellt, taucht diese Frage tief in die Fähigkeiten von Computern ein, doch trotz jahrzehntelanger Untersuchung bleibt sie unbeantwortet. Heute schließt sich generative KI der Suche an.

In ihrer Studie mit dem Titel „Large Language Model for Science: A Study on P vs. NP“ nutzen der Hauptautor Qingxiu Dong und seine Kollegen das große Sprachmodell GPT-4 von OpenAI. Mit der von ihnen als sokratisch bezeichneten Methode führen sie GPT-4 in mehrere Chat-Interaktionen.

Lesen Sie auch:Samsung integriert Googles generative KI in die S24-Serie

Wie könnten große Sprachmodelle die zukünftige wissenschaftliche Forschung prägen?

Dong et al. behaupten, dass ihre Arbeit zeigt, wie große Sprachmodelle neue Perspektiven entdecken können, was zu wissenschaftlichen Durchbrüchen führen könnte – ein Konzept, das sie „LLMs for Science“ nennen.

Durch 97 Iterationen von Aufforderungen führen die Autoren GPT-4 durch detaillierte Untersuchungen der Feinheiten von P = NP, wobei sie jeder Aufforderung eine kontextuelle Aussage voranstellen, um die Antworten von GPT-4 zu lenken. Durch die Verwendung von Charakteren wie ‚weiser Philosoph‘ oder ‚in Wahrscheinlichkeitstheorie kompetenter Mathematiker‘ bringen sie GPT-4 dazu, spezifische Rollen anzunehmen.

Ihre Taktik besteht darin, GPT-4 dazu zu bringen, die Gleichheit von P und NP zu widerlegen. Dazu nehmen sie zunächst die Gleichheit an, präsentieren ein Beispiel und decken dann dessen Mängel auf – eine Methode, die als Beweis durch Widerspruch bekannt ist.