after having burnt twice through my Pro limits using Astra exclusively, I can say that I don't feel the AGI the biggest issue is that its still not opinionated and lacks taste. it doesn't really know what to do, so it just does whatever and you end up wasting time and tokens. a…↗

GPT-6-Astra Benchmarks ARC-AGI-3 - 98.6% FrontierMath Tier 4 v2 - 97.6% DeepSWE v1.1 - 74.1% ExploitBench - 100%↗

New OpenAI repo with a Lean formalization by GPT-6-Astra proves that there are infinitely many pairs of consecutive primes whose distance is at most 186 github.com/openai/PrimeGa…↗

frontier labs are absolutely scamming you on API pricing btw GLM-5.2 is $4.4 output at 744B@40B DeepSeek-V4-Pro is $0.87 output at 1.6T@49B (and they are both making money, without any fancy Blackwell chips) Sonnet 4.6 is $15 output Opus 4.8 is $25 output GPT-5.5 is $30 output…↗

Mythos 5 wrote this melody which I absolutely love Oh, and it also wrote this piano visualizer (naturally)↗