OpenAI опубликовала десять новых результатов в математике и теоретической информатике, полученных внутренней версией еще не выпущенной модели Astra. По…

OpenAI is building a new model family called "Astra" that would let multiple agents tackle complex problems together for hours or even days. CEO Sam Altman has already demoed…

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its…

Eight or nine misconceptions about Astra. See if you can spot the biggest fallacy.