Søgning
15 briefing-resultat(er) for »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: GLM-5.3-Flash kører på dual Ascend 310P med 8-9 tok/s
… anmodning; NVIDIA golden-math hjalp med at få matematikken stabil. Se [briefingen 11. oktober](/archive/2026-10-11).
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: Eksperter advarer om intelligenseksplosion – regulering halter
25 forskere og ledere, herunder Hinton og Pachoki, advarer om, at AI kan føre til menneskehedens udryddelse. Debatten om ansvar og regulering intensiveres, mens …
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
Efter 52+ timer og 106M tokens nærmer agenten sig C(25,15,5) – bedste løsning nu 44 mod målet 41. Første open-source-gennembrud …
Qwen 3.8 27B løser åbent matematisk problem live på RTX 5090
En bruger lader Qwen 3.8 27B arbejde på dækningsdesign C(25,15,5) i et agentisk eksperiment. Målet er at vise, at open …
OpenAI hævder at have løst Millennium-problem – anklages for plagiat
OpenAI annoncerede, at deres agenter har løst Navier-Stokes-problemet, et af matematikkens syv Millennium-problemer, på 88 timer. Men triumfen overskygges af beskyldninger …
M5 Ultra 96GB vs M5 Max 128GB: Hvad er bedst til Qwen3.8-Flash-Next?
… Napkin-math peger på Ultra til 4-bit kvantisering.
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.
Frontier-modeller fejler stadig i matematiske beviser
En ny benchmark viser, at selv de bedste LLM'er har store problemer med at konstruere og verificere komplekse matematiske beviser. Thinking Machines åbnede …