“Mathematics will need to develop a research culture that can accommodate AI as a partner. This will involve journals that require verification, hiring and tenure arrangements that reward exposition and checking, and collaborative practices for the verification of proofs. Checking and explaining AI-generated mathematics must count as original intellectual labor. The stronger AI becomes, the more valuable this human expertise will be.” Daniel Kipnis, Wall Street Journal ($)

Read the original article