Wissenschaftliche Transparenz

LONDON (IT BOLTWISE) – OpenAI stellt neue mathematische Ergebnisse bereit, die von einem internen KI-Frontier-Model erzeugt wurden. Für die Veröffentlichung setzt das Unternehmen auf ein GitHub-Repository mit Protokollen für Papier-Revisionen und Zitationen. Zusätzlich veröffentlicht es Lean-Formalisationen vieler Beweise, um Nachprüfbarkeit durch Computer zu ermöglichen. Auch Details zu Reasoning-Zusammenfassungen und zu Rechenaufwänden werden mitgegeben. OpenAI will […]