Boaz Baraktcs: I'm happier when mathematicians use our models to prove theorems
risteski_a · x · 2026-08-13
Boaz Baraktcs tweeted that he hopes the AI industry keeps losing on the benchmark for "least respect when announcing a solution to an open problem." He emphasized that while demonstrating capabilities is good, seeing actual mathematicians use their models to prove theorems makes him much happier.
Related event: Mathematician Litt Details AI's Impact on Math Community and Hype Warnings(15 posts)→
More from AGI Musings
- Opinion: Anthropic Won't Cure Cancer for a Decade — Regulation, Not Intelligence, Is the Bottleneck — bindureddy · 2026-08-18
- Study Finds LLM Agents Rely on Mimicry, Not Abstract Reasoning from Memory — rohanpaul_ai · 2026-08-18
- AI and robots may cause capital markets to collapse due to oversupply — davidpattersonx · 2026-08-18
- Fitness and ferality may become luxury classifiers as AI trivializes intelligence — tedmitew · 2026-08-18
- Blogger Suggests Using an AI Guru Instead of an AI Partner — karmicoder · 2026-08-18
- Invented or discovered? Are neural networks a fundamental pattern of reality? — drabarca_ai · 2026-08-18