「AI 数学发现」共找到 10197 篇相关文章
刚刚，GPT-5首次通过「哥德尔测试」！破解三大数学猜想
GPT - 5首次通过「哥德尔测试」，破解三大组合优化猜想。研究由海法大学和思科主导，团队设计五项测试任务，GPT - 5在三个简单问题上近乎完美，还推导出不同解法，标志AI从「学习数学」迈向「做数学」。
创始人跑路一年后，员工接盘把这家AI公司干到年入破亿！如今想含泪甩卖：真的“难以承受”
曾红极一时的AI聊天机器人公司Character.AI苦于运营成本高昂，正权衡出售或筹集新资金。创始人离职后员工接管，虽月活超2000万、预计年底年收入达5000万美元，但成本难承受，还面临监管和竞争压力。
最新研究！大模型“角色扮演”无效了？
沃顿商学院研究测试6个主流AI模型，进行超25000次测试，发现告诉AI扮演专家角色，不会让其回答更准确，反向设定‘低知识’角色有时表现更好，角色扮演不是提高准确性的万能钥匙。
承认自己开源不行？转型“美国DeepSeek”后，两个谷歌研究员的AI初创公司融到20亿美元，估值暴涨15倍！
AI创业公司Reflection AI由两位前Google DeepMind研究员创立，仅一年就完成20亿美元融资，估值达80亿美元。它从编程领域起步，推出代码理解智能体Asimov，现转型为开源替代公司，要打造开放模型。
百度秒哒负责人朱广翔：AI开发革命的终局，是让创意本身成为唯一的“代码”
百度秒哒负责人朱广翔指出，传统应用开发模式受“不可能三角”所困，而秒哒旨在破局。他还分享了AI时代生产力公式，强调多智能体协作关键，认为AI开发终极目标是让人聚焦创意，且不会取代产品经理和程序员。
不用跟AI客气了！新研究：语气越粗鲁回答正确率越高
宾夕法尼亚州立大学研究《Mind Your Tone》显示，与AI交流时说话越粗鲁，LLM回答越准。测试发现，对GPT - 4o特别客气时正确率80.8%，粗鲁时升至84.8%，但老模型不适用。
刚刚，Ilya又发神图「思考者」！AI芯片海洋上在想啥？
AI圈神秘领袖Ilya在Instagram上传画，画面是「思考者」踩在芯片Die Shot上，引发全网解读。同一时间，OpenAI公布数学成果、升级Codex，还传准备秘密提交IPO招股文件，引发新一轮狂欢。
月入 5 万美元的 AI 副业靠这几个工具就能跑起来？我把这十类热门工具都试了一遍
知名开发者 Ras Mic 剖析十类热门 AI 工具，如 n8n 对非技术人被高估，Claude Code 强大但门槛高，还探讨‘AI 副业月入 5 万美元’话题，指出新工具带来创业新可能。
告别App孤岛，天翼AI如何用统一入口重构数亿用户的数字生活？｜甲子光年
2025年中国AI行业模型能力强但用户体验复杂，存在数字鸿沟。中国电信在数智科技生态大会上，天翼AI发布星辰智能体服务平台1.0，以统一入口“星小辰”智能体重塑入口逻辑，还在多领域布局扩张能力。
凌晨三点写代码、10个 Agent 同时跑！ClawdBot 创始人自曝 AI 上瘾史：Claude Code 入坑，Codex 成主力
Clawdbot（现名：Moltbot）爆火，其创始人 Peter Steinberger 分享开发经历。他曾打造 PSPDFKit，后经历职业倦怠。回归后用 AI 编程，从 Claude Code 入坑，Codex 成主力，还分享了 AI 重塑开发方式的见解。