OpenAI Astra: KI löst erstmals seit Jahrzehnten offene Matheprobleme
LONDON (IT BOLTWISE) – OpenAI stellt die Modellfamilie Astra vor und veröffentlicht Ergebnisse, die zehn zuvor teils seit Jahrzehnten als ungelöst geltende mathematische Probleme adressieren. Die Resultate werden als formal prĂĽfbare Beweise in einem öffentlichen Repository bereitgestellt und mit Zertifikaten untermauert. Technisch arbeitet das System mit Lean 4.32.0 und mathlib zur Formalisierung, während Reasoning-Traces die […]
#Sophos
#AmazonPrime
#Bestseller
