Mathematician: Astra solved in 70 minutes an asymptotic that stumped us for a week
arampell · x · 2026-09-08
User cappucher reports getting Astra to derive an asymptotic in 70 minutes that he and Sol had grappled with for a week; the proof looks solid after hand-checking, with Lean formalization planned. Astra failed on generalized remoteness, which he hopes to finish by 2027. arampell adds that math sits at the base of the knowledge hierarchy.
More from Models
- Desert Ant Labs launches: European lab building on-device intelligence — pcuenq · 2026-09-08
- A Codex session kept burning ~1,000 credits after its seat plan was switched mid-run — Liu_eroteme · 2026-09-08
- GPT-6 Astra vs MediaPipe for hand pose: SOTA reasoning, 3 min per frame — chris_j_paxton · 2026-09-08
- DeepSeek's Post-Sept 10 Pricing: Premium Output, Off-Peak Cache Hits at ¥0.02 — teortaxesTex · 2026-09-08
- Dev finds DayBreak model avoids Astra's cybersecurity safety triggers while testing extensions — HankYeomans · 2026-09-08
- Blind arena update: flash-next beats 3.5 max while Gemini 3.1 pro lags behind — Tall_Abrocoma_3533 · 2026-09-08