Home
| Lehre
| Videos
| Texte
| Vorträge
| Software
| Person
| Impressum, Datenschutzerklärung
|
Die Blog-Postings sind Kommentare im Sinne von § 6 Abs. 1 MStV. Der Verfasser ist Jörn Loviscach, falls jeweils nicht anders angegeben. Die Blog-Postings könnten Kraftausdrücke, potenziell verstörende Tatsachenbehauptungen und/oder Darstellungen von Stereotypen enthalten. Die Beiträge der vergangenen Wochen werden als Bestandteil der Internet-Geschichte in ihrer ursprünglichen Form gezeigt. Menschliche Autor*innen können unzutreffende Informationen über Personen, Orte oder Fakten liefern.
vorheriger | Gesamtliste | jüngste | nächster
2024-01-19 21:55
So wie die Maschine das Gewinnen im Go durch Spiele gegen sich selbst gelernt hat, so lernt sie an 100 Millionen von synthetisch gefundenen Beweisen (und null! böseböse aus dem Netz abgegrabenen Beispielen), wie sie auf dem Niveau der Internationalen Mathematik-Olympiade Geometrieaufgaben löst: Solving olympiad geometry without human demonstrations.
Vergleichbar mit der Art, in der ChatGPT mit Plug-ins redet, redet hier ein Sprachmodell mit einer Beweis-Engine. Der wichtigste Job des Sprachmodells ist es, Hilfskonstruktionen zu erfinden, welche die Beweis-Engine dann durchspielt.
Die Beweise sind noch etwas wuselig, auch wenn man sie in normale Symbolsprache übersetzt.
Lustig wäre zu wissen, ob das System im Verborgenen aus den Textbeschreibungen irgendeine geometrische Vorstellung von den Problemen, äh, irgendeine geometrische Darstellung der Probleme generiert. Und auf welche anderen Gebiete lässt sich der Webdaten-freie Ansatz erweitern?
Neuer Kommentar
0 Zeichen von maximal 1000
Ich bin die*der alleinige Autor*in dieses Kommentars und räume dem Betreiber dieser Website das unentgeltliche, nichtausschließliche, räumlich und zeitlich unbegrenzte Recht ein, diesen Kommentar auf dieser Webseite samt Angabe von Datum und Uhrzeit zu veröffentlichen. Dieser Kommentar entspricht geltendem Recht, insbesondere in Bezug auf Urheberrecht, Datenschutzrecht, Markenrecht und Persönlichkeitsrecht. Wenn der Kommentar mit einer Urheberbezeichnung (zum Beispiel meinem Namen) versehen werden soll, habe ich auch diese in das Kommentar-Textfeld eingegeben. Ich bin damit einverstanden, dass der Betreiber der Webseite Kommentare zur Veröffentlichung auswählt und sinngemäß oder zur Wahrung von Rechten Dritter kürzt.