#lean formalization

1 story

#academic disruption #academic publishing #ai-generated research #culture #mathematical proofs #mathematics #millennium prize problems #openai #peer review #research careers #technology

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