「人类数学」共找到 1458 篇相关文章
Claude 4破解困扰人类4年系统bug，30年码龄程序员200小时没搞定，GPT-4.1/Gemini-2.5也做不到
30年码龄程序员4年没搞定的顽固型‘白鲸bug’，Claude Opus 4配合Code模式，用30个prompt+1次重启，几小时就破解。此前GPT - 4.1等模型都失败，凸显Claude编程与推理能力强。
姚班传奇陈立杰入职OpenAI！16岁保送清华，30岁拿下UC伯克利助理教授
最新消息称姚班大神陈立杰加盟OpenAI负责数学推理。他16岁保送清华，30岁成UC伯克利助理教授，长期从事理论计算机科学研究，近期聚焦扩散语言模型。
演讲生成黑科技，PresentAgent从文本到演讲视频
联合团队提出 PresentAgent，能将长篇文档转化为带解说演示视频。采用模块化流程，还引入 PresentEval 评估框架。实验显示其接近人类表现，优于现有方案，展现了多模态智能体潜力。
在上海，与4位国际大咖一起追问未来：人机协作时代，艺术何为？
在人机协作时代，艺术意义引人深思。上海一场论坛邀四位大咖探讨创作，将不可见存在转化为美学体验，跨越学科界限，思考人类创造力、责任及艺术共情作用。
Ilya Sutskever 最新毕业演讲：我们正处在人类史上最不寻常的时代，因为 AI 终将无所不能，你的未来无法逃避
Ilya Sutskever 在多伦多大学毕业演讲称，AI 终将无所不能，人类应接受现实，努力向前。他建议大家使用顶尖 AI 形成直觉，直面 AI 带来的挑战，关注并解决相关问题。
诺奖获得者Hassabis警告：AlphaGo已觉醒，AGI正接管科研
十年前，AlphaGo击败李世石，让世人看到AI潜力。此后，DeepMind不断推进，其技术从棋盘拓展到科研，如AlphaFold解决蛋白质折叠难题，AlphaProof在数学推理获佳绩，这些成果显示AGI正接管科研。
陶哲轩在线安利Claude Code：审稿意见全给它，15分钟欧了
科研人投稿论文常被审稿人“折磨”，陶哲轩用Claude Code修改论文，15分钟搞定，还捉出审稿人错误。他认为应让AI干脏活累活，人类解决难题，AI+人成数学界新趋势。
34k star！开源多层级自主协作AI Agent，超10万开发者认证
CrewAI是超34000颗星的开源AI Agent框架，曾获Github每日增长趋势第一。基于Python，核心架构由CrewAI Crews和CrewAI Flows组成，设计灵感源于人类协作，已有超10万开发者认证。
新规矩：龙虾惹祸，主人担责！
Meta 收购 AI 社交平台 Moltbook 仅五天，就紧急修改规则，终结 AI 自治，让人类为 Agent 行为担责，还添加年龄门槛与免责声明，这是大厂规避诉讼的必然选择。
面向Agent设计的CLI，你要注意这几件事情！
当前面向Agent设计软件成热点，但多数CLI设计对Agent不友好。Eric Zakariasson给出设计建议，如非交互、示例比描述重要等，强调要兼顾人类和机器，否则人味界面将被自动化绕开。