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 […]
Mathematisches Paar löst bedeutendes Problem der Gruppentheorie
MĂśNCHEN (IT BOLTWISE) – Nach zwei Jahrzehnten intensiver Forschung haben die Mathematiker Britta Späth und Marc Cabanes einen bedeutenden Durchbruch in der Gruppentheorie erzielt. Ihre Arbeit an der McKay-Vermutung, einem der größten ungelösten Probleme in diesem Bereich, hat die mathematische Gemeinschaft in Erstaunen versetzt. Die McKay-Vermutung, die in den 1970er Jahren formuliert wurde, beschäftigt sich […]
#Sophos
#AmazonPrime
#Bestseller
