OpenAI Dropped Nearly 400 AI Math Results and Mathematicians Are Reeling
OpenAI released nearly 400 AI-generated math results across more than 700 manuscripts at once, stunning mathematicians, splitting the community between awe and anxiety, and opening a window on verification and Lean skills.