cd/entity/openai/ten-proofsΒ· homeβ€Ί entitiesβ€Ί openai/ten-proofs
grep -l @openai/ten-proofs /news/*.json | wc -l β†’ 1

openai/ten-proofs

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

13:08
2026-08-02
sourcefeed.dev
artificial-intelligence

Astra's Real Breakthrough Is the Lean Receipts

OpenAI researcher Noam Brown announced on August 1 that an internal version of Astra, OpenAI's next major model family, solved ten open problems in mathematics and theoretical computer science, includ…

// co-occurs with top 7 entities
// topics top 4 topics