
OpenAI Puts $5M Behind Math Verification of AI Research
OpenAI is funding a $5 million Simons Foundation initiative to have mathematicians verify and extend AI-generated research, including OpenAI's own results. The move highlights verification, not generation, as the bottleneck...























