「3-SAT问题」共找到 5042 篇相关文章
原力灵机发布Realtime-VLA V2：从遥操作到真实部署，VLA提速的系统解法
原力灵机发布《Realtime - VLA V2》技术报告，在VLA控制下让机器人快速运动。实现数倍于遥操作采集训练数据的速度执行VLA，解决了遥操作数据采集、时序延迟等问题，还通过“油门式采集”提升速度，但离人类性能仍有差距。
特斯拉们，慌了？英伟达智能驾驶实测曝光：仅用一年追平马斯克八年心血
英伟达汽车业务虽仅占总收入1%，但十年积累已成气候。其与Uber合作、推广L2级城市功能，到2028年将实现L3高速公路驾驶，仅用1年几乎追上马斯克的FSD。实测中英伟达自动驾驶表现出色，新系统也有诸多亮点。
才知道百度和阿里为什么能联手瓜分市场了
AI热度未减但问题转变，企业更关注全栈能力。沙利文报告显示2025年上半年阿里云和百度智能云占一站式AI云市场超一半。阿里和百度长期投入，全栈能力让其在竞争中更笃定，苹果也选它们为中国AI伙伴。
陶哲轩长文剖析现代社会：大型组织挤压小型社群，个体陷入疏离困境，AI正在加速这一进程
陶哲轩长文以协作式数学项目社群现象为切入点，提出观察现代社会的框架。指出现代技术和激励体系在赋能个体与大型组织时，严重削弱小型组织，导致个体精神上出现脱节感，AI还在加剧这一问题，并给出新兴草根组织视角。
缔造OpenAI的秘密，竟只有一个词！新智元十年峰会圆桌，七位大咖激辩
新智元十周年圆桌论坛上，七位嘉宾探讨通往AGI与ASI的关键问题，如智能核心、AI能效、游戏与AI关系等。他们认为AI发展超预期，语言是智能核心，实现ASI关键在能耗，还谈及芯片与人脑差距、物理世界发展慢等话题。
山姆奥特曼称OpenAI 有意收购Chrome
OpenAI CEO山姆·奥特曼在晚宴上透露，OpenAI 有意收购 Chrome，认为这能提升自家 AI 浏览器水平。此外，他还谈及 GPT - 5 开发、ChatGPT 相关问题、业务扩张计划等多方面内容。目前因法官考虑强制谷歌出售 Chrome，Perplexity 已报价 345 亿美元参与竞购。
爆冷！首届大模型争霸，Grok 4下出「神之一手」？DeepSeek、Kimi惨遭淘汰
谷歌Kaggle举办首届全球AI象棋争霸赛，八款顶级语言模型正面对抗。首战8进4淘汰战中，Gemini 2.5 Pro、o4 - mini、Grok 4、o3晋级，Claude 4 Opus、DeepSeek R1、Gemini 2.5 Flash和Kimi K2出局。比赛考验AI整体理解能力。
商汤王晓刚：世界模型将加快AI从数字空间进入物理世界，「悟能」想做那个桥梁
具身智能“大脑”成AI竞争焦点，“世界模型”或是通往“类人智能”的解法。商汤科技王晓刚认为世界模型将加快AI从数字空间进入物理世界，其推出的“悟能”具身智能平台想做这个桥梁，还谈到具身智能发展面临的问题与挑战。
64小时搞定，Claude自主设计出威胁120万人致命蝎毒结合蛋白，湿实验已测通
Anthropic利用Claude大模型，仅耗时64小时就自主设计出可结合致命蝎毒的蛋白质，人类仅提供初始提示，后续全由模型自主推进，最终湿实验验证17个设计成功达标，相关数据已全部开源，为解决热带地区蝎毒致死问题提供了新的AI路径。
从预测到干预，Aether AI为什么押注因果世界模型？
Aether AI 定义技术路线为「因果世界模型」，关注模型识别影响结果的变量、理解因果结构、模拟干预后果。它从预测未来的局限切入，介绍了因果能力的三类核心问题及研究成果，还用四层架构实现能力落地。创始人黄碧薇看好当下时机，从 Physical AI 切入创业。