SAN FRANCISCO: An einem kürzlichen Nachmittag gab Tudor Achim einem Bot mit künstlicher Intelligenz namens Aristoteles eine Denksportaufgabe. Bei der Frage handelte es sich um eine 10 x 10 große Tabelle mit hundert Zahlen. Wenn man in jeder Zeile die kleinste Zahl und in jeder Spalte die größte Zahl sammeln würde, fragte er sich: Könnte dann die größte der kleinen Zahlen jemals größer sein als die kleinste der großen Zahlen? Der Bot antwortete richtig mit „Nein“. Aber das war nicht überraschend. Auch beliebte Chatbots können die richtige Antwort geben. Der Unterschied bestand darin, dass Aristoteles bewiesen hatte, dass seine Antwort richtig war. Der Bot generierte ein detailliertes Computerprogramm, das überprüfte, ob „Nein“ die richtige Antwort war.
Chatbots wie ChatGPT und Gemini können Fragen beantworten, Gedichte schreiben, Nachrichtenartikel zusammenfassen und Bilder generieren. Aber sie machen auch Fehler, die dem gesunden Menschenverstand widersprechen. Manchmal erfinden sie Dinge – ein Phänomen, das nicht als Halluzination bezeichnet wird.
Achim, CEO und Mitbegründer eines Silicon Valley-Startups namens Harmonic, ist Teil der wachsenden Bemühungen, eine neue Art von KI zu entwickeln, die niemals halluziniert. Heute steht diese Technologie im Fokus Mathematik. Viele Forscher glauben jedoch, dass sie dieselben Techniken auf die Computerprogrammierung und andere Bereiche übertragen können. Da es sich bei der Mathematik um eine strenge Disziplin mit formalen Methoden zum Nachweis, ob eine Antwort richtig oder falsch ist, handelt es sich bei Unternehmen wie z Harmonisch können KI-Technologien entwickeln, die ihre eigenen Antworten überprüfen und lernen, verlässliche Informationen zu produzieren.
Einige Forscher glauben, dass sie irgendwann ein KI-System aufbauen können, das besser in Mathematik ist als jeder Mensch. Das ist das Ziel von Achim und seinem Mitgründer Vlad Tenev. Ihr Unternehmen Harmonic hat 75 Millionen US-Dollar an Finanzmitteln von Sequoia Capital und anderen Investoren eingesammelt. Andere glauben, dass sich diese Techniken weiter ausdehnen und zu KI-Systemen führen können, die sowohl physikalische als auch mathematische Wahrheiten überprüfen können.
Während Aristoteles seine eigenen Antworten überprüft, wird dies zu einer Möglichkeit, enorme Mengen vertrauenswürdiger Daten zu generieren, die zum Unterrichten von KI-Systemen verwendet werden können. Forscher nennen dies „synthetische Daten“ – von KI erzeugte Daten, die zum Trainieren von KI verwendet werden können. Forscher glauben, dass dieses Konzept ein wesentlicher Bestandteil der KI-Entwicklung sein wird. Achim und Tenev glauben, dass Aristoteles nach jahrelanger Ausbildung besser in Mathematik sein wird als jeder andere Mensch. „Wir wollen, dass es Probleme löst, die noch nie gelöst wurden“, sagt Tenev.
Ist Mathematik der Weg zu KI-Chatbots, die nichts erfinden?
