Mathematicians mostly excited about AI, grad students and postdocs hit hardest
_onionesque · x · 2026-10-12
onionesque says most mathematicians he knows are excited about AI, with grad students and postdocs hit hardest by scooping. He notes he's predicted theorem-proving scenarios like this for years and expects Bourbakist-style "theory and understanding" work to become interesting as AI matures—AI may contribute to structured mathematical understanding, not just proof verification.
More from AGI Musings
- Meta intern research: IdeaScientist boosts AI research proposal novelty by 25% — JeremyNguyenPhD · 2026-10-12
- AI's lowering of the barrier to applied math in engineering will be a landmark tech achievement — _onionesque · 2026-10-12
- AI's biggest achievement will be making applied math easy in ordinary engineering — _onionesque · 2026-10-12
- Why a million abstract-thinking AIs won't master rocket design: the tacit knowledge argument — binarybits · 2026-10-12
- Hinton argues the brain is analog: LLMs simulate intelligence's output, not intelligence itself — AlexTensor · 2026-10-12
- How Do Junior Engineers Become Seniors Without Coding in the AI Era? — KlausCodes · 2026-10-12