bluesky — Gaël Varoquaux — 12 Oct 2026
In a general-public piece, I discuss how ideas can go from a conversation with an AI tool to a mathematical proof.
#ai-mathematics #proof-assistance #mathematical-creativity
In a general-public piece, I discuss how ideas can go from a conversation with an AI tool to a mathematical proof.
It leads me to wonder, how much plagiarism is there in the mathematical genius of bi AI?