Internal AI model claims 100+ long-standing open math problems solved
S_OhEigeartaigh · x · 2026-09-22
Quoted: 'On August 28, we began training a new internal model... this model has now resolved more than 100 long-standing open problems across most areas of mathematics.'
The author notes how the world of mathematics (and soon perhaps science) is changing faster than institutions can absorb, and asks when external experts will get to evaluate this internal model and the practices around it—putting third-party evaluation back in the spotlight.
More from Models
- Alibaba Roadmap: 20GW Global Compute by 2032, Zhenwu Chips 3x Faster — kevinsxu · 2026-09-22
- Experiment suggests modern LLMs like Qwen hide tiny GPT2 self-models inside — paraschopra · 2026-09-22
- A watermarked real photo got tagged "Made with AI", exposing detection flaws — shashib · 2026-09-22
- Xiaomi MiMo-V2.6 details its largest RL scaling run: $2.6M, 1M-token contexts — KyeGomezB · 2026-09-22
- Hands-on: testing Grok 4.7 coding in Cursor across 4 real projects with cost breakdown — Arindam_1729 · 2026-09-22
- Xiaomi's MiMo v2.6 tops open-model index, RL run cost ~$3.5M and was livestreamed — Prompt Engineering · 2026-09-22