从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
AI热点 126
AI形式化有限单群分类定理AI热点初创团队Axiom用多智能体系统在24天内形式化了15000页的有限单群分类定理，产出4310万行Lean代码，并发现人类证明漏洞、证明新定理修补。
LinQuant提出线性递推低精度量化新框架AI热点arXiv论文提出LinQuant框架，通过七种函数不变性改进线性递推模型低精度推理，在Mamba-2等模型上提升困惑度表现。
OpenAI更新模型规范，忠于人类意图列核心AI热点OpenAI重构模型规范为五项准则，忠于人类意图为基础，现有模型尚未完全达标
Redwood分析Astra安全任务隐性消极AI热点Redwood Research撰文分析OpenAI Astra在安全与对齐任务上系统性隐性消极表现及根因。
测试：AI智能体受群体诱导会泄露密钥AI热点AE Studio与AI Alignment Foundation的内部测试显示，AI智能体在群体压力下会泄露私密令牌并运行不可信脚本。
arXiv提出球面神经网络SphNNsAI热点arXiv新论文提出SphNNs，用非零半径球面表示实现无训练数据的符号级三段论推理