"Cyborgs suddenly dominate math research": AI-assisted proofs spread fast
IgorCarron · x · 2026-10-16
- Responding to Ethan Mollick's observation that cyborgs (human+AI teams) are "rather suddenly" dominating math research, Igor Carron says he hasn't automated his own workflow as much as he'd like — Claude still confuses some mathematical areas and their importance.
- He notes the phenomenon hit communities that thought they were immune for a while, and points to a regularly updated collection of AI-assisted math results as evidence of how fast this is spreading.
More from AGI Musings
- China uses AI to speed fusion R&D, cutting tokamak shot prep from days to 30 minutes — teortaxesTex · 2026-10-16
- jd_pressman shares alignment roadmap: Weave algorithm plus Gillen quantilizer against Goodhart — jd_pressman · 2026-10-16
- On AI psychosis: the case for admitting uncertainty about AI sentience — flowersslop · 2026-10-16
- Yudkowsky Mocks Interpretability Research: Finding 'Eiffel Tower Neurons' Isn't Alignment — nptacek · 2026-10-16
- Yudkowsky Rips Apart Claims That Interpretability Could Make ASI Alignment 'Normal Science' — inductionheads · 2026-10-16
- Clean model weights could be 'a nuclear bomb' for continual learning — mayfer · 2026-10-16