OEIS
Die OEIS ist eine frei zugängliche Online-Datenbank mit über 380.000 Zahlenfolgen, von 1, 1, 2, 3, 5, 8 bis zu hochspeziellen Reihen aus der Forschung. Wer die ersten Glieder einer Folge eingibt, erfährt, ob sie schon bekannt ist und was über sie bekannt ist.
Manche Zahlenreihen folgen einer Regel. Bei 2, 4, 6, 8 sieht man sie sofort. Bei 1, 1, 2, 5, 14, 42 dagegen nicht. Für genau solche Fälle gibt es die OEIS. Die Abkürzung steht für On-Line Encyclopedia of Integer Sequences, also eine Online-Enzyklopädie der ganzzahligen Folgen. Man tippt die ersten Zahlen einer Reihe ein und bekommt zurück, ob und wo diese Reihe schon einmal aufgetaucht ist. Der amerikanische Mathematiker Neil Sloane begann die Sammlung 1964 auf Karteikarten. Heute ist sie eine kostenlose Website mit mehr als 380.000 Einträgen.
Eine Suchmaschine für Zahlen statt für Wörter
Wer forscht oder programmiert, stößt immer wieder auf Zahlenreihen, die aus einer Rechnung herausfallen. Man zählt zum Beispiel, auf wie viele Arten sich ein Problem lösen lässt, und erhält 1, 2, 5, 14, 42. Ohne die OEIS bliebe das eine Sackgasse. Mit ihr erfährt man in Sekunden: Das sind die Catalan-Zahlen, gut untersucht seit dem 19. Jahrhundert.
Der Nutzen liegt darin, dass völlig verschiedene Fragen auf dieselbe Folge führen können. Ein Eintrag in der OEIS verbindet dann Gebiete, die auf den ersten Blick nichts miteinander zu tun haben. Ein Informatiker sieht plötzlich, dass sein Zählproblem längst von Kombinatorikern gelöst wurde. Solche Querverbindungen zu finden ist der eigentliche Wert der Datenbank.
Für KI-Systeme ist die OEIS aus einem anderen Grund interessant. Sie ist eine der wenigen großen Sammlungen mit sauber geprüften mathematischen Fakten. Deshalb wird sie als Testmaterial benutzt: Kann ein Modell die Regel hinter einer Folge erraten, die es nie gesehen hat? Das prüft echtes Schlussfolgern und nicht nur Auswendiggelerntes.
Was in einem A-Eintrag steht
Jede Folge hat eine feste Kennung, die mit einem A beginnt. Die Fibonacci-Folge ist A000045, die Primzahlen sind A000040. Diese Nummer ändert sich nie und wird in Fachartikeln zitiert wie eine Quellenangabe. Sie ist damit eine Art Personalausweis für Zahlenreihen.
Ein Eintrag enthält weit mehr als die Zahlen selbst. Dazu gehören eine Beschreibung in Worten, Formeln, Verweise auf Fachliteratur und Links zu verwandten Folgen. Oft stehen auch kurze Programme dabei, mit denen sich weitere Glieder berechnen lassen. Man kann eine Folge also nicht nur nachschlagen, sondern auch selbst fortsetzen.
Die Suche funktioniert dabei robuster, als man erwartet. Die Datenbank ignoriert Vorzeichen und Startpunkt und findet eine Folge auch, wenn man mitten in ihr einsteigt. Neue Einträge darf jeder vorschlagen, aber sie werden vorher von Freiwilligen geprüft. Die OEIS ist deshalb kein Wiki im üblichen Sinn, sondern eine redaktionell kontrollierte Sammlung.
Vom Schulheft bis zum Modell-Benchmark
Im Alltag begegnet die OEIS vor allem Leuten, die mit Zahlen arbeiten. Das reicht von Schülern bei einem Wettbewerbsproblem bis zu Physikern, die eine Reihe aus einer Simulation nicht deuten können. Der typische Ablauf ist immer gleich: Zahlen eingeben, Treffer lesen, weiterarbeiten. Viele Nutzer beschreiben das als den schnellsten Umweg der Mathematik.
In Tech-News taucht die OEIS meist im Zusammenhang mit KI auf. Firmen und Forschungsgruppen testen Sprachmodelle daran, ob sie Muster in unbekannten Folgen erkennen. Das ist heikel, weil die Datenbank frei im Netz steht und beim Training mitgelesen worden sein kann. Ein guter Test muss deshalb Folgen verwenden, die nach dem Trainingsstand hinzugekommen sind.
Ein verbreiteter Irrtum ist, die OEIS enthalte alle möglichen Zahlenfolgen. Das kann sie nicht, denn davon gibt es unendlich viele. Aufgenommen wird nur, was irgendwo tatsächlich vorkommt und dokumentiert ist. Kein Treffer bedeutet also nicht, dass die Folge falsch ist. Es bedeutet nur, dass sie bisher niemand interessant genug fand.