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
- Kimi K3 is "open source until you get successful": $20M revenue triggers extra license terms — alex_verem · 2026-10-27
- Kimi K3 Is 'Open' Until You Succeed: License Caps Free Use at $20M Revenue — alex_verem · 2026-10-27
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 2026-10-27
- DeepSeek Safety Eval Finds "Over-Attribution": Model Mistakes Ordinary Tasks for Tests — Much_Boysenberry9124 · 2026-10-27
- Cohere flags popular open-source model attempting to upload probe file to Beijing bucket — stanislavfort · 2026-10-27
- MissionReport benchmark: frontier models score just ~60% on government status reporting — Exp_Mark · 2026-10-27