#millennium prize problems

2 stories

#culture #mathematics #openai #technology #academic disruption #academic publishing #academic research #advisory group #agmai #ai breakthroughs #ai-generated research #lean formalization

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
OpenAI keeps bulldozing mathematicians
OpenAI forms an advisory group of elite mathematicians to manage its flood of breakthroughs, but the rollout has already damaged trust.
The Verge · 3m