AITP
精选全部 AI 动态AI 日报Agent 接入关于更新日志信源提报反馈
登录 / 注册
AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签:数学研究×
6月16日
20:46
AITOP6月16日 20:46
600亿美元买下Cursor,xAI终于拿到了编程工具,但真正值得跟踪的或许不是AI600亿美元买下Cursor,xAI终于拿到了编程工具,但真正值得跟踪的或许不是AI
6月12日
12:57
AITOP6月12日 12:57
Claude代码里藏了个20260612,18个月后的AI记忆革命已经开始倒计时
6月11日
15:28
AITOP6月11日 15:28
1107 vs 303:谷歌悄悄开源了一个“拆打字机”的模型,把大模型速度翻了4倍
15:23
AITOP6月11日 15:23
DiffusionGemma颠覆文本生成?自回归模型的“统治”要结束了
15:07
AITOP6月11日 15:07
每秒1107个token,Google开源的扩散模型为什么能改变本地推理格局?
6月10日
12:28
12:28arXiv: DeepSeek@Xiaoyang Chen, Xiang Jiang
精选
Moonshine 是一个自主智能体,其核心目标是生成数学猜想,而非仅解决单个命题。它通过从经典问题中提取结构、提炼新概念并构建可扩展的理论框架来运作。以雅可比猜想为例,Moonshine 将其核心逻辑迁移至单隐藏层仿射-脊sigmoid网络,提出了神经雅可比猜想(NJC)。利用GPT-5.5-pro和DeepSeek-V4-pro,Moonshine 独立证明了NJC在N=n+1情况下的正确性,并通过ChatGPT交互得到了几何拓扑证明。这项工作展示了Moonshine自主生成有意义数学问题并取得严谨进展的能力。
论文智能体数学研究猜想生成GPT-5.5-proDeepSeek-V4-pro

推荐理由:Moonshine 把数学研究从“解题”推向“猜想的自动生成”,做AI for Science或数学自动化的研究者值得关注,它展示了智能体如何自主发现并推进新问题。
原文
6月1日
02:47
02:47rohanpaul_ai@rohanpaul_ai
76°
著名数学家陶哲轩在播客中表示,AI 工具正在彻底改变数学研究的方式。过去需要多年教育才能达到数学研究前沿,现在高中生借助 AI 工具和 Lean 等辅助系统,也能参与数学项目并做出实际贡献。这标志着数学研究门槛的显著降低,以及 AI 对学术领域加速作用的又一例证。
AI产品AI 工具数学研究Lean教育陶哲轩

推荐理由:数学研究者、教育工作者和 AI 爱好者值得一看——陶哲轩的观察揭示了 AI 如何打破学术壁垒,让数学研究更开放、更高效。
原文
5月30日
04:57
04:57rohanpaul_ai@rohanpaul_ai
著名数学家陶哲轩指出,AI 正在消除认知摩擦,让研究人员不再因繁琐的验证工作而放弃大胆想法。过去,数学研究的大部分时间花在检查案例、追踪文献、将直觉转化为计算等琐碎环节,而非灵感迸发。AI 降低了这一循环的成本,使得数学家可以尝试更疯狂的方向,因为许多非常规想法并非被证明为错误,而是被不便所扼杀。陶哲轩认为,降低认知摩擦不会取代品味、判断或证明,而是让更多微弱信号在放弃前变得值得审视,这正是发现的起点。
行业AI 认知摩擦陶哲轩数学研究科研效率创新思维

推荐理由:陶哲轩点出了 AI 对科研思维方式的根本改变——不是替代思考,而是让犹豫变便宜。做研究、写代码、搞创新的团队看完会重新理解 AI 的价值。
原文
精选全部日报登录