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.




