Google DeepMind hat kürzlich mit Hilfe eines großen Sprachmodells ein bisher ungelöstes mathematisches Problem erfolgreich gelöst. Mithilfe des KI-Tools FunSearch wurden neue, verifizierbare und wertvolle Informationen entdeckt, die zuvor nicht bekannt waren. FunSearch ist ein Werkzeug, das Lösungen im mathematischen Bereich finden kann und wird in Kombination mit dem großen Sprachmodell Codey eingesetzt.
Im Zuge dieses Prozesses gelang es auch, das Bin-Packing-Problem zu lösen. Diese Forschungsergebnisse unterstreichen das enorme Potenzial großer Sprachmodelle in der mathematischen Forschung.