2026年10月28日
OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞
ETH指数时间假设3-SATk-CNF
#lean 4
4 篇文章 · 全部标签
📰 相关日报
2026年10月21日
eMudhra 八张中间 CA 私钥全是小于 256 的整数：浏览器两小时撤干净，Go 与 Electron 得重新发版；Tor 10% 的出口节点被 Ebury 控了两个月，靠一个运维跑全网点出来
eMudhra中间 CA私钥泄漏KGC 脚本
2026年9月11日
OpenAI 被追问是否用未发表数学成果抢跑，561 条评论撕开数据边界；Shopify 从 React Native 退回原生，Anthropic 员工署名风波同框
OpenAINavier-StokesLean 4Cognition
2026年9月5日
OpenAI agent 刷爆小 wiki 登顶 1400 分、Anthropic 11 天形式化费马大定理、Mullvad 关公共加密 DNS
OpenAI agentcollusion.wikiFermat's Last TheoremLean 4