Verification

Anthropic veröffentlichte FlashProve, einen Forschungsprototypen, der Kryptografie nutzt, um zu überprüfen, ob eine KI-Antwort vom angegebenen Modell stammt, ohne dessen Gewichte offenzulegen. Das Unternehmen sagt, das System habe weiterhin erhebliche Einschränkungen.

Research • The Decoder

OpenAI hat angekündigt, dass seine Modelle neue Ergebnisse zu drei wissenschaftlichen Problemen erzielt haben, darunter Hinweise darauf, dass die Exponential Time Hypothesis falsch ist. Das Unternehmen teilt diese Ergebnisse mit akademischen Gemeinschaften zur Verifizierung und weiteren Forschung.

AI-Forschung • Hacker News

Produktivität

KI kann mathematische Sicherheitsbeweise für Open-Source-Bibliotheken generieren, was die Software-Verifikation verbessert und Schwachstellen reduziert.

&Truth • Seed

&Truth, ein Startup, das darauf setzt, dass KI formale Softwareverifikation praktisch machbar macht, startete mit einer $70-Millionen-Seed-Runde als Teil einer Welle von Startups in diesem Bereich.