RecodeX 重构消息，CSL-Core发布，这是一个为AI系统设计的正式验证神经符号安全引擎，通过编译策略为Z3约束来确保无逻辑冲突，提供确定性检查并作为LLM与工具间的防火墙。
CSL-Core发布，这是一个为AI系统设计的正式验证神经符号安全引擎，通过编译...
原始信息来源github.comgithub.com
查看原文 ↗更多快讯
查看全部 →人工智能
梁文锋署名DeepSeek新论文聚焦大规模智能体
RecodeX 重构消息，DeepSeek发布一篇由梁文锋署名的新论文，研究方向指向大规模智能体（Agent）。论文具体内容与技术细节尚未在现有信息中披露。
融资
Meta收购语音研究公司WaveForms，Conneau团队加入MSL
RecodeX 重构消息，Meta已收购语音研究公司WaveForms，该公司此前从a16z获得4000万美元融资。WaveForms创始人Alexis Conneau表示，其团队已加入Meta的MSL部门，部分研究成果将在Meta Connect上展示。
宏观
中指研究院：9月一线城市新房成交面积同比增长超10%
RecodeX 重构消息，中指研究院数据显示，截至9月20日，9月重点30城新建商品住宅成交面积同比微增1.4%，一线城市新建商品住宅成交面积同比增长超10%，其中北京、上海分别同比增长23%和22%。 二手房方面，同期重点20城二手住宅成交套数同比增长13.1%，北京、上海分别成交1.0万套、1.6万套，同比分别增长…
加密货币
Myseum.AI拟将纳斯达克普通股代币化，保留股东权利
RecodeX 重构消息，美国隐私型AI及社交媒体技术公司Myseum.AI宣布，计划向一家或多家合格数字资产证券平台提出申请，将其在纳斯达克上市的普通股进行代币化。 该公司表示，将探索由发行人授权的区块链结构，使代币化股票代表公司实际登记的普通股，并保留传统股票对应的经济、投票等股东权利。该计划不会改变公司现有资本结…
人工智能
Anthropic工程师称Claude写作质量下降源于训练目标偏向AI读者
RecodeX 重构消息，Anthropic一名工程师就用户反馈Claude写作质量下降作出解释，称问题根源在于模型的训练方式：模型被训练成面向AI读者输出内容，而非面向人类读者写作。该说法将写作风格变化归因于训练目标设定，而非单纯的模型能力退化。
宏观
中指研究院：1-8月重点监测城市精装修楼盘开盘400个 同比降28.1%
RecodeX 重构消息，中指研究院数据显示，1-8月重点监测城市精装修楼盘开盘数量为400个，同比下降28.1%。