[OT] Mathematics in the age of AI

https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf
and in general
https://teorth.github.io/tao-web/ai-views.html

On slide 43
"""
                            proof exposition
Well-written solutions <------  Verified solutions
"""

sounds to me as a surrender... mathematicians as "proof beautifiers"...

Just after, on slide 44:
"""
In short, we will transition from an era of proof scarcity to an era of
proof
abundance.
"""

By replacing "mathematicians" with "developers" and "proof" with "code
fixing/improving," we get that the same also applies to code developers,
regardless of the type of code.
And whether it is "artificial general cleverness" and not "artificial
general intelligence" is a matter of splitting hairs for most of us.

--
luigi

___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the Wiki!

maillist : [email protected] / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage  : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive  : https://github.com/contextgarden/context
wiki     : https://wiki.contextgarden.net
___________________________________________________________________________________