TGViewer
๐€๐ˆ ๐‚๐จ๐ฎ๐ซ๐ฌ๐ž๐ฌ, ๐“๐จ๐จ๐ฅ๐ฌ, ๐€๐ ๐ž๐ง๐ญ๐ฌ & ๐๐ž๐ฐ๐ฌ โ„ข ๐€๐ˆ ๐‚๐จ๐ฎ๐ซ๐ฌ๐ž๐ฌ, ๐“๐จ๐จ๐ฅ๐ฌ, ๐€๐ ๐ž๐ง๐ญ๐ฌ & ๐๐ž๐ฐ๐ฌ โ„ข @aicoursesdaily ยท 1.53K subscribers
Post #641 78
๐Ÿค– 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.

@aitopics
  • ๐Ÿ‘ 1
  • ๐Ÿ˜ 1
  • ๐Ÿ˜ 1
  • ๐Ÿ˜ 1
  • ๐Ÿ‘€ 1
  • ๐Ÿ˜‡ 1
  • ๐Ÿค— 1
Open in Telegram All posts from @aicoursesdaily
More from @aicoursesdaily
  1. Oct 10, 2026๐Ÿ‡จ๐Ÿ‡ณ China Is giving AI-generated humans government IDs China is taking virtual influencerโ€ฆ
  2. Oct 10, 2026โ—๏ธAI companies are preparing for a catastrophic incident as early as 2027 Executives at Opโ€ฆ
  3. Oct 10, 2026๐Ÿ”ช Robots Fight With Knives for the First Time REK has staged what it calls the first knifโ€ฆ
  4. Oct 10, 2026๐Ÿ’ก Gene Therapy Restores Vision in Dogs With Inherited Blindness Scientists at Michigan Stโ€ฆ
  5. Oct 10, 2026all of Anthropic's documentation in one repository. Everything is here โ€” guides on commandโ€ฆ
  6. Oct 10, 2026Building Agentic AI Systems Password: @certs_help Admin: @redblock_team Download Link Redโ€ฆ
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook โ†’Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 โ†’