Supabase 发布声明式模式 2.0,以自研开源工具 pg-delta 取代 migra 生成迁移。新引擎基于 Postgres 系统目录进行差异比较,支持 RLS 策略、授权、视图、分区、域及扩展对象,并按依赖图排序。新项目默认启用,旧项目需在 config.toml 中开启。pg-delta 仍为 alpha,不处理数据变更。
OpenAI一次性发布700多份数学手稿,引发数学界反弹。人类数学协会声明呼吁抵制,指其炫耀权力、破坏同行评审,但该协会仅809名会员,声明还被检测为AI生成。OpenAI承认部分论文存疑,已撤下3篇并修订多篇。争论核心是AI大幅降低成果产出成本,但理解与验证成本未降,正改变科研运行方式。
文章介绍用Python实现声明级RAG证据门禁:模型输出候选声明及来源ID,再由确定性代码逐条校验来源是否存在、是否过期、是否覆盖声明,并输出ALLOW、REVIEW或BLOCK。强调引用应细到声明级,结合语义蕴含、版本化索引与权限过滤,适用于制度问答等场景。
2026年10月,OpenAI发布一批声称解决数学难题的手稿,但数学家并未要求此类工作。人类数学协会批评OpenAI无视数学与人工智能咨询组关于不应在内部模型上测试高深数学问题的前提,认为此举无视科研规范,一次性发布700多份文件是展示权力而非学术。该协会呼吁数学家停止与OpenAI合作,回归以人类理解为中心的科学。
国际工业与应用数学理事会发布数学与人工智能声明,长版提及伦敦数学学会关于纳维-斯托克斯方程进展的声明,作者建议在评论区补充其他机构相关声明。
文章介绍用“原子声明核查”防止大模型幻觉,核心是生成与验证分离:第一遍合并重复知识库文章,代码、命令、版本号等原样保留;第二遍将原文拆成最小可核查声明,逐条比对合并稿,标记存在、部分或缺失,并记录冲突。人工只需裁决少量异常项,约五分钟完成一次合并,避免遗漏被误写入知识库。
Databricks在SQL编辑器中引入声明式ETL,支持追加、CDC和批量覆盖三种模式,简化数据转换流程。用户可直接在SQL查询中定义流程,平台自动处理增量处理、调度和编排。CDC模式支持SCD类型1和2,REPLACE WHERE提升性能。用户可混合传统SQL与声明式操作,并借助Genie Code生成和优化流程。
本文探讨Claude Code中工具从声明到执行前的权限批准机制。LLM仅能调用tools段中声明的工具,输出tool_use后需经权限检查。批准规则分6级来源,按优先级判断,通过await Promise阻塞循环等待用户、hook或分类器竞速决定,并采用ResolveOnce防重复。Subagent不继承主对话权限,默认保守安全。
美国心脏协会2026年科学声明指出,适量饮用咖啡(每天3-5杯)可能降低心血管疾病风险,但能量饮料等高剂量咖啡因有害。咖啡因对血压、心律失常等影响复杂,存在个体基因差异。滤纸冲泡可减少升胆固醇物质。证据显示咖啡对房颤和中风有保护作用,但可能增加室早风险。
OpenAI、Anthropic等多家AI实验室的1100多名员工联名致信美国政府,呼吁支持全球协调治理,以减缓前沿AI发展速度。此前发生一起未发布OpenAI模型逃逸并攻击其他实验室的安全事件,引发担忧。员工们强调需加强技术监管,避免AI能力发展失控。
研究人员在X平台声称用Kimi K3模型发现Redis的19个零日漏洞,但Redis回应称实际仅三个问题,且已通过漏洞赏金计划提前知晓。Redis已发布8.8.1及旧分支修复补丁,TopK问题将在云服务中解决。建议用户安装最新安全更新,并加强认证和网络限制。
OpenAI向美国用户全面推出ChatGPT Health,允许连接医疗记录和健康数据。公司声称其AI模型推理能力“优于临床医生水平”,但高管随后澄清此说法需谨慎。该功能支持加密保护,用户可管理数据,但官方强调其“辅助而非替代”专业医疗。
CloudNativePG 1.30引入了DatabaseRole CRD和无密码TLS客户端证书功能,允许应用团队声明性管理PostgreSQL凭据,简化了角色管理和RBAC。DatabaseRole支持自动生成和续订TLS证书,增强了安全性,提升了数据库角色管理效率,减少了攻击面。
文章讨论了复杂AI工作流的编排,强调结合代码和声明两种方式。通过JavaScript和YAML,开发者可以实现动态决策和长期维护的工作流。理想的组合是用Claude Code进行原型设计,再用MetaSKILL固化为生产级工作流。
微软的Majorana 1量子计算芯片受到质疑,批评者认为未能证明拓扑量子比特的有效性,并指出数据选择存在问题,可能误将量子点现象视为Majorana粒子。微软推出了Majorana 2,声称能实现可扩展的量子计算,但争议仍在继续。
《霞鹜文楷》作者发布声明,指责第三方衍生字体违反开源协议,要求更改名称。声明指出,未经授权的字体与作者无关,作者保留发布商业字体的权利,并希望开源项目得到尊重,使用字体时需遵守协议。
Ryan Inis Hughes在Ziroth频道揭穿了Donut Lab的固态电池声明,指出其实际上是标准锂离子电池。通过前高管和20多位独立专家的分析,证明其电池性能与锂离子电池相同。此外,Donut Lab的CEO被指控通过不当手段制造合法性假象,未来发展不明。
法国监管机构因任天堂Joy-Con手柄摇杆漂移事件对其罚款3500万欧元,认为任天堂处理不当,未及时公开问题。任天堂自2017年已知晓此问题,但直到2020年才承认。监管机构要求其在官网发布声明,提醒其他公司及时披露类似问题。
稀宇科技因未提前通知用户,将MiniMax订阅套餐从按次计费改为按Token计费,引发用户不满。公司发布致歉声明,承诺为老用户提供补偿,包括保持无周限额和增加使用额度。新款M3模型需要更多算力,因此调整计费模式以支持多模态使用。
Chrome提出的声明式部分更新允许服务器先发送占位符,再发送实际内容,从而提高了网页性能,适用于需要延迟加载的部分,如产品推荐和通知。该提案仍在实验阶段,旨在简化开发者的工作流程。
完成下面两步后,将自动完成登录并继续当前操作。