Theorembeweiser

WASHINGTON / LONDON (IT BOLTWISE) – OpenAI soll neue Versionen seiner Modellfamilie GPT-5.6 vorbereiten: In einer Testumgebung tauchen die Codenamen „Zinc“ und „Magnesium“ auf. Die Modelle sollen laut Branchenberichten bereits in der aktuellen oder der kommenden Woche veröffentlicht werden. Erwartet werden Verbesserungen beim logischen Schlussfolgern, beim Programmieren sowie bei Effizienz und Latenz. Parallel dazu wird […]