Goblin
News
AI news by
promptgoblins.ai
|
News
About
News
About
Filtered by:
Astra
Clear
Titles
Summaries
8
OpenAI Astra Solves 10 Open Problems in Mathematics and Theoretical Computer Science, Publishes Lean 4 Proof Certificates on GitHub
Updated Aug 4
Research
20
Aug 5
8
OpenAI Astra Solves 10 Open Problems in Mathematics and Theoretical Computer Science, Publishes Lean 4 Proof Certificates on GitHub
Top
Upd Aug 4
Research
· 20 srcs · Aug 5
Discuss
8
OpenAI Previews 'Astra' Multi-Agent Model to US Senators; Astra Set to Be First Under Trump Administration Pre-Release Clearance Framework
Updated Aug 2
Policy
5
Aug 2
8
OpenAI Previews 'Astra' Multi-Agent Model to US Senators; Astra Set to Be First Under Trump Administration Pre-Release Clearance Framework
Top
Upd Aug 2
Policy
· 5 srcs · Aug 2
Discuss
Filters
Signal
Title
Category
Sources
Posted
Discuss
