AI proofs are powerful tools, but credit goes to the human who framed the idea and guided the result.