AI can now produce maths faster than mathematicians can check it
On 6 October OpenAI posted 722 AI-written maths papers on open research problems. Only 162 come with machine-checked proofs. The hard part of mathematics is no longer finding proofs. It is checking them.
