1 items
OpenAI released about 400 AI-generated math results across 700+ manuscripts, and mathematicians say verifying them could take years.