OpenAI Released Nearly 400 Math Results. Verification Is the Hard Part
OpenAI has released nearly 400 AI-generated mathematical results across more than 700 manuscripts. Researchers are impressed by the scale, but warn that understanding and verifying the material could take years.
Read more