OpenAI's Math Results Are About 20% Disproofs and Counterexamples
Original titleLooks like 20% of the results are disproofs/counterexamples.
AISummary
A breakdown of OpenAI's released internal-model math results shows about 73 disproofs and counterexamples, roughly 20% of the total. The author argues this counters claims that recent math breakthroughs are concentrated in counterexamples because models are only good at brute-force search.
Source: wh · x.comPublished · added here