Mathematicians say frontier labs stonewall their access to advanced AI models
deliprao · x · 2026-09-06
Following up on Terry Tao's criticism, Delip Rao notes he has lost count of mathematician friends who requested access to Anthropic/OpenAI's advanced models and harnesses only to be stonewalled — supporting the claim that theorem-proof demos are marketing rather than genuine support for mathematics.
Related event: Terry Tao slams closed labs' theorem-proving as viral marketing(2 posts)→
More from Companies & People
- Ask.com shuts down after 30 years, and no one thought to resurrect Jeeves as an LLM — daveholtz · 2026-09-06
- Sam Altman on his ChatGPT plan: "they give me a special one i think" — borowcy · 2026-09-06
- Wayve's AI-powered autonomous rides go live on Uber in London, running on NVIDIA DRIVE AGX — alexgkendall · 2026-09-06
- OpenAI hosts ~40 global community meetups to celebrate GPT-6 Astra launch — paw_lean · 2026-09-06
- Rumor: AI labs hiring domain experts in-house for RL data and evals — himanshustwts · 2026-09-06
- a16z charts: critical vulns jump to 600+/month as tech hiring shifts toward experience over skills — a16z · 2026-09-06