#peer review

2 stories

#mathematics #openai #academic disruption #academic publishing #academic research #ai-generated research #artificial intelligence #creative process #culture #lean formalization #mathematical culture #mathematical proof

OpenAI's math deluge leaves researchers reeling
Nearly 400 AI-generated mathematical results have upended careers and research plans, leaving mathematicians years of work to verify what is real.
The Verge · 4m
AI's brute force threatens math's creative soul
OpenAI solved a decades-old puzzle using thousands of agents, but mathematicians worry the speed of AI proofs could destroy the understanding that drives discovery.
WIRED · 3m