「证明思路」共找到 669 篇相关文章
DeepMind夺得IMO官方「唯一」金牌，却成为OpenAI大型社死现场
谷歌DeepMind宣布其Gemini进阶版模型在IMO竞赛达金牌水平，解决五道超高难度试题，首次证明AI仅靠自然语言理解就能攻克复杂数学难题。其谨慎发布方式获赞誉，与OpenAI形成鲜明对比。
极致优化Android平台APK的大小
文章以Android为例，介绍UE包可裁剪部分的优化思路与实践，优化APK大小和Native库运行时内存占用。从压缩NativeLibs、代码体积优化、资源裁剪等方面着手，还给出优化效果和额外资料。
《TAML》好文推荐 | 来自中国科学院力学研究所张磊博士 评估大语言模型在计算流体力学领域的知识利用、学习与创造
研究聚焦评估推理型（DeepSeek R1和OpenAI o3 - mini - high）与非推理型（DeepSeek V3和ChatGPT 4o）大语言模型在计算流体力学领域知识利用、学习与创造能力。通过三类基准问题评估，结果有差异。
OpenAI还在讨论“异星心智”，乐享科技已经造出来了｜甲子光年
本文对比OpenAI对异星机器心智的风险预警，介绍中国乐享科技基于仿生神经科学思路，研发出面向机器人的以太大模型，已完成多场景验证，将举办户外开放直播测试，探索具身智能新路线
RSI离我们有多远？这家中国团队给出了第一梯队的工程解
目前行业探讨大模型的RSI时，常陷入思维定势。EvoMap团队没有盲目跟风，而是提出极具现实意义的工程新路径，构建自进化智能体，让经验在网络流转，还以硬核数据证明其体系有效性。
AI 创业怎么做？500+ 技术领导者给出了他们正在实践的答案｜ TGO 杭州十周年庆 & GTLC 杭州站
2026年6月27日，TGO杭州十周年庆·GTLC杭州站举办，以“新十年一起，做AI做的事”为主题。近二十位嘉宾从多方面分享，探讨AI创业、智能体架构等，还有创业者展示产品，活动丰富且聚焦学习。
看完智平方创始人郭彦东的这场演讲，我对 VLA 又有信心了
2026年具身智能赛道技术路线引争论，“VLA时代终结”论调扩散。智平方创始人郭彦东演讲回应，称VLA时代未终结，世界模型汇入VLA，关键变量是类脑架构，智平方技术成果和开源平台也证明VLA有生命力。
Coding Agent 的一个啊哈时刻
作者翻用Codex在SGLD做Qwen - Image/HunyuanVideo的modelopt fp8支持的记录，发现Coding Agent思考过程与人类思路高度一致，如对比中间图和结果图判断量化精度，Infra领域核心技能或被其解决。
Harness Engineering 时代的失败经验
作者分享在Harness Engineering时代使用Coding Agent的经验，指出虽Agent发展快且有成功案例，但实际应用有诸多问题，如部分模型体验差、自然语言模糊影响长程工作等，还给出解决思路，文章会持续更新。
聊聊钉钉的悟空：给一个还没人走路的市场卖跑鞋？
钉钉发布悟空，与其他大厂先面向个人用户不同，它走企业级路线，有四层Skill体系等，虽初期被认为‘太重’，但钉钉全产品CLI化等创新有潜力，且安全设计是企业刚需，适合特定人群关注。