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
___________________________________________________________________________________
