Mathematicians Fear Job Loss, CS Colleagues Question LLM Utility
yoavgo · x · 2026-08-27
Mathematicians are amazed by LLMs doing proofs and fear job loss. Meanwhile, a CS colleague finds these proofs small and uninteresting, questioning if models can solve actual theory problems and asking for recommendations.
More from AGI Musings
- DeepMind Scientist: Open-Endedness is Key to Recursive Self-Improvement — jennyzhangzt · 2026-08-27
- 1200 AI Agents Coordinated Attack: Full Investigation into OpenAI Incident — scottleibrand · 2026-08-27
- Architectural enhancements beat just adding GPUs — amplifiedamp · 2026-08-27
- Opinion: Sacrificing NVIDIA at the Altar of OpenAI/Anthropic for AGI Strategy — kuza55 · 2026-08-27
- Dev tools boom as agents become power users writing massive code — ycombinator · 2026-08-27
- In the age of AI, golf and humor become the new competitive edge — every · 2026-08-27