1 articles with this tag
OpenAI's Astra solved 10 open math problems with short, human-like proofs, shifting the bottleneck from proving to absorption.
