OpenAI's release of nearly 400 mathematical results across over 700 manuscripts has significantly disrupted human research programs and grant proposals, with…
1 editorial report · 1 verified social mention. The most authoritative report leads while later evidence completes the story.
🤖 OpenAI's math dump is already OBLITERATING entire HUMAN research programs. The Verge spoke to 3 dozen+ mathematicians. NYU's Tristan Buckmaster says he's heard of THREE people whose entire research programs were "obliterated." Others say grant proposals have been wiped out. Some results could have put human mathematicians in contention for a Fields Medal. OpenAI released nearly 400 results across 700+ manuscripts, but only 42% of top-line results are Lean-formalized. It hasn't disclosed the model, prompts or full set of problems attempted. One mathematician says even if AI disappeared TODAY, they could spend the next 10 YEARS just studying the results. @aipost 🏴
Open mention