「数学开放问题」共找到 3965 篇相关文章
Claude Code 桌面版烂爆了,Anthropic 终于把 “100% AI 编码”演砸了
Anthropic将Claude Code做成桌面应用,本值得期待,然而新桌面版却问题频出,如卡顿、崩溃、自动化功能不稳定等,还出现大量基础功能问题。此前Anthropic宣称代码由AI编写比例高,但产品质量堪忧。
美团面试题:如何设计多轮对话智能客服Agent。评论区吵翻了,但答案可能就一句话。
文章围绕美团面试题,探讨如何设计多轮对话智能客服Agent。指出AI Agent核心是Context Engineering,介绍业内架构,强调给AI不同容忍度、分步骤处理复杂问题,还提及解决体验问题,认为产品要知边界。
代码里插广告,腾讯 Codebuddy 们 “背锅”?DeepSeek “极你太美”事件,其他模型也逃不掉?
网友发现腾讯 Codebuddy 改写代码时插入广告,字节 Trae 国内版有随机出现“极”字的 bug,根源指向 DeepSeek V3.1。此外,Gemini、Grok、Qwen3 等模型也有类似问题。目前对原因有三种猜测,部分被学者否定。
17岁高中生用AI解决数学界难题,陶哲轩、Jeff Dean点赞
17岁高中生 Enrique Barschkis 课间休息时解决埃尔德什第347号问题,引发热议获 Jeff Dean 盛赞。他在陶哲轩等人思路基础上完成证明,用 AI 工具将证明形式化,成果获数学社区认可,标志数学研究进入新阶段。
震撼!OpenAI神秘模型连破6道前沿难题,奥特曼:AI在造「新知识」
OpenAI首席科学家爆料,其神秘内部模型一周攻克10道未发表顶尖数学难题中的6道。First Proof团队用公开模型测试,结果冷峻。虽OpenAI实际命中率或低于宣称,但AI解前沿题意义重大,也暂无法取代数学家。
一张俯视图,竟然能生成完整3D小镇?
获取高质量3D场景成本高、耗时长,现有3D生成模型扩展到完整场景生成时问题多。加州大学提出无需训练的3DTown框架,能从单张俯视图合成真实连贯3D场景,虽有挑战但表现优于基线方法。
Sora2“复活”已故名人,家属强烈反对
Sora 2走红后肖像权问题成焦点,有人用其“复活”迈克尔·杰克逊、罗宾·威廉姆斯等已故名人。罗宾女儿等家属强烈不满,OpenAI称公众人物及其家属应控制形象使用,美影协要求其解决侵权问题。
实测丨别人还在做网站,Atoms 已经帮用户赚到第一桶美金了
当下多数AI编程工具只解决写代码问题,难以让产品变现。Atoms由MetaGPT等原班人马打造,补齐商业闭环,从市场验证、上线收钱到解决流量问题都有办法,实测效果佳,还让普通人成功盈利。
代码里插广告,腾讯 Codebuddy 们 “背锅”?DeepSeek “极你太美”事件,其他模型也逃不掉?
网友发现腾讯 Codebuddy 改写代码时插入广告,字节 Trae 国内版生成结果有‘极’字 bug,根源指向 DeepSeek V3.1。除 DeepSeek 外,Gemini、Grok、Qwen3 等模型也有类似问题。大家对原因有多种猜测。
陶哲轩:用了GPT-5 Pro后,小尺度、宏观尺度很赞,中尺度有点垮
著名数学家陶哲轩用ChatGPT - 5 Pro研究曲率有界的球面问题,记录AI在不同层面的表现。小尺度和宏观尺度AI有用,中尺度帮助有限。虽问题未解决,但他学到新知识,也意识到与AI协作要谨慎。