AI Signal 454
OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000.
↗
OpenAI announced that an internal version of its next frontier model, Astra, proved 10 long-standing math and science theorems at a token cost of $2,000.
This demonstrates a significant leap in AI's capability to perform complex, formal reasoning in mathematics and science, moving beyond natural language generation. For engineers, it signals that AI tools may soon handle high-level analytical and verification tasks previously requiring specialized human expertise, though at a substantial computational cost.
Written by elseif from the cluster below · every claim links back to a sourceThe three things worth knowing
An internal version of OpenAI's next frontier model, Astra, successfully proved 10 long-standing math and science theorems.
The computational cost for generating these proofs was $2,000 in tokens.
The announcement was shared by OpenAI as part of a research update this week.
THE CLUSTER