「学而思学习机」共找到 987 篇相关文章
618想换电脑跑AI？先听我一句劝。
文章围绕618换电脑跑AI展开，分析了本地跑AI的情况，包括不同模型对算力和显存的要求，指出本地跑的好处是隐私安全、无限免费，还推荐了不同预算的笔记本，为想换电脑学AI的人提供参考。
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
Redis之父Antirez分享开发经历称人类程序员仍比大模型出色，举例说明在解决Redis复杂bug时，人类的创造力能想出奇特有效的解法，而大模型较难做到。开发者看法不一，有将其当助手，也有认为它会干扰思路。
逆天! Claude Opus几小时攻破C++大神4年死磕Bug
Reddit上有30多年C++开发经验的大神ShelZuuz，被一个困扰四年的Bug折磨，投入约200小时未解决。用Claude Opus几小时就找到症结，而此前GPT - 4.1等模型都失败。大神认为AI在编写新代码上像初级开发者。
GPT-6第1天直接攻破5道Erdős难题！Fable 5.1交了白卷
Epoch AI和曼彻斯特大学发布FME基准测试论文，让68道未解数学难题成5个顶级AI的考场。GPT - 6 Astra成唯一得分非0分模型，放宽预算共解开5道，其余4个AI全交白卷。该测试是对陶哲轩批评的回应。
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
在第67届国际数学奥林匹克（IMO 2026）上，小红书的「dots-note-3.0」成为首个获官方满分金牌的AI模型。它解题时自我检查修正，有自主探索能力。之后模型要应对生活中长周期、多变任务的挑战。
刚刚，全球最难考试惊天大反转！黑马AI冲破36%，顶流模型集体翻车
ARC-AGI-3测试中，顶级大模型Opus 4.6仅得0.2%，人类获满分。而Symbolica公司用Agentica框架首日就取得36.08%的成绩。该框架有独特技术路径和策略，但成绩未经验证，ARC-AGI-3被视为通向AGI的‘北极星’。
阿里千问落地谷歌UCP+A2UI，中国率先进入AI办事时代
谷歌联合零售巨头发布UCP和A2UI协议，试图定义智能体商务全球标准。而阿里千问App上线千问任务助理1.0，打通淘宝、支付宝等核心业务，接入多项生活与政务服务，快速落地应用，让中国进入AI办事时代。
百度秒哒负责人朱广翔：AI开发革命的终局，是让创意本身成为唯一的“代码”
百度秒哒负责人朱广翔指出，传统应用开发模式受“不可能三角”所困，而秒哒旨在破局。他还分享了AI时代生产力公式，强调多智能体协作关键，认为AI开发终极目标是让人聚焦创意，且不会取代产品经理和程序员。
高阶程序，让AI从技术可行到商业可信的最后一公里
文章指出进入AI下半场，可靠性成关键。当前多种探索路径有局限，企业常用RAG、智能体框架等方案也各有问题。而高阶程序（HOP）是神经 - 符号思想的工程实践，能为AI构建可靠控制系统，已在金融等行业展现价值。
英伟达新研究：小模型才是智能体的未来
英伟达最新论文指出，大模型在Agent任务中消耗大量计算资源，成本高、效率低、灵活性差，而小模型能在性能够用前提下让任务执行更经济灵活。小模型通过优化硬件资源和任务设计高效执行任务，但落地面临挑战。