Jotain todella hienoa autoformalisointitekoälyssä on se, että voimme olla hyvin varmoja näiden luotettujen todistusten pätevyydestä. Tämä on sellainen varmistustaso, jota monet ihmisen kirjoittamat työt eivät saa ja josta se hyötyisi. Kiitos paljon @HarmonicMath:n loistavalle Aristoteleen mallille!

GPT-5.2 on todella hyvä malli matematiikassa, herra OpenAI toimi hyvin sen valkosipulin kanssa

Jokin on minulle hyvin selvää: Kaikki muut laboratoriot ovat niin paljon jäljessä OpenAI:ta päättelyssä, eikä se ole lähelläkään. Muiden laboratorioiden täytyy saada hallusinaatiot ja laiskuus hallintaan.