According to CoinMeta, the research system of Anthropic found a streamlined and verified proof for a conjecture known as Aaronson-Ambainis within three days. This conjecture has remained unresolved since 2008 and concerns when quantum computers will be much faster than conventional computers. Researchers from Stanford University described this proof as a major achievement in solving a problem that has persisted for decades.