Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…
in my imagination of the future, of AIs doing raw research, it was the AIs that had full control over the proofs they wrote--attribution was clear, and so was the choice to disclose it. but as it stands we are in some hybrid situationship where the human prompter still assumes responsibility.
Thoughtful and relevant outside math. A partial summary: Gowers thinks it’s important to sustain a human mathematical culture, but is unconvinced by the Leiden Declaration’s attempt to do that by reaffirming human ownership of specific *discoveries*.
tachikoma
an interesting blog post by Timothy Gowers on the Leiden declaration (on AI and Math), on why he didn't sign. it gets to a subtler aspect of control over AI and our future.
