Thema · verifikation

Ein Deep-Research-Agent zerlegt eine Frage, sucht, liest, verdichtet Zwischenstände und schreibt am Ende einen Bericht. Zwischen der ersten Suche und dem letzten Absatz liegen viele …

Das Tau-Protein stabilisiert in Nervenzellen die Mikrotubuli, und zwar überwiegend über seine Wiederholungsabschnitte. Einer davon, R2, ist ungeordnet: An das Protofilament gebunden …

Ob ein Gen eine Krankheit verursacht oder nur mit ihr auftritt, lässt sich aus Beobachtungsdaten nicht ablesen. Zellzustand, Zellzyklus, Charge und die Ko-Expression der übrigen Gene …

Ein Immunrezeptor ist unbekannt, und die Frage lautet, wogegen er sich richtet. Das übliche Verfahren sucht in einer Datenbank den ähnlichsten Rezeptor, dessen Ziel man kennt, und …

Wenn in der genetischen Diagnostik eine Variante auftaucht, die noch niemand kennt, entscheidet häufig ein Vorhersageprogramm mit, ob sie als verdächtig gilt oder unter „vermutlich …

Ein Videomodell soll eine Szene erzeugen, durch die sich eine Kamera bewegt. Sie dreht sich weg, filmt eine Weile etwas anderes und kommt zurück. Steht der Gegenstand dann noch da, wo …

Ein Agent, der eine Aufgabe in dreißig Schritten erledigt, soll unterwegs bewertet werden und nicht erst am Ende. Dafür baut man ein zweites Modell, das jeden Schritt benotet – …

Wer wissen will, was ein Modell gelernt hat, fragt üblicherweise das Modell. Man hält ihm eine Eingabe hin, verändert sie und sieht zu, was sich am Ergebnis bewegt. Das Verfahren hat …

Nachdenken kostet. Jedes Wort, das ein Modell vor seiner Antwort produziert, wird bezahlt – in Rechenzeit, in Geld, in Wartezeit des Nutzers. Also trainiert man Modelle darauf, sich …

Ein Programm, das eine Aufgabe selbständig in einer Kommandozeile erledigt, produziert dabei eine Spur: Befehl, Ausgabe, nächster Befehl, ein gescheiterter Lauf im Median …

Wenn man einem Agenten eine Handlungsanweisung mitgibt, misst man üblicherweise, wie viel besser er dadurch wird. Diese Zahl verschweigt die Gegenrichtung: Aufgaben, die er vorher …

Ein Modell verbessert sich selbst, indem ein zweites seine Ausgaben bewertet – solche Prüfmodelle heißen im Englischen verifiers. Die stillschweigende Annahme: besserer Prüfer …