搜索：拉马努金理论

「拉马努金理论」共找到 342 篇相关文章

北大数学家终结50年猜想！一只蝴蝶翅膀，竟难倒菲尔兹奖得主

历时50年的「十杯马提尼猜想」被北大Lingrui Ge等学者证明。该猜想连接量子物理和数学，为解「霍夫施塔特蝴蝶」之谜。他们基于「全局理论」找到对偶方程，成果发表在arXiv，还攻克另外两个关键问题。

近日，美国能源部公布“创世纪计划”首批入选资助谈判项目名单，反映AI for Science深刻演变，从理论探索走向实际应用，科研组织方式也在重构。本文从多维度拆解名单背后的战略布局与演进趋势。

上海交大和vivo研究者提出自交换引导（SSG），不依赖文本条件、不加噪声、不改模型，只交换token特征。在多数据集实验中，SSG表现超现有方法。不过，其缺理论支撑、计算开销大。

OpenAI发布《2025年企业AI现状报告》，基于真实数据与调研公开企业级AI使用规模。ChatGPT周服务超8亿用户，企业端增长惊人，各行业渗透加速，员工也感受到实际价值，同时前沿与普通用户差距拉大。

猹与猹团队分享过去一年进展，先做AI产品大众点评「观猹」，举办黑客松活动，发布「TokenDance」。针对产品增长和内容创作痛点推出「猹与猹」，用OMG理论助AI团队，孵化优质内容。

Anthropic 悄悄修改价格页面，将 Claude Code 从 20 美元 Pro 套餐剔除，变为 100 美元 Max 套餐专属。开发者反应激烈，官方称是针对 2% 新用户的定价测试，OpenAI 借机拉踩，网友质疑，开发者开始物色下家。

Robotaxi行业竞争重点转向安全可信能力建设。6月29日，图灵奖得主约瑟夫·希发基思出任曹操出行AI创新中心首席科学顾问，其理论可补全自动驾驶可信论证体系，助曹操出行搭建全链路可信AI底层安全框架。

本科经典算法Dijkstra被清华段然团队超越，新算法运行速度比任何Dijkstra及其改进算法都快，还解决了“排序障碍”问题。该算法改进了图灵奖得主Tarjan的算法，在理论和实际应用中意义重大。

文章详尽介绍AI Agent框架，从理论到实践，涵盖多种模式、主流框架对比，强调上下文工程是核心，还给出极简框架实现及应用示例，虽有不足但能助看清Agent本质。

美国北加州旧不动产契约含种族歧视条款，人工筛查耗时久。斯坦福和普林斯顿大学研究人员微调大语言模型实现自动识别，分析圣克拉拉县契约，发现诸多受影响土地，且揭示少数开发者推动住房隔离，模型已开源。