Anthropic团队利用Claude AI在11天内完成了费马大定理的完整计算机验证，生成了1300万行Lean代码，证明了29500个中间定理，展示了AI自动形式化复杂数学证明的可行性。此外，还报道了Chrome V8引擎的高危漏洞、Nitter实例增多、美国腐败感知创新高、Mullvad关闭DNS服务以及荷兰运回黄金等科技与政治新闻。