数学家申请前沿模型权限屡被拒，陶哲轩批评再添实锤
deliprao · x · 2026-09-06
Delip Rao 补充此前的陶哲轩观点：他数不清有多少数学家朋友申请使用 Anthropic/OpenAI 的先进模型和 harness 却被拒之门外。这为'前沿实验室把历史定理证明当营销'的批评提供了侧面印证——数学研究者反而拿不到访问权限。
所属事件:陶哲轩批闭源实验室证定理是病毒式营销(2 条相关)→
「公司和人」频道最新
- AI 音乐平台 Suno 招信任安全工程师，年薪最高 36.4 万美元 — Kyrannio · 2026-10-23
- X 平台 Creators OCR 上线，工程负责人披露研发细节 — Kyrannio · 2026-10-23
- tldraw 工程师内部分享开场页：「AI 精神病」梗图走红 — max__drake · 2026-10-23
- DNS 记录实锤：印度「政府云」mgovcloud 实际跑在 Zoho 的 IP 上 — kingslyj · 2026-10-23
- Cloudflare CTO：未来 18 个月 token 花费将主要流向安全而非工程 — No Priors · 2026-10-23
- Anthropic 携手 Theorem 做形式化验证,PL 学界罕见集体兴奋 — xennygrimmato_ · 2026-10-23