Lean

DeepMind AI løser ni Erdős-problemer i Science-artikkel

Google DeepMind, en del av Alphabet, har publisert en fagfellevurdert rapport om AlphaProof Nexus, et KI-system som har løst ni uløste problemer stilt av matematikeren Paul Erdős og bevist 44 formodninger fra On-Line Encyclopedia of Integer Sequences (OEIS). Artikkelen ble…

OpenAI trekker tre matte-artikler etter fortegnsfeil

OpenAI har trukket tre av de 722 matematikk-manuskriptene selskapet publiserte 6. oktober, mindre enn et døgn etter at de ble lagt ut. Selskapet oppdaget en fortegnsfeil som ugyldiggjorde argumentasjonen i én artikkel, samt konstruksjonen som to andre artikler baserte seg…

Forskere peker på avvik i OpenAIs Navier-Stokes-bevis

Matematikere gransker nå en stor mengde KI-genererte bevis som OpenAI publiserte 6. oktober, og funnene så langt vekker tvil. Et team ledet av forskere fra Cambridge hevder at den menneskelig lesbare versjonen og den datamaskinkontrollerbare versjonen av selskapets tidligere Navier-Stokes-bevis…

OpenAI publiserte 722 matematiske artikler fra uutgitt AI-modell

Tirsdag 6. oktober publiserte OpenAI 722 matematiske manuskripter i et offentlig GitHub-arkiv, sortert i 372 såkalte resultatfamilier. Selskapet hevder at en uutgitt intern modell står bak arbeidet. Scientific American meldte at arkivet ble gjort tilgjengelig kl. 18.00 EDT. Matematikere forventes…

Anthropic sier Claude har skrevet det første datamaskinkontrollerte beviset for Fermats siste teorem

Anthropic kunngjorde torsdag at deres AI-modell Claude har fullført det første ende-til-ende, datamaskinkontrollerte beviset for Fermats siste teorem, et av de mest berømte resultatene i matematikken. Ved å jobbe i stor grad autonomt over 11 dager, skrev Claude beviset i…