在联合国，这家中国公司给AI“减负”：不堆算力，而是给机器人装了个“类脑”

极简方案刷新扩散模型推理纪录，阿里清华论文入选ICML杰出论文

2026新青年创投大会在沪举行：00后登场，创投新周期开启

15 岁少年利用AI实施勒索攻击，致知名平台全站停服

日本一名15岁高中生因涉嫌网络犯罪被捕，他利用生成式AI协助攻击，于2025年11月盗用会员账号非法侵入万代南梦宫旗下动画串流平台“万代频道”。案件因嫌疑人未成年且借助AI实施完整攻击流程而引发关注。

降低数学科研门槛：Mistral AI 发布开源模型 Leanstral 1.5

Mistral AI发布专为Lean4设计的开源模型Leanstral1.5，采用Apache-2.0许可。该模型总参数119B，仅6B激活参数，兼顾高性能与低成本。在miniF2F形式数学基准中，验证集和测试集均达100%完成率，并已挑战Putnam等高难度推理任务。

Mistral AI开源数学证明利器：119B参数只激活6B，解题成本仅为竞品百分之一

欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5，专为Lean4语言，总参数119B但推理仅激活6B，以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率，PutnamBench同样表现惊人。