GPT-6 Astra in Practice: Tests, Use Cases, and Feedback

A Japanese user had GPT-6 Astra check counterexamples to the AR, Tachikawa second, and little finitistic dimension conjectures; the counterexamples appear correct including Lean formalization, though field assumptions such as characteristic 2 limit them.

The poster says cloning openai/math revealed 372 result families, including a quasi-Riemann hypothesis and Hilbert's tenth problem, some produced with Astra's Pro compute.

The leaderboard shows Opus 5.5 at 63.31 points and $4.99 per task, while Astra scores 56.25 but costs $11.61.

A developer complains that current models all involve trade-offs and says they just want the uncompromised quality of Anthropic's Opus or OpenAI's Astra.

After a week with Opus 5.5, the author says it takes shortcuts and makes wrong assumptions, and that GPT-6 Astra remains clearly stronger on non-coding tasks.

Around 100 builders gathered at a café next to WU Vienna for two three-hour, agenda-free GPT-6 Astra sessions where people showed what they were working on.

OpenAI pulled 25% of its production engineers to use models like Astra to find P0 vulnerabilities in its own systems, and aims to automate this "defense factory."

The author gave Astra 12 tasks with a rule not to ask what to do next, and 9 were completed, 2 awaited approval and 1 failed without dragging down the rest.

A Mistral team supporter says Mistral 4 reaches about 72% of GPT-6 Astra's intelligence using 3,800 Grace Blackwell GPUs versus Astra's 100,000+.

After Mistral Large 4 launched, the author ran the same 3D prompt through 8 models, including GPT-6 Astra, GPT-6.1 Sol and Opus 5.5, with one shot and no fixes.

The post says Mistral Large 4 beats Opus 5.5 and Astra on security benchmarks, largely because about 40% of their security tasks were blocked by their own safety filters.

Kevin Roose's new book reports that Dario Amodei wrote a memo after GPT-2 laying out a five-step plan to reach AGI: all web text, expanded context, multimodality, RL, and recursive self-improvement, and Astra is now at the fifth step.