「人类数学」共找到 1458 篇相关文章
吴恩达来信：建立为人类服务的智能体社群
吴恩达讨论编程智能体分享经验平台的可能性，介绍了解决编程智能体获取最新API文档问题的chub工具。他提出收集智能体反馈以更新文档，还受Moltbook和Stack Overflow启发，认为智能体贡献反馈很有价值。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。
Anthropic最新2026趋势报告：人类最大一次编程革命势不可挡
Anthropic发布《2026年智能体编码趋势报告》，指出编程规则改变，任何人都能成开发者。报告给出8大趋势，如软件开发生命周期剧变、智能体能力提升等，还给出2026年组织需关注的4大领域。
人类最后考试已不够用，Agent最后考试来了！
AI飞速进步，人类最后考试（HLE）已不够用，伯克利牵头推出智能体最后的考试（ALE）。ALE真实、全面、可验证，当前最强AI在最难档通过率仅8.6%，主流系统平均2.6%，显示AI距替人干活尚远。
Claude Opus 4.7 发布！留给人类的时间，不多了
Anthropic 发布 Claude Opus 4.7，核心升级是让 AI 跑长且复杂任务，还能自我验证结果。它视觉能力超强，编程能力提升，新增 /ultrareview 功能，API 多了调节档，不过 token 数量或增加，成本可能上浮。
刚刚，人类社交网络巨头Meta收购了AI社交网络Moltbook
Meta收购AI社交网络Moltbook，将其两位核心创作者招致麾下。Moltbook虽被指是‘赛博过家家’，但其建立的智能体验证身份并相互连接的系统机制，是Meta看重的核心价值。
亚马逊100万机器人上岗！即将超越人类员工？机器人军团接管工作
亚马逊仓库迎来第100万个机器人，其机器人数量快与人类员工平分秋色。从机械臂到AI驱动的Vulcan，物流效率提升25%。公司推出DeepFleet优化路径，还让机器人与订单系统对接，但也引发裁员担忧。
103K「硬核」题，让大模型突破数学推理瓶颈
现有大语言模型在数学推理训练时面临数据瓶颈，腾讯AI Lab与上海交大团队推出DeepMath - 103K数据集。它规模大、难度高、数据新颖、严格去污染，让DeepMath系列模型达SOTA，还能实现推理泛化。
刚刚，GPT-5首次通过「哥德尔测试」！破解三大数学猜想
GPT - 5首次通过「哥德尔测试」，破解三大组合优化猜想。研究由海法大学和思科主导，团队设计五项测试任务，GPT - 5在三个简单问题上近乎完美，还推导出不同解法，标志AI从「学习数学」迈向「做数学」。
Node.js之父官宣：人类手写代码时代真的结束了！
Node.js之父Ryan Dahl称人类手写代码时代终结，Stability AI创始人Emad Mostaque预测AI编程成本将暴跌，现在每月200美元的体验两年后不到1美元。AI编程虽需大量算力，但成本正快速下降，未来编程或更民主化。