ai-math-expert-lean-verification

OpenAI knackt 377 Mathe-Probleme – doppelte AI verfolgt den „Expert“-Weg

LONDON (IT BOLTWISE) – OpenAI hat nach eigenen Angaben Lösungen fĂĽr 377 zuvor ungelöste mathematische Probleme veröffentlicht. Besonders bemerkenswert ist, dass dabei auch Ergebnisse bis in Bereiche wie Topologie und (laut Darstellung) die Riemannsche Vermutung reichen. Der israelische Startup doubleAI setzt dagegen auf spezialisiert agierende „KĂĽnstliche Intelligenz“-Systeme, die neue Konstruktionen suchen und Beweise formal absichern. […]

2.680 Leser gerade online auf IT BOLTWISE


KI-Jobs