Søgning
11 briefing-resultat(er) for »open-math«
OpenAI's modeller beviser lokale udjævningsformodninger
OpenAI deler resultater, hvor deres modeller har bidraget til at bevise Kakeya-formodningen og andre matematiske gåder. Forskningssamfundet kan nu verificere og bygge videre …
CrowdGPT vil træne LLM med alles GPU-tid
Projektet vil træne en 1B-model uden datacentre, med 100 procent offentlige data og vægte. Største udfordring: incitamentet til at donere GPU-tid.
Opfølgning: OpenAIs matematikfund bygget på stjålne brugerdata
Rapporter hævder at OpenAIs massedump af matematikmanuskripter brugte data indsamlet uden tilladelse. [Se tidligere briefingen](/archive/2026-10-09)
Gary Marcus og Terence Tao kommenterer OpenAI's store matematikfald
Marcus og Tao påpeger, at den virkelige nyhed ikke er resultatet, men hvad OpenAI ikke fortalte – og stiller spørgsmål ved gennemsigtigheden.
OpenAI publicerer resultater på åbne matematiske problemer
OpenAI deler resultater fra en intern frontier-model på åbne problemer i matematik, inklusive Lean-bevisformaliseringer og forskningsdetaljer på GitHub – blandt andet om heltalsmultiplikation …
Opfølgning: OpenAI nedsætter uafhængig matematik-AI-gruppe
Advisory Group on Mathematics and AI skal guide gennemgang og formidling af nye AI-resultater, med Terry Tao involveret. Se [briefingen 14. september](/archive …
Opfølgning: Open-source-agent er tættere på at løse åbent matematisk problem
… Første open-source-gennembrud i matematik kan ske. Se [briefingen 20. september](/archive/2026-09-20).
Qwen 3.8 27B løser åbent matematisk problem live på RTX 5090
… Målet er at vise, at open source-modeller på forbrugerhardware kan fremme videnskab.
OpenAI hævder at have løst Millennium-problem – anklages for plagiat
… Men triumfen overskygges af beskyldninger om, at OpenAI har trænet på forskeres sessioner uden samtykke, hvilket så tvivl om præstationens ægthed.
OpenAI's Astra løser ti årtier gamle matematikproblemer med Lean-beviser
Den endnu ikke udgivne model leverede maskinkontrollerbare beviser for ti Erdős-problemer til en pris på 2.000 dollars.
OpenAI løser ti langvarige problemer i matematik og teoretisk datalogi
OpenAI deler resultater fra en upubliceret model, der har opnået gennembrud inden for geometri, kryptografi og kompleksitet. Det viser AI's potentiale i grundforskning.