搜索：经典计算机 - AI Reading Hub

「经典计算机」共找到 197 篇相关文章

Google封神，计算机视觉的GPT3时刻来了！

Google Deepmind称在CV领域做出类似GPT-3的成果，Veo 3经大规模训练涌现通用视觉理解和推理能力，能以图片+提示词完成复杂视觉任务，还具备感知、建模等四大超能力。

中科院软件所团队研究指出，现有LLM智能体成功率低、效率差的瓶颈在于GUI。其设计与LLM能力错配，团队提出声明式接口GOI，实现策略 - 机制分离，经测试性能提升显著。

Ruby on Rails 作者 DHH 推出 Linux 发行版 Omarchy，将 AI agent 嵌进系统底层，有独特设计和功能。自带安装脚本，安装快。获十位大佬各 100 万美元赞助，多家系统也在探索 AI 嵌入，它有望开启 Agent OS 时代。

陶哲轩宣布为实分析本科教材《Analysis I》创建「Lean」配套项目，将定义、定理和练习转换成 Lean 版本。Lean 是交互式定理证明器和语言，项目部分依托 Mathlib，可作辅助教材和入门指南。

3月5日，图灵奖得主、快速排序之父Tony Hoare逝世，享年92岁。他贡献诸多，如快速排序、霍尔逻辑等，虽有失误却勇于反思，一生与计算复杂性斗争，保持幽默与务实。

文章介绍2025最新版MCP说明手册，阐述MCP是让AI模型无缝交互的标准化接口和框架，解决AI与外部连接难题。还给出实操案例，如本地构建MCP项目、实现MCP驱动的代理式RAG搜索向量数据库。

数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。

被誉为‘人工智能教父’的杰弗里·辛顿，见证了AI从学术走向主流。他从技术加速者变为警示者，指出AI或对人类造成严重伤害，还谈到应对风险方案、中国优势及AI对社会经济的影响等。

Grok 4公开基准测试有进步，但在高级推理测试表现差，视觉理解仍是短板。性能提升多靠整合符号工具，无重大技术创新，‘幻觉’问题没实质进展，xAI官方对道德对齐信心不足。

MIT科学家威廉姆斯偶然发现，证明内存比大家认为的更强大，少量的内存与大量的时间一样有价值。他证明存在数学程序，可将算法转换成占用更少空间的形式，成果获好评。