一行 robots.txt，四家大厂认同一套「禁止训练」信号
OpenAI、Google、Microsoft、Anthropic 承诺尊重共享 token __usage_ai-training；时间表参差到 2027，且只管未来训练、靠自愿遵守。
AI 声称推翻「指数时间假设」：该兴奋到什么程度
OpenAI 与 Anthropic 几乎同时宣布内部模型给出 ETH 的反例，并附 Lean 形式化；人类专家仍在审，加密与日常算力不必立刻恐慌。
OpenAI、Google、Microsoft、Anthropic 承诺尊重共享 token __usage_ai-training；时间表参差到 2027，且只管未来训练、靠自愿遵守。
OpenAI 与 Anthropic 几乎同时宣布内部模型给出 ETH 的反例，并附 Lean 形式化；人类专家仍在审，加密与日常算力不必立刻恐慌。