2 ms·
Latest presentation of Terence Tao on what current advancements in AI mean for math discusses (among other things) those issues: https://teorth.github.io/tao-we
by tumdum_ 2mo ago
Latest presentation of Terence Tao on what current advancements in AI mean for math discusses (among other things) those issues: https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.p...
- glitchc 2mo agoThanks for sharing. Regrettably his conclusion on proof exposition increasing in importance reflects the broad trend in every field: When someone (or something) else is doing the actual work, all that's left for the original folks is to find a way to sell it. Pretty soon mathematics will be awash in marketing with slogans such as "I am a famous mathematician, I checked this proof and it looks legit. Trust me." Absolutely nothing wrong with that scenario right? Except for the logically fallacious appeal to authority and the inevitable corruption over time.
- boothby 2mo agoNo. More like "I am mathematician and I have digested this sloppy writing and understand this to be an application of Foo theory to the Bar problem with a Baz twist. The prior publication omits crucial references to..."
- glitchc 2mo agoThe writing's already pretty good, even Terrence Tao calls it flawless, if you read the slides. That's not where the LLM requires help.