Emnearkiv
Artikler om Matematik fra den danske og internationale AI-branche.
OpenAI oplyser, at en ny intern model har løst et af matematikkens syv Millennium-problemer. Samtidig etableres en uafhængig gruppe på ni matematikere, som skal vurdere resultaterne.
Et internt OpenAI-system har frembragt et 166 sider langt bevis og en maskinkontrollerbar Lean-version af et af matematikkens syv årtusindproblemer. Resultatet er offentliggjort til faglig kontrol, men er endnu ikke generelt accepteret eller godkendt til millionprisen.
Anthropic siger, at Claude-agenter på 11 dage formaliserede den kendte bevisvej i Lean. Det åbne resultat fylder 13 millioner linjer og er kontrolleret af to forskellige proof-kernels, men det er ikke et nyt matematisk bevis.
Googles Antigravity lader flere Gemini-agenter foreslå, kritisere og forbedre hinandens arbejde over timer eller dage. Systemet har leveret syv matematiske resultater, bygget en processor-simulator og fået kodeoptimeringer optaget i open source-projekter.