Søgning
7 briefing-resultat(er) for »math-problem«
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: 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 …
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 …