🤖 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 🏴