「数学证明助手」共找到 1007 篇相关文章
刚刚，Gemini攻克「宇宙弦」终极难题！AI科学家最优雅解法震撼物理学
Google Research团队用Gemini Deep Think + 树搜索框架，攻克理论物理领域宇宙弦引力辐射功率谱精确解析解难题。AI探索600条候选路径，找出6种解法，最优雅的格根鲍尔方法让物理学家拍案叫绝。
Greg Brockman（OpenAI 联合创始人）把“那场宫斗”讲完整了：董事会、请愿书、马斯克与控制权
OpenAI联合创始人Greg Brockman做客播客，讲述公司“宫斗”内幕、与马斯克谈判细节等。还谈及模型能力、算力瓶颈、AI应用等，如GPT 5.1到5.2有质的飞跃，算力将成基本人权，AI推翻物理假设。
OpenAI Codex桌面版深夜突袭！一人指挥Agent军团，程序员彻底告别996
OpenAI推出编码杀器Codex桌面App，可指挥多Agent并行协作。它能多任务并行切换，创建调用Skills，设置自动化流程，从写代码进化到解决问题，还具备双人格模式，默认安全，有望重塑开发者与代码交互逻辑。
Redis之父：手写代码？醒醒吧除非你图一乐
Redis之父Antirez在博文指出，编程已被AI永远改变，手工写码不再明智。他用实测案例展示Claude Code强大效率，警告程序员别喝‘反AI迷魂汤’，应重构工作流拥抱AI。
全球强化学习+VLA范式，PI*0.6背后都有这家中国公司技术伏笔
机器之心介绍了Physical Intelligence成果π*0.6论文，指出VLA+online RL是有前景的研究方向。还分析VLA+RL重要性、应用难点，重点介绍星动纪元iRe-VLA突破困境的方案及其实验效果，揭示VLA在线强化学习前景。
这，才是Vibe Coding的未来。
作者分享蚂蚁灵光更新，可搓小游戏，认为这是Vibe Coding未来。普通人能用上是其亮点，还举例扫地机器人、灵光开发三国人物关系等游戏，指出技术应隐藏自己，降低门槛。
从补全到 Agentic Edit：Trae 在代码编辑上的落地与进化
AI 编程助手走向智能化，Trae 团队历经“补全 + Chat → Apply → Builder + Cue”三阶段，解决文件定位、跨文件修改等难题，介绍 Apply 与 Search/Replace 方案适用场景，还将从三方面继续探索。
突破类脑模型性能瓶颈：校正频率偏置实现性能与能效双突破｜NeurIPS 2025
香港科技大学（广州）等团队在NeurIPS 2025论文指出，脉冲神经网络（SNN）性能不佳根源是频率偏置，非二进制激活。团队提出Max - Former架构，校正频率偏置，实现性能与能效双突破，卷积架构也适用。
它来了！Context Engineering 2.0
SJTU、SII和GAIR新作《Context Engineering 2.0:The Context of Context Engineering》探讨上下文工程，回溯其30年历史，给出形式化定义，提出采集 - 管理 - 使用三维设计范式，还介绍了应用场景。
大模型公司不搞浏览器搞Agent，实测找到原因了
文章实测阶跃星辰桌面Agent小跃，它能操作命令行，可自然语言驱动计算机功能，有悬浮球形态，能联网、搜索、处理表格等，还支持复用操作、定时任务，但也存在速度慢等不足。