Science · via Hacker News
Golden age or dark age for maths? A guest post on Terence Tao's blog
Mathematician Francesco Maggi weighs how LLM-generated proofs could either power a golden age or leave knowledge concentrated and hard for humans to understand. He calls for publicly governed research LLMs, disclosure standards and new ways to train and assess young mathematicians.