「强相关逻辑」共找到 1968 篇相关文章
拯救大模型的逻辑短板：Nature文章预测符号主义AI与神经网络的联姻将引爆下一场技术革命
结合逻辑系统与神经网络成AI热门趋势，神经符号AI崛起，旨在弥补神经网络短板。虽面临技术挑战，但已在多领域展现潜力，不过也有质疑声，其发展仍面临诸多难题。
机器狗能当羽毛球搭子了！仅靠强化学习从0自学，还涌现出类人回位行为 | Science子刊
苏黎世联邦理工学院团队让机器狗靠强化学习学会打羽毛球，开发全身视觉运动控制策略，使其最高挥拍速达12米/秒，还涌现类人回位行为，研究证明足式机器人在体育场景应用可行。
为什么算力追赶这么难？前谷歌架构师现场黑板推演底层架构，看懂芯片底层逻辑里被忽视的“空间博弈”
前谷歌架构师、MatX CEO Reiner Pope在访谈中从基础逻辑门讲起，推导芯片架构，指出芯片大部分成本花在搬运数据上，还探讨乘加运算、脉动阵列等原理，以及时钟周期、FPGA与ASIC差异等内容。
Anthropic新模型杀疯了！成本直降 2/3、性能直逼GPT-5，用户实测：比“吹”的还强，速度超 Sonnet 3.5 倍
Anthropic发布Claude Haiku 4.5版本，成本降2/3、性能逼近GPT - 5，速度超Sonnet 3.5倍。该模型已全平台上线，可处理大文件，安全对齐性佳。它能与Sonnet协同，适用于企业与软件开发，Anthropic业务也在爆发式增长。
打车像点单？实测滴滴AI助手，打车也能“私人订制”了
实测滴滴新上线智能体小滴，它改变打车逻辑，可主动挑车，还能满足个性需求。同时，相关MCP服务上线，开发者可接入。AI重塑打车体验，让出行更美好，多方受益。
腾讯纯文本LLM训视觉encoder，拿捏图表长视频，达到开源小模型SOTA！
腾讯开源Penguin - VL，直接用纯文本LLM训视觉编码器，跳出传统多模态拼接套路。在2B/8B紧凑参数规模的复杂任务中竞争力强，训练分三阶段，相关代码、模型等已开放。
让大模型“吃一堑长一智”，南理工百度等提出模型记忆新方法
南京理工大学联合百度等提出新方法ViLoMem，构建视觉流+逻辑流的双流语义记忆，让模型“从错误中学习”。它能在多模态基准提升模型表现，强模型记忆还可迁移给小模型。
Anthropic深夜再出杀招！编码AI一键清空桌面，白领末日来临？
Anthropic推出办公神器Cowork，复用Claude Code底层逻辑，可完成日常任务，如整理桌面、处理文件等。它上手门槛低，主动性强，还能持续升级。不过其诞生或冲击初创公司，也需留意使用权限和安全问题。
米哈游蔡浩宇，发了个“游戏版ChatGPT”
米哈游蔡浩宇上新AI聊天软件AnuNeko，用户反馈其人性化高但逻辑较弱。AnuNeko出自蔡浩宇新公司Anuttacon，该公司此前还推出实验性AI游戏。如今AI+游戏大势所趋，米哈游新游也加入更多AI元素。
GPT-5：我更强了，就这？“看不见”的升级
OpenAI 发布 GPT - 5，它未带来 AGI 相关的震撼升级，而是更注重实用。其训练有新特点，具备推理强、编程能力提升等特性，是 AI 从‘模型炫技’到‘产品体验打磨’转变的标志。