alt Hacker NewsImagine a future where proofs are discovered autonomously and proved rigorously by machines, and the work of the human mathematician becomes to articulate the most compelling motivations, the clearest explanations, and the most useful maps between intuitions, theorems, and applications. Mathematicians as illuminators and bards of their craft.
Replies
tines • today at 3:53 PM
But in this future, why will “the most compelling motivations, the clearest explanations, and the most useful maps between intuitions, theorems, and applications” be necessary? Catering to hobbyists?
➕ show 3 replies
The question is whether the capabilities that would let AI take over the discovery part wouldn’t also let them take over the other parts.