Gemini 3 发了，谷歌还搞了个新的智能 IDE

https://antigravity.google/
https://blog.google/technology/developers/gemini-3-developers/

长上下文下惨不忍睹...短上下文倒确实有提升，综合来说 Agent 体验开倒车，属于是刷 benchmark 的分来了；感觉有效上下文还没有 100k
随便找了个我的项目测了一下 7块钱写了个功能还一堆编译报错（这个功能 GLM 4.6 7角钱就写完了）

ai 写的时钟（每分钟写一次）
https://clocks.brianmoore.com/

https://nof1.ai/
新赛季！这次是真股市了

花了半天把屏幕搬到了床上！也是懒出了新境界x
这下躺在床上就可以美美看视频看小说了

在小说里高低得是投靠恶魔的老祖

IMO 金牌又被拿下了 这让人类做题家怎么活（）

这个模型训练基本思想就是避免模型靠蒙出正确答案得分，于是搞了个校验模型来看过程打分，又搞了个校验校验模型来看校验模型打的分是不是对的，不对就扣他工资

感觉有点像避免 Reward Hacking 的思路

比较值得提的是这个模型是基于 v3.2exp 的，有 DSA 以后推理成本降低了一截；所以它现在可能是大众唯一可以摸到的 IMO 金牌模型（虽然一次 Heavy 还是要一千块，以及大众真的有什么做数学题的需求吗

https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf

https://zhuanlan.zhihu.com/p/1977398763099297612

祝贺 Qwen Gated Attention 拿下 NeurIPS 2025 最佳论文奖~