AI May Make Math Inaccessible to Humans Even If It Stays 'Less Smart', Says Mathematician

LucaAmb · x · 2026-10-12

LucaAmb offers the metaphor that a slow man on a motorbike beats the fastest runner: even if AI remains locally 'less smart', its speed and verification advantages may make math inaccessible to humans. He wants evidence of autonomous theory construction before concluding otherwise, and maintains that human guidance will stay central in math — though future math will clearly be extremely different.

Related event: Math researchers debate whether AI is simply 'smarter' than human mathematicians(5 posts)→

Original post →

More from AGI Musings

AGI Musings channel →