OpenAI声称用AI解决了纳维-斯托克斯存在性与光滑性问题,这是千禧年大奖难题之一,并提供了Lean形式化证明。
评价:这要是真的,数学界要地震。但学术界已经在质疑他们是不是作弊了,好戏还在后头。
AI圈日报
https://aicircle.news/archive/2026-09-09
扫码查看本文
OpenAI声称用AI解决了纳维-斯托克斯存在性与光滑性问题,这是千禧年大奖难题之一,并提供了Lean形式化证明。
评价:这要是真的,数学界要地震。但学术界已经在质疑他们是不是作弊了,好戏还在后头。
Cognition估值达480亿美元,投资者认为AI编程市场不会赢家通吃,其估值倍数高于Cursor卖给SpaceX前。
评价:AI编程赛道还没定局,各家都有肉吃。资本在赌这个市场够大,能容下多个玩家。
部分重度用户起诉Anthropic,称其顶级订阅服务承诺与实际不符,感觉自己被误导。Anthropic曾为讨好这些用户切断其他应用。
评价:为了留住大客户,连OpenClaw都敢砍,结果反被用户告。这波操作有点得不偿失。
Meta推出个人AI代理Muse,可访问用户邮件、日历、支付和健康服务,是其在消费AI领域最大的赌注,但用户是否信任Meta的数据处理是大问题。
评价:Meta想让你把身家性命交给它?先问问它这些年怎么处理用户数据的吧。
Anthropic一名研究员因担忧AI竞争导致自我改进模型可能失控而辞职,内部对AI安全风险的担忧加剧。
评价:连Anthropic的人都跑了,说明安全不是口号。竞赛压力下,谁还顾得上刹车?
谷歌DeepMind推出AlphaGenome Atlas,绘制了人类基因组中90亿个单字母DNA变异的分子效应图谱,有望加速疾病治疗研究。
评价:这是真正改变世界的AI应用。比起聊天机器人,这才是硬核科学。
法国AI实验室Mistral完成30亿欧元融资,估值210亿欧元,由三星、Scaleup Europe和PSG Equity领投。
评价:欧洲的AI希望之星,靠主权叙事吸金。但能不能跟美国巨头硬刚,还得看产品。