开源相关文章

AI 声称推翻「指数时间假设」：该兴奋到什么程度

OpenAI 与 Anthropic 几乎同时宣布内部模型给出 ETH 的反例，并附 Lean 形式化；人类专家仍在审，加密与日常算力不必立刻恐慌。