Astra von OpenAI löst zehn mathematische Probleme – und trifft auf neue Regulierung
WASHINGTON D.C. / LONDON (IT BOLTWISE) – OpenAI stellt die KI-Modellfamilie Astra vor und beschreibt damit einen wissenschaftlichen Meilenstein in der formalen Mathematik. Laut Unternehmensangaben hat eine interne Version von Astra zehn bislang ungelöste Probleme aus Mathematik und theoretischer Informatik bearbeitet. Die Beweise sollen in Lean formalisiert und mit Zertifikaten abgesichert sein. Gleichzeitig rĂĽckt das […]
#Sophos
#AmazonPrime
#Bestseller
