According to emollick, OpenAI’s Astra released 10 formal math proofs with Lean and CoT, signaling hard-to-feel capability gains across fields.

According to @emollick, OpenAI’s Astra produced 10 formal math proofs with Lean and CoT, showing rapid gains in STEM reasoning and low API costs.

According to @gdb, OpenAI’s Astra delivered 10 new proofs with Lean certificates across algebra, packing, and complexity at ~$2000 each.