cd/entity/Astra· home› entities› Astra
grep -l @astra /news/*.json | wc -l → 377

Astra

mentions 377 type Organization page 19/19 feed RSS

// recent coverage 377 mentions

00:00
2026-08-02
mindstudio.ai
artificial-intelligence

Who Gets Credit When AI Writes the Proof?

OpenAI reported that an unreleased model made progress on ten longstanding open math problems, some unsolved for up to 48 years, at an inference cost of about $2,000. The results include advances in h…

00:00
2026-08-02
mindstudio.ai
artificial-intelligence

OpenAI's Astra Model Solved 10 Open Math Problems for $2,000

OpenAI's unreleased Astra model reportedly solved 10 decades-old open math problems for under $2,000, including a sphere-packing bound that had not moved since 1978, according to OpenAI researcher Noa…

19:50
2026-08-01
greyenlightenment.com
artificial-intelligence

The information deluge, and human capital boom

A surge in AI-related news and content production is overwhelming readers, with aggregator *Don't Worry Abotu the Vase* averaging 1.2 posts per day, each containing around 50 links. The author notes t…

13:31
2026-08-01
runtimewire.com
artificial-intelligence

OpenAI says unreleased Astra model solved 10 open math problems

OpenAI announced on August 1st that an internal version of its next major model, Astra, produced new results for 10 longstanding problems in mathematics and theoretical computer science, a claim suppo…

12:34
2026-08-01
twitter.com
artificial-intelligence

Unreleased OpenAI model solves 10 major mathematical problems

OpenAI's unreleased Astra model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, according to an announcement from OpenAI. The company believes t…

10:53
2026-08-01
marginalrevolution.com
artificial-intelligence

More math breakthroughs from GPT models

OpenAI's Noam Brown announced that GPT models generated proofs for 10 mathematical breakthroughs at a combined cost of under $2,000 at Sol API prices, highlighting the potential of upcoming Astra mode…

00:00
2026-08-01
korbonits.com
artificial-intelligence

Who Writes the Question

OpenAI published ten results on long-standing mathematical problems, including high-dimensional sphere packing and Connes's rigidity conjecture, found by an internal model called Astra at a token cost…

12:48
2026-07-24
lesswrong.com
ai-safety

Georgia Tech AI Safety Initiative Retrospective 2025-2026

Georgia Tech's AI Safety Initiative (AISI) placed more than 15 members in paid fellowships and full-time AI safety roles during the 2025-2026 academic year, an outlier year for the group. The initiati…

← prev page 19 / 19
// co-occurs with top 8 entities
// topics top 6 topics