Mathematicians plus Meta's Muse Spark solve 6 open math problems, skeptics unmoved
YiMaTweets · x · 2026-10-05
Alexandr Wang announced that mathematicians collaborating with Muse Spark solved 6 open math problems, spanning Gaussian ellipsoid fitting thresholds, finite-time blow-up for the mass-critical biharmonic NLS, semiabelian groups not needing to be monomial, alpha-cycle relaxation tightness, and more. Skeptics like jasondeanlee pushed back, noting Muse Spark mostly finds solutions to already-solved problems — something Google can do too.
Related event: Meta's Claim of AI Solving Six Open Math Problems Disputed by Scholars(4 posts)→
More from Research
- Judea Pearl: logic and causal discovery are the two pillars of Western science — yudapearl · 2026-10-05
- Tsinghua NLP's LexReward: taxonomy-driven reward modeling for legal LLMs — TsinghuaNLP · 2026-10-05
- Protein folding post-training lifts LLM reasoning: +3.23pp on all 10 benchmarks — SJUT1 · 2026-10-05
- MotorMind: zero-shot robot manipulation with general VLMs, 95% success on real xArm6 — UIUC-CS · 2026-10-05
- HyperBrowseComp: 423 questions in 13 languages stress-test web-browsing agents — MBZUAI · 2026-10-05
- VaSE: training-free stochastic KV cache eviction for reasoning models, shown at COLM 2026 — robinomial · 2026-10-05