CoinsAQ
All news

CoinsAQ summary · neutral

Meta and NYU’s h1 system beats elaborate theorem-proving workflows at lower cost

What happened

Meta and NYU's h1 loop scored 670/672 on PutnamBench and beat AlphaProof Nexus on Erdős problems at $121 versus $317 per proof.

Related asset context

Not financial advice. News and sentiment can be incomplete, delayed, or change quickly.