Justin Sun Preisverleihungen würdigen Fortschritte bei Erdős-Problemen durch KI-Zusammenarbeit

Das Büro von Justin Sun hat die neuesten Preisträger des Justin Sun Preises bekannt gegeben und ehrt den unabhängigen Forscher Wouter van Doorn, den Mathematik-Ph.D.-Studenten Quanyu Tang und den Forscher Yanyang Li von der Southeast University in Nanjing. Ihre Beiträge umfassen sechs Erdős-Probleme, die mathematische Fragen sind, die vom ungarischen Mathematiker Paul Erdős populär gemacht wurden.

Wouter van Doorn, ein unabhängiger Zahlentheoretiker, und Quanyu Tang, ein Ph.D.-Student an der University of Science and Technology of China, arbeiteten mit Yanyang Li zusammen, um das Erdős-Problem #650 zu lösen. Dieses Problem befasst sich damit, wie viele ganze Zahlen innerhalb eines bestimmten Intervalls mit unterschiedlichen Vielfachen übereinstimmen können.

Van Doorn hat auch computerüberprüfbare Beweise für mehrere andere Erdős-Probleme unter Verwendung von Lean, einer Software zur Verifizierung mathematischer Argumentationen, erstellt. Dazu gehören Probleme, die sich mit aufeinanderfolgenden ganzen Zahlen und deren Primfaktoren sowie den Eigenschaften bestimmter Zahlenklassen befassen. Tang löste separat das Erdős-Problem #1044 und stellte Grenzen für die von Polynomen definierten Randlängen auf und trug zur Lösung des Problems #1196 bei.

Ihre Arbeit exemplifiziert die Zusammenarbeit zwischen menschlichem Urteilsvermögen und KI, wobei Werkzeuge wie ChatGPT bei der Entwicklung von Beweisstrategien helfen und Aristotle, ein KI-Argumentationssystem, dabei unterstützt, Lücken in der Formalisierung zu schließen. Tang bemerkte, dass die Erfahrung die Bedeutung von öffentlichem Feedback bei der Verfeinerung von Forschungsfragen hervorhob und demonstrierte, wie KI die mathematische Entdeckung verbessern kann.

Diese Runde der Auszeichnungen markiert die ersten bestätigten Anerkennungen durch den Justin Sun Preis, der darauf abzielt, Fortschritte in der Mathematik und KI-unterstützten wissenschaftlichen Entdeckung zu unterstützen. Die Preise werden in USDT auf TRON oder USDC auf Ethereum vergeben, je nach den Vorlieben der Empfänger.