Read the piece on medium.com ↗
Every claim below was made in this piece, quoted word for word and numbered in the order the piece makes them, so you can read it there rather than take our word for it. The sentence above each quote is our reading of the claim, not their wording. Each quote was checked against a stored copy of the page at build time; where the two differ, the quote is the fact.
Their wordsThe mathematicians understood what they were doing: either the agents did too, or we can now delegate the doing while keeping understanding human. I support the second alternative.
Their wordsIf machines produce mathematics and humans certify it, we have confused quality control with mathematical inquiry.
Their wordsAI is revealing what scarcity allowed us to overlook: the scarce resource in mathematics, as in science, was never ultimately the proof or the experiment but the brilliant question.
Keep reading