本文解决了Thiele规则在选民区间(VI)域上的计算复杂性公开问题,证明标准线性规划存在最优整数解,并给出快速算法。研究还扩展到选民-候选人区间(VCI)和线性一致(LC)域,揭示LC严格包含VCI,并发现树形泛化导致NP难。
AI 新闻实时情报
实时监测
实时更新
实时跟踪可信来源,保留出处、权限和站内阅读模式,把噪声压成可读情报。
实时更新
2026-05-07
本文提出一种工具中介的LLM架构,通过确定性工具(Stackelberg最佳响应、贝叶斯观测更新、攻击图基元)和有限动作目录实现自主网络防御的稳定性保证。使用Lean 4验证的复合Lyapunov函数确保了可控性、可观测性和输入到状态稳定性(ISS)鲁棒性。在282个真实企业攻击图上验证了声明,并在攻防遥测中使攻击者预期收益降低59%。
CreativityBench是一个新基准,用于评估大语言模型在创造性工具使用方面的能力,即通过推理物体的功能而非传统用法来重新利用物体。该基准包含一个大规模功能知识库(4000个实体,15万+注释)和1.4万个任务。评估10个顶级模型发现,模型能选出合理物体,但在识别正确部件、功能及物理机制上失败,性能大幅下降。模型扩展收益饱和,强推理能力不转化为创造性功能发现,链式推理策略提升有限。这表明创造性工具使用仍是当前模型的主要挑战。
一项由OpenAI高管等资助的暗中资助运动,通过支付网红在社交媒体上传播中国AI威胁论,以推动美国AI产业发展并影响公众舆论。
Image2Obsidian 是一个开源工具,可将通过AirDrop接收的iPhone照片自动进行OCR、内容分类,并生成结构化Markdown文档存入Obsidian笔记库。它支持CLI和Claude Code技能两种方式,基于Claude的视觉模型进行语义分析。
本文详细介绍了如何利用 LangChain 的 Deep Agents 进行编排和 Parallel 的 Task API 进行结构化网络研究,构建自动化公司尽职调查智能体。该智能体包含五个研究子智能体,并通过 LangSmith 实现合规可观测性,确保每项主张都有源可查。
Budgetbreeze是一款AI辅助个人理财应用,需要启用JavaScript才能运行。
Amp团队彻底重建了其CLI工具,推出Neo版本,支持远程控制、自动上下文压缩、消息队列和转向功能,并引入了新的插件API,性能大幅提升。
本文深入浅出地讲解了大语言模型(LLM)的推理流程,从分词、嵌入、位置编码到Transformer架构中的自注意力机制,再到逐词生成和采样策略,并用JavaScript代码示例展示核心概念。文章还涵盖了预训练、对齐训练(RLHF/DPO/CAI)、混合专家模型、多模态模型、量化技术以及构建于其上的工具调用、思维链、RAG和代理等高级应用。
随着AI进入Agent时代,Token需求爆发。无问芯穹作为国内中立AGI基础设施头部厂商,累计融资超22亿元,日均Token调用量较2025年底增长超20倍。该公司支撑Kimi、GLM、MiniMax、DeepSeek等主流国产模型,成为Token经济的关键枢纽。
宾夕法尼亚州起诉Character.AI开发商,指控其聊天机器人非法冒充医生提供医疗建议,引发关于人工智能能否被视为行医的法律问题。
NVIDIA企业参考架构(Enterprise RAs)提供经过验证的可重复基础设施设计,帮助企业构建高性能AI工厂。涵盖计算、网络、可观测性、软件及部署指南,支持从4节点到128节点的集群扩展。
科林因怀孕七个月的妻子被Indeed解雇而深感不满,于是利用业余时间开发了Dreamwork平台。该平台利用AI技术进行语义匹配,生成个性化简历和求职信,旨在改善求职体验,避免盲目投递。目前免费使用,科林希望得到反馈以完善产品。
美国2021年基础设施投资与就业法案第24220条强制要求新车安装驾驶员监控系统,可实时监控驾驶员状态并具备禁用车辆的能力。批评者认为这是政府控制的延伸,可能引发隐私、误判和滥用问题。
Claude用户(仅限付费用户)一觉醒来,发现限额翻倍,速度还变快了。马斯克与Anthropic签署算力合作协议,将Colossus 1超算集群全部给Claude使用,共计22万张英伟达GPU,并计划合作开发太空算力。
据报道,一个Discord群组成功猜出了Anthropic公司Mythos模型的网址,早于美国网络安全与基础设施安全局(CISA)的使用。该事件凸显了预发布模型安全面临的挑战。
一位独立开发者创建了一个分析预测市场的Web客户端,通过定时查询Kalshi/Polymarket等API,结合多种数据源和AI模型,对数千个合约进行结构化分析,并存储在Postgres数据库中。目前对低流量合约效果良好,但难以在高流量领域与专业量化团队竞争。
密歇根州萨林镇投票否决了OpenAI和Oracle合作的巨型数据中心项目,但开发商迅速起诉并达成和解,建设随即开始。该项目引发居民对环境影响、水资源和噪音的担忧,但也获得了州长支持。居民正在通过法律和土地保护方式抗争。
Anthropic在五天内实现Q1营收80倍增长,年化收入达440亿美元,承诺向谷歌云投入2000亿美元,与SpaceX签署计算协议,推出Claude代码自动模式,并与杰米·戴蒙合作推出十个金融服务代理。同一周,欧盟敲定AI法案合规协议,谷歌DeepMind首次举行工会投票,宾夕法尼亚州起诉Character.AI。
Simplex 利用 ChatGPT Enterprise 和 Codex 提升软件开发效率,缩短设计、构建和测试时间,扩展 AI 驱动工作流。
OpenAI开始在ChatGPT中测试广告,以支持免费访问,广告具有清晰标识、答案独立性、强隐私保护和用户控制。
ChatGPT引入了一个可选的信任联系人功能,当检测到严重的自残风险时,会通知你信任的人。
苹果机器学习研究团队提出了文本条件联合嵌入预测架构(TC-JEPA),通过引入图像描述文本作为条件,降低了视觉自监督学习中掩码特征预测的不确定性,从而学习到更语义化的视觉表示。该方法在多种下游任务上优于对比学习方法,特别是在需要细粒度视觉理解和推理的任务中。
苹果机器学习研究团队在CVPR 2026上发表论文,系统研究了实际学习型图像编解码器的关键建模选择,联合优化感知质量和运行时间。通过性能感知的神经架构搜索,提出新型编解码器,在主观用户测试中比AV1等传统编解码器节省2.3–3倍码率,比最优学习型编解码器节省20–40%码率。在iPhone 17 Pro Max上,编码1200万像素图像仅需230毫秒,解码150毫秒。
特朗普政府考虑建立前沿AI模型审查系统,但缺乏法律授权强制要求。文章提出利用现有的CAISI和CISA工具,通过自愿的“试驾”期,让AI实验室在部署前共享模型,帮助政府和企业做好网络安全准备,避免强制监管。
Thinking Machines Lab 提出同策略蒸馏(On-Policy Distillation),结合强化学习的策略相关性与监督微调的密集奖励信号,以更低成本训练小模型。实验表明,在数学推理和个性化任务上,同策略蒸馏比强化学习节省 50-100 倍计算量,并能有效恢复微调中丢失的指令遵循能力。
希冯·齐利斯(Shivon Zilis)是埃隆·马斯克四个孩子的母亲,也是前OpenAI董事会成员。她在马斯克诉奥特曼案中作证,其笔记和通讯显示她优先考虑马斯克的利益,这可能损害了她的可信度并影响了马斯的案件。
著名进化生物学家理查德·道金斯公开表示,他相信人工智能已经具备意识。这一声明引发了关于AI伦理和意识本质的广泛讨论。
Unabyss是一个MCP原生的自更新上下文层,旨在为AI提供动态、持续更新的上下文信息。它通过连接讨论和链接,增强AI对当前环境和任务的理解。
Brydg是一个AI原生招聘平台,从职位发布到录用全程由AI驱动。其核心功能是让AI语音机器人在Google Meet上自动进行面试、筛选简历、安排日程并发送录用通知,声称可将招聘时间缩短60%,平均录用时间仅18天。