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