A社开源FlashProve研究原型:可以验证AI回复来自指定模型 比如你选择Astra结果路由到Luna
#人工智能 A 社开源发布 FlashProve 研究原型,可验证 AI 回复是否来自指定模型,比如你选择 Astra 结果给你路由到 Luna。该技术使用名为 zkSNARK 的零知识证明技术,先对模型权重作出密码学承诺,接着为推理结果生成证明。用户可以检查这证明确认结果对应承诺的模型,问题是这个技术要模型提供商主动…
言栖资讯收录 192849 篇 AI、开发与建站文章,按发布时间排序,支持搜索与按语言筛选。
#人工智能 A 社开源发布 FlashProve 研究原型,可验证 AI 回复是否来自指定模型,比如你选择 Astra 结果给你路由到 Luna。该技术使用名为 zkSNARK 的零知识证明技术,先对模型权重作出密码学承诺,接着为推理结果生成证明。用户可以检查这证明确认结果对应承诺的模型,问题是这个技术要模型提供商主动…
#软件资讯 微软开源的综合高阶工具 PowerToys 将迁移到 WinUI3 原生框架,当前已经完成迁移的包括取色器和文本提取器。当前该工具同时使用 WPF、Windows Forms 和 WinUI 等界面技术,微软则计划在后续全部迁移到 WinUI3。迁移后有助于减少项目维护复杂度,也能让软件视觉风格更加贴近 W…
#软件资讯 地主家也没余量系列,微软将取消面向教育机构提供的免费 Microsoft 365 A1 学生订阅,100TB 共享存储池也将取消。后续微软将主要转向付费订阅,包括 A0/A2/A3/A5/A7 等。其中 A0 仍然为学生免费提供,但前提是学校要为全部教职工开通 A2 或更高订阅。至于 OneDrive 存储…
#人工智能 [已修复] 安全公司发现 ChatGPT HTML 预览功能沙盒存在漏洞,攻击者可以利用漏洞窃取用户的聊天记录。漏洞发生原因主要是 ChatGPT HTML 预览使用的 iframe 嵌套框架问题,当发生多次嵌套沙盒处理逻辑有问题导致可以执行攻击者控制的代码。该漏洞已经在 9 月完成修复,用户升级到 Cha…

每年年末,爱范儿都会发布年度「明日产品榜单」,将那些改变体验、推动行业,也可能重新定义生活方式的产品收入《 明日产品年鉴 》。 但明天从不只在年末发生。 爱范儿推出明日产品 WATCHLIST 。我们将以月度为单位,记录那些刚刚出现、尚无定论,却值得多看一眼的产品、技术与新形态。真正重要的产品,往往以充满争议的姿态出现…
11月2日,北京公交集团召开干部大会,宣布北京市委、市政府决定:吴世江同志任北京公共交通控股(集团)有限公司党委书记、董事长,不再担任北京公共交通控股(集团)有限公司总经理职务;崔迪同志任北京公共交通控股(集团)有限公司党委副书记、董事、总经理。
天眼查App显示,10月29日,中煤平朔化工科技(山西)有限公司成立,法定代表人为刘兴法,注册资本76亿元人民币,经营范围含新材料技术研发、炼油及化工生产专用设备制造、合成纤维制造、新型膜材料制造、化工产品生产及销售等。股东信息显示,该公司由中煤平朔集团有限公司全资持股,认缴出资额76亿元,后者为中煤能源间接全资子公司…
天眼查App显示,11月4日,华辰砺晶半导体科技(江苏)有限公司成立,法定代表人为刘晓明,注册资本1000万元人民币,经营范围含半导体器件专用设备制造及销售、半导体分立器件制造及销售、工业自动控制系统装置制造、工业机器人制造等。
越野跑给了Outopia专业信用,城市女性给了它规模。2026年,它拿前者去换后者更大的盘子。五年五轮,意味着它从成立那天起就在按融资的节奏往前跑。最新一轮今年2月才完成,这一批钱和这一轮的预期才刚刚开始兑现。基金要的是增长曲线和退出路径,不增长本身就会被定性为失败。
港股创新药ETF博时(520690)跟踪恒生港股通创新药精选指数,百济神州Q3净利增304.3%,年内三度上调营收指引;近1周日均成交1.16亿元。
昨晚美股那根大阴线,早上开盘前我看了眼:纳指跌5.52%,费半跌超12%,美光、AMD都跌了17%以上。A股今天果然低开,好在昨天下午我提前挂了一笔逆回购,本金加三天利息都回来了。
2026年11月4日,中国证券投资基金业协会发布《通知》,明确为规范基金投资顾问业务发展,基金管理人可以增设一类专用于基金投资顾问业务的份额——基金投资顾问份额(简称T类份额)。
20CM高弹性的“创新药新物种”——科创创新药ETF汇添富(589120)标的指数跌近2%。
港股创新药ETF景顺(513780)紧密跟踪中证港股通创新药指数(931250),Wind数据显示,按照申万二级行业分类,指数前三大权重行业为生物制品(44.45%),化学制药(38.53%),医疗服务(17.02%)。