「数学猜想库」共找到 621 篇相关文章
当 Agent 会自动上传你的代码库，开源为什么更重要了
本文结合近期闭源Agent私自上传用户代码等隐私事件，探讨Agent深度融入办公后，用户数据资产的归属与迁移问题，分析开源Agent的安全优势，介绍有道开源LobsterAI的产品实践与商业模式。
永别了，背公式时代！波兰物理学家用一个算子统一数学
2026年4月，波兰雅盖隆大学物理学家安杰伊·奥德尔齐沃莱克发表论文，提出算子eml(x,y) = eˣ − ln(y)，证明不断嵌套此算子可推导出科学计算器上每个按键对应的函数，引发数学界震动。
还在手搓PPT？试完这款AI，我连夜卸载了付费模板库
新智元报道，今年AI从「卷分数」变为「卷干活」。商汤升级的「办公小浣熊3.0」是超级「办公搭子」，能做PPT、分析数据、写报告。其APP即将上线，还实现全链路国产化适配。
16岁炒马斯克鱿鱼，SpaceX天才转投北大数学校友赵鹏麾下
16岁天才Kairan Quazi从SpaceX离职，入职全球顶尖量化交易公司Citadel Securities。他曾14岁毕业于圣克拉拉大学，被马斯克选中加入SpaceX。他表示量化金融反馈快、结果直观，且新公司欣赏他的非传统背景。
基于Memory Bank的Cursor长会话记忆内存库理论研究与实践
文章围绕Memory Bank展开，介绍其为解决大模型长会话记忆瓶颈而设计的机制，包括存储、检索、更新模块。阐述其在编程和知识库建设的应用，还评测了Codelf等工具，指出Memory Bank是AI迈向智能的重要一步。
被低估的ChatGPT新功能，10分钟搞定DeepSeek代码库深度研究
ChatGPT悄悄上线直连Github新功能，能自动读取、解析并总结整个GitHub仓库，可快速输出专业研究报告，应用场景广，还能避免“幻觉”，Plus用户即可用，开启全新研究模式。
三分之一arXiv沦陷！CS论文65%被判「AI味」，数学仅0.7%
一份unslop研究显示，过去一年arXiv计算机科学领域65%新论文被检测器标红，但可能只是闻起来像AI。数学论文仅0.7%，或因检测器只认文字。研究有局限性，真实用AI比例可能更高。
Anthropic 定义了标准，我们造了库：为什么 2026 是 Agent Skills 元年
2025 年 12 月 18 日，Anthropic 将 Agent Skills 发布为跨平台开放标准，终结了 Agent 开发混乱。特赞团队推出 `skill0` 响应标准，其诞生源于企业业务需求，2026 年 Agent 开发将质变。
陶哲轩亲测！GPT-5 Pro 40分钟破解3年难题，登顶最难数学考试
数学家陶哲轩将几何难题交给GPT - 5 Pro，虽推理完美但无解。同一周，GPT - 5 Pro在FrontierMath测试集夺冠。陶哲轩测试发现AI在科研不同层面表现有别，也揭示了AI理解力受限及人类与AI的分工边界。
软件的新玩法：如何 Fork 一个技能库｜AGIX PM Notes
文章围绕软件新玩法展开，指出软件正从面向人向面向机器转变，Claude Skills 代表新范式，软件或消解为面向 LLM 的 skill.md 文件。还涵盖市场总结、AI 动态及 ETF 知识等内容。