Mathematician: Astra solved two of my unpublished theorems in ~60 hours each, $20k in API
basedjensen · x · 2026-09-08
Mathematician Elliot Glazer reports having Astra tackle his two hardest unpublished theorems — the model solved each in about 60 hours. The sequence of three challenges cost roughly $20k in Astra API fees. He believes few people have yet experienced the model's full strength.
More from Models
- Repeating instructions in prompts still makes models adhere better, like it's 2023 — tokenbender · 2026-09-08
- Model slips on a science knowledge test, author calls it acceptable — felpix_ · 2026-09-08
- Native video inference beats sampled frames, but OpenRouter providers don't support it yet — spillai · 2026-09-08
- Users game Tibo's token reset: spend 80% fast, stagger reset cycles to dodge surprise resets — tinyfool · 2026-09-08
- Economists in the top 10% of AI use see no step change from GPT 5.6 to 6 — aniketapanjwani · 2026-09-08
- Drop-in Claude.md patch claims to fix Claude's degraded prose in Opus and Fable — myriable · 2026-09-08