Tag
OpenAI's so-called 'slop drop' of hundreds of AI-generated results on open math and computer science problems has left mathematicians both impressed and skeptical, with groundbreaking proofs emerging even as questions persist about how the results were produced.
UT Austin Math Chair Francesco Maggi says OpenAI appears to be preparing to release around 400 AI-generated mathematical proofs at once, signaling that mathematical discovery may no longer be the scarce resource — human understanding is.