Google DeepMind hat ein großes Sprachmodell namens FunSearch verwendet, um ein unlösbares mathematisches Problem zu lösen. Dies ist das erste Mal, dass ein Sprachmodell verwendet wurde, um eine Lösung für ein wissenschaftliches Rätsel zu finden. FunSearch kombiniert ein Sprachmodell namens Codey mit anderen Systemen, um falsche Antworten abzulehnen und gute Antworten vorzuschlagen. Die Forscher begannen damit, das Problem in Python zu skizzieren, und ließen FunSearch die Lücken ausfüllen, um Code vorzuschlagen, der das Problem löst. Nach mehreren Millionen Vorschlägen und Wiederholungen lieferte FunSearch eine korrekte und bisher unbekannte Lösung für das Cap-Set-Problem. Dieses Problem ist in der Mathematik wichtig und hängt mit der Matrixmultiplikation zusammen. FunSearch hat gegenüber anderen Tools den Vorteil, dass es für die Lösung einer Vielzahl von Problemen eingesetzt werden kann und die Ergebnisse leichter zu verstehen sind. Die Forscher setzten FunSearch auch zur Lösung des Mülltonnenproblems ein, was schneller gelang als die von Menschen entwickelten Methoden. Mathematikforscher untersuchen noch immer, wie sie große Sprachmodelle in ihre Arbeitsabläufe einbinden können, und FunSearch bietet einen vielversprechenden Weg in die Zukunft.
