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