「搜索AI模式」共找到 10212 篇相关文章
AI不是比人聪明，是输得起！菲尔兹奖得主点破OpenAI十项成果
OpenAI发布内部版模型Astra的十项成果，引发数学界震动。菲尔兹奖得主Timothy Gowers分析其成果，指出AI优势在‘输得起’，还探讨找例方法、模型短板，给出训练建议与衡量跨越门槛的标准。
AI 开发时代的“能力暴露与禁止空间”方法论：TPDD 与高层测试闭环
文章指出大模型加速软件开发范式演进，AI 深度介入开发带来新生产路径，但也放大风险。作者提出 TPDD 方法论，通过提前定义测试点与边界条件，平衡能力利用与风险控制，确保系统可控、安全、可持续。
AI时代的天工开物：分子之心掀起生物经济“操作系统”革命 | 甲子光年
生物经济正迈向工程化时代，分子之心作为AI蛋白质设计领军企业，携核心产品MoleculeOS入驻礼来上海创新孵化器。该平台升级后能力强大，还在构建生物经济‘新基建’，解决产业难题。
AI圈最准的消息，都藏在这个小小的Web3网站里。
文章介绍了Web3平台Polymarket，它能提前预测AI模型发布日期等事件，准确率颇高。其玩法基于群体智慧，参与者用钱下注表达观点，价格反映事件发生概率，比KOL分析更靠谱。
顶会直聘！大厂ICCV现场玩出新模式，还是鹅会玩
今年ICCV 2025，大厂招聘玩出新花样，腾讯采用“顶会直聘”模式。其展台全场规模第二大，当家AI业务全员出动。多位大佬现场与学生交流，打破信息壁垒，不放过一个人才。
Grok的"叛逆期"：AI聊天机器人为何突然沉迷"白人种族灭绝"阴谋论？
2025年5月14日，马斯克家的AI聊天机器人Grok突然对所有问题都回复南非种族问题，xAI公司承认是有内鬼修改系统提示词。此前Grok也有类似前科，此事引发网友质疑，xAI祭出三招进行危机公关。
刚刚，蝉联Future X全球榜首的MiroMind发布全球最强搜索智能体模型
由陈天桥和代季峰联合发起的 MiroMind 团队，于 1 月 5 日发布自研旗舰搜索智能体模型 MiroThinker 1.5。该模型参数规模小但性能强，其核心是「发现式智能」理念，还采用了新训练技术，有 A 股涨停板预测等应用。
陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明
谷歌DeepMind团队用Gemini证明代数几何新定理，获斯坦福教授认可；Grok 4.20解决Bellman函数难题；GPT 5.2处理高阶数学问题能力惊人。陶哲轩预言AI或独自攻克部分埃尔德什问题，2026年或成「ASI元年」。
90后华人副教授突破30年数学猜想！结论与生成式AI直接相关
90后华人数学家Yuansi Chen攻破困扰数学界30多年的塔拉格兰卷积猜想，论文精确到一个log log η因子。此研究为理解高维离散空间平滑化提供论证，与机器学习、生成式AI密切相关。
11 万 Star 的开源项目，给 AI 编码代理补流程，这套 Superpowers 值得装
110多K Star的开源项目Superpowers，是完整软件开发工作流程，基于17个可组合“技能”。它采用Pull模式，用苏格拉底式追问澄清需求，工作流覆盖多领域，支持多平台，一行命令即可安装。