Harmonic's Bel reportedly solves 100+ longstanding open math problems
ctjlewis · x · 2026-10-07
Elliot Glazer sparked discussion by noting that Harmonic's math model Bel has reportedly solved over 100 longstanding open problems — a result he considers unsurprising. The earlier Astra vs Bel comparison chart already showed Bel could solve nearly half of its curated open problems list, so he expected several times that count by now. ctjlewis reshared the thread in agreement.
More from Models
- Answering 'Paris' took Qwen 3.8 27B 25.8 billion equations — done in 13ms — CatAstro_Piyush · 2026-10-07
- Gwern's dictum resurfaces: sampling reveals presence of knowledge, never absence — akbirthko · 2026-10-07
- Grok 4.7 goes live on Microsoft Foundry, expanding xAI's enterprise reach — SpaceXAI · 2026-10-07
- Claude turns OpenAI's 53-page Hodge conjecture proof into a 3D animation — imjustnewatai · 2026-10-07
- Claude Opus 5.5 tops AA Index at 58, but per-task cost stays flat as output volume jumps 60% — qinzytech · 2026-10-07
- Small LLMs Hit Only 15% Rank-Score Consistency in Financial Analysis Tests vs 75% for Frontier Models — Rough_Practice7631 · 2026-10-07