「3-SAT问题」共找到 5042 篇相关文章
从科学论文自动生成视频
该项目解决学术演示两核心问题，用智能体PaperTalker生成视频，还设Paper2Video基准评估。介绍了PaperTalker使用步骤，含环境、配置、推理，也说明了Paper2Video评估指标及运行方法。
多个编码智能体同时使用会不会混乱？海外开发者热议
AI编程工具进步快，GPT - 5等模型推动开发自动化。编码智能体成开发常态，但存在问题。独立开源开发者Simon Willison分享并行使用多个编码智能体经验，引发海外开发者热议。
奥特曼：感受不到GPT-5变强，是因为你还不够「专业」
GPT-5发布后口碑不佳，直播事故、网友吐槽、专家唱衰不断，有人喊出‘AI第二次寒冬要来了’。但奥特曼认为这是节奏和期待错位，GPT-5在科研等高阶领域有提升，技术范式也有转变，且OpenAI仍看重规模。
对抗协作+原型学习！深北莫FedPall开源，联邦学习破局特征漂移，准确率登顶SOTA
深圳北理莫斯科大学人工智能研究院在ICCV发表FedPall算法，结合原型对比与对抗协作学习，在多种特征偏移数据集获SOTA性能。该算法通过多步骤训练缓解特征漂移，在多个公开数据集表现出色。
马斯克转发字节Seed&哥大商学院新基准：大模型搞金融，连查个股价都能出错
字节跳动Seed团队与哥大商学院推出开源金融搜索与推理基准测试FinSearchComp，含635个问题。评测显示大模型处理金融任务有差距，凸显金融AI能力评估重要性，还揭示了关键能力差距。
马斯克宣布用户将可语音定制X信息流
埃隆·马斯克宣布11月X平台算法将由AI驱动，开源代码会持续更新，用户能语音定制信息流。此计划引两极反应，算法也有缺陷，还面临可信度和信息茧房等问题。
南昌博士造智驾芯片，公司市值8个月狂涨1000亿
南昌博士余凯创立的地平线，股价飞升，市值8个月涨约1000亿港元。其征程芯片出货破千万，获多家车企订单，上半年营收大增。余凯还布局Robotaxi新赛道，发力机器人业务，虽未盈利但前景广阔。
晶晨股份全资收购无线通信芯片公司芯迈微
晶晨股份拟3.16亿全资收购芯迈微，核心是战略补强，借此获取研发团队与技术IP，补齐广域网连接短板，构建全栈解决方案能力，从单点技术竞争迈向平台生态竞争。
The Batch: 878 | Meta 与 OpenAI 加强防护措施
随着未成年人使用聊天机器人的不良互动受关注，Meta 和 OpenAI 承诺加强管控。Meta 将更新聊天机器人，避免不当对话；OpenAI 要推家长控制功能。此前两家公司均因相关问题遭批评。
谁说Scaling Law到头了？新研究：每一步的微小提升会带来指数级增长
很多人质疑扩大计算规模训练模型的做法，因Scaling Law面临收益递减。但新研究发现，模型单步准确率的微小提升能使完成任务长度指数级增长，还探讨了长程执行能力的衡量及影响因素。