「AI解数学题」共找到 9663 篇相关文章
GPT-6第1天直接攻破5道Erdős难题！Fable 5.1交了白卷
Epoch AI和曼彻斯特大学发布FME基准测试论文，让68道未解数学难题成5个顶级AI的考场。GPT - 6 Astra成唯一得分非0分模型，放宽预算共解开5道，其余4个AI全交白卷。该测试是对陶哲轩批评的回应。
救命！和漫画角色聊上头了，AI陪伴的新答案有了
快看漫画2.0版本推出AI陪伴互动漫画，将AI嵌入漫画角色，玩家以第一视角改写故事。它解决了AI陪伴产品痛点，靠共同经历和叙事上下文存续关系，还集成多家AI技术，内测数据显示有商业潜力。
神隐许久的光年之外，造了款AI浏览器Tabbit，能打吗？
浏览器成AI落地重要战场，巨头纷纷布局。光年之外推出Tabbit AI浏览器，集多种功能于一体，深度融合AI能力，已开启公测。实测其功能实用，虽有不足但已改变使用习惯，AI浏览器或重塑人与信息关系。
完全相信 AI 代码的 Uncle Bob，坦诚这条路还没走通
在AI代码普及当下，Uncle Bob放弃人工评审代码，搭建管控框架引争议，Grady Booch反对，认为AI无法替代资深工程师。Uncle Bob设强约束体系，虽有成效但自动化架构规划未达理想，还给出开发建议。
OceanBase湖库一体，重新定义AI数据库
AI时代数据库面临变革，使用者从人类应用扩展到Agent，管理的数据和承载的工作负载也发生变化。OceanBase坚持一体化设计，发布湖库一体的AI数据库，解决AI生产系统的数据基础设施问题。
为什么 AI 搞不定体力活——对话清华大学刘嘉：这才是生物智能最难攻克的“万里长征” | 万有引力
本文是对清华大学刘嘉教授的访谈。他回顾 AI 研究经历，谈 AI 寒冬、研究错误及第一性原理，还分析学术界与工业界差异、AI 现状与挑战，指出大模型缺创造力，人应与 AI 共进化。
AI4Science 图谱，如何颠覆10年 x 20亿美金成本的药物研发模式
文章指出AI for Science让生命科学与数字互联网融合，加速科学发现。以四象限为框架，梳理了Biology Foundation Model、AI Scientist等玩家，介绍相关模型和公司，展示其对药物研发流程的重塑。
Meta和Scale AI闹翻！砸143亿买的高管跑路，业务也合作不下去
两个多月前，Meta豪掷143亿美元收购Scale AI 49%股份，如今双方在团队融合、业务合作方面产生纠葛。原Scale AI高管离职，Meta研究人员抱怨其数据质量低。双方后续发展不尽如人意。
2025 AI Cloud 100 China榜单发布：6个赛道，34家新上榜，DeepSeek、Manus上榜
6月22日，靖亚资本等发布2025 AI Cloud 100 China榜单，聚焦GenAI商业落地企业。还发布行业趋势报告，总结融资、技术等情况，预测未来五大趋势，如AI应用从Copilot升级到Autopilot等。
AI 能耗救星！这个能倒着走的「可逆计算」芯片，将能耗直降10倍
最新研究提出可逆芯片，通过让计算「倒着走」，有望将AI能耗直降10倍。它基于热力学原理，避免删除数据以减少热量产生。经几十年探索，如今可逆计算或成延续计算进步关键。