「AI生成论文」共找到 11229 篇相关文章
登上热搜！Prompt不再是AI重点，新热点是Context Engineering
最近「上下文工程」很火，Andrej Karpathy 为其打 Call。它和「提示词工程」不同，是构建自动化系统给模型提供输入。文章介绍了其核心要素、实践方法论，还给出了参考的博客和视频。
开源端到端语音大模型：直接从原始音频输入，生成语音输出
目前大模型大多只能输出文本，人机音频交互不顺畅。Step - Audio团队开源端到端语音大模型Step - Audio - AQAA，能直接听懂音频问题并合成语音回答，介绍了其架构和各核心模块。
推理正确率下降65.5%！斯坦福、MIT等用「不等式」拷问AI逻辑极限
大语言模型在数学证明常现推理漏洞，斯坦福等高校团队提出IneqMath基准评估其严谨性。用不等式证明题切入，拆解为子任务，构建评测体系，用LLM - as - Judge审查。结果显示模型推理正确率低，存在结构性缺陷。
一句“Hi”，80$蒸发！O3-Pro：地表最强，也最“坑”的AI！
昨晚ChatGPT宕机，OpenAI 2折甩卖o3模型并发布o3 Pro。o3 Pro编程能力强，达全球top150程序员水准。官方称甩卖的o3是原版但推理快近40%。o3使用成本高，还需足够上下文。
AI青年学霸齐聚杭州！这场峰会要选出「未来科学新星」
2025年6月6 - 8日，2025全球人工智能技术大会（GAITC 2025）将在杭州召开，多位院士带来重磅演讲。6月7日下午，首届“清源学者”前沿交叉峰会开幕，15位青年学者将分享原创成果，展示人工智能应用潜力。
视频推理界的“福尔摩斯测试”：所有大模型，统统不及格 | 论文代码开源
腾讯ARC Lab和香港城市大学推出Video - Holmes，这是视频推理界的‘福尔摩斯测试’，能展现多模态大模型复杂视频推理能力的边界，规避现有Benchmark痛点，测试中所有大模型全部不及格，代码已开源。
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
AI无师自通，搞定所有家务！π0.5突破泛化极限，UC伯克利系出品
具身智能最大挑战是泛化能力，美国具身智能公司Physical Intelligence推出π0.5 VLA模型，通过异构任务协同训练实现泛化，可在全新家中执行各种家务，虽有不足但向广泛泛化物理智能迈进。
一张GPU跑10万原子！分子之心用AI把化学反应“拍”成了电影
分子之心推出反应性机器学习力场QuantaMind，仅用单张GPU即可实现十万原子级化学反应高精度模拟，突破了分子模拟领域精度、时间、规模不可能三角，大幅降低计算门槛，可应用于酶工程、抗体设计等研发领域。
不做手机缩小版：AI 健康记录迁到手腕，要跨过哪些工程鸿沟？
文章聚焦HarmonyOS穿戴应用，如「小卡健康」将健康记录入口移到手表，还介绍「开练」「凯格尔运动」应用。阐述了从接口到产品需解决权限、断连等问题，强调要为用户提供合适体验。