Tag: Geometrieprobleme

Um das Sprachmodell von AlphaGeometry zu trainieren, mussten die Forscher ihre eigenen Trainingsdaten erstellen, um den Mangel an vorhandenen geometrischen Daten auszugleichen. Sie generierten fast eine halbe Milliarde zufällige geometrische Diagramme und speisten sie in die symbolische Engine ein. Diese Engine analysierte jedes Diagramm und erstellte Aussagen über deren Eigenschaften. Diese Aussagen wurden in 100 Millionen synthetische Beweise organisiert, um das Sprachmodell zu trainieren.

Roman Yampolskiy, außerordentlicher Professor für Informatik und Ingenieurwesen an der University of Louisville, der nicht an