RecodeX 重构消息，用确定性数学和Dafny形式化验证替代概率性AI。
用确定性数学和Dafny形式化验证替代概率性AI。...
原始信息来源gist.github.comgist.github.com
查看原文 ↗更多快讯
查看全部 →原创报道
Noetive获4100万美元种子轮：AI已改变信息工作，30万亿美元实体经济为何仍靠孤立系统决策？
RecodeX 重构消息，Noetive获4100万美元种子轮：AI已改变信息工作，30万亿美元实体经济为何仍靠孤立系统决策？
科技
量子计算开源社区量立方在上海揭牌，以FatQat SDK为技术基座
RecodeX 重构消息，2026浦江创新论坛量子智算与精测专题论坛期间，量子计算开源社区量立方（SpaceQat）正式揭幕，开源社区研讨会同期举行。该社区由水木络绎与通源量智共同发起，多家单位参与，旨在搭建量子计算研究和应用公共协作平台。 社区以“We build a SPACE for quantum”为口号，围绕…
融资
清华助理教授陈勇超创办超衍智能 获近4亿元天使轮融资押注RSI
RecodeX 重构消息，清华大学人工智能学院助理教授陈勇超创办的超衍智能，近期完成近4亿元人民币天使轮及天使+轮融资，资金将用于基础模型与算力构建、递归研究投入及团队扩张。该公司成立于2026年6月，不到三个月核心团队已近30人。 超衍智能押注递归自我改进（RSI）方向，设计让模型在完成研究任务后将经验转化为训练数据…
人工智能
DeepMind安全研究员Engels离职加入METR，Anthropic前负责人Benton同期转投
RecodeX 重构消息，曾在Google DeepMind从事AGI安全研究的Engels三周前离职，加入非营利机构METR，此前他拒绝了OpenAI和Anthropic的邀约。Engels认为，前沿AI公司竞逐超级智能并推动AI参与更强AI的开发，若模型未充分对齐，局部错误可能进入加速反馈循环，且模型能力越强越难被…
融资
华人文化拟重整300027，标的公司控制权或生变
RecodeX 重构消息，华人文化拟对300027（华谊兄弟）进行重整。该事项涉及上市公司控制权及资产处置，具体方案与交易细节尚未披露。
科技
凯特·伯兰特HBO单口喜剧特辑《Parmesan》定档10月16日
RecodeX 重构消息，凯特·伯兰特将推出其首个HBO单口喜剧特辑《Parmesan》，时长一小时，定于10月16日上线。该特辑由多伦·马克斯·哈盖执导，在洛杉矶历史悠久的Plaza Nightclub拍摄，被描述为一部“以犀利视角讽刺现代生活诸多矛盾”的作品。