「找反例」共找到 248 篇相关文章
codex降智大bug找到了，一句话让它把智商找回来！
近日Codex被降智，网友监测其智商曲线下降。L站大佬发现大bug及解法，在全局agents.md加特定语句，可让它大幅恢复智商。测试显示，加语句后正确率提升，降智概率降低。
躲了科学家几十年的流体不稳定奇点，被DeepMind用AI找到了
谷歌DeepMind与多所高校合作，用物理知情神经网络（PINN）+高精度数值优化的方法，找到了流体方程里的不稳定奇点。这种奇点很“挑剔”，此前难寻踪迹，此次发现为非线性流体动力学研究提供新范式。
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
一款永远不睡觉的 AI Agent 微框架：它会自己琢磨事儿，干完主动来找你汇报！
Laude Institute的AI Agent Audel在无指令下自动修复bug，背后是开源的AI Agent微框架Headlong。它与其他Agent不同，其Agent永远不睡觉，核心由9800行Bash脚本构成，安装简单，提出AI主体性问题。
上周做了场内部分享，关于我做AI这三年来总结的内容创作方法论。
作者分享做AI内容创作三年总结的方法论，指出做内容本质是讲故事，介绍获取信息、找角度、创作三步法，还给出公众号数据运营指标，认为做内容需长期练习，有成就感在于让读者感世界有变化。
分享一个 Skill：如何找到值得做的创业 idea
作者分享找创业想法的方法，认为AI时代想法重要性回归。介绍通过AI获取各平台信号，还推荐Tabbit浏览器，其能创建复用妙招扫描机会，给出结构化清单，还可定时执行，有共享社区。
Claude Code 用户早晚要找的东西：完整的聊天记录
Claude Code回看聊天记录不便，但回看提示词很有价值。作者研究了相关管理器，推荐claude - code - history - viewer和Claude Code Sessions，前者可完整查看本地记录，后者有重命名、删除会话等特色功能。
Kimi K2里找到了DeepSeek V3架构
Kimi新模型K2热度高，在多benchmark上达SOTA，网友好评多。Kimi工程师透露K2开源原因，还谈及Kimi发展策略。实测显示K2在前端制作、工具调用、创意写作上表现出色。此外，OpenAI开源模型推迟，引发猜测。
钉钉为 AI 找了个绝佳工位
随着AI浪潮袭来，企业让AI Agent落地提效遇难题。钉钉以数据表格为架构实现AI应用化，将单元格变为AI“工位”，汇集AI工具、沉淀业务系统，还融合表格与文档、支持提醒功能，解决企业痛点。
一人公司创业，如何找对方法论、选准装备库？
AI让一人做产品更易，全国一人有限责任公司数量增长，相关服务生态成形。时踪由阿泰独立研发，从个人痛点出发做出产品，其95%云服务选阿里云。阿里云为OPC创业者提供阶段化“装备库”。