「AI数学证明」共找到 9823 篇相关文章
谷歌AlphaEvolve太香了，陶哲轩甚至发了篇论文，启发数学新构造
著名数学家陶哲轩与 Google DeepMind 研究人员发表论文，展示谷歌 AlphaEvolve 作为工具可自主发现新数学构造，该系统结合 LLM 与进化计算，在多领域问题上表现出色，还能与其他 AI 工具结合。
陶哲轩联手GPT-5，1小时攻克数学难题！全程无需编码，OpenAI副总惊呼
陶哲轩联手ChatGPT攻克MathOverflow复杂数学题，节省数小时编码时间。他先让ChatGPT生成代码，后改用分步对话找参数，还验证结果。AI助其发现错误、优化流程，凸显在数学研究的潜力。
AI深度应用关键元年，快手重塑内容与商业价值
2025年是AI深度应用元年，AI走向产业级价值兑现。快手在1024程序员节展示AI与业务融合布局。程一笑称竞争关键是结合AI与场景，快手构建技术与应用栈，各业务成果显著，推动全链路AI重塑。
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
2025年1月17日，研究者Neel Somani让GPT-5.2 Pro解1980年提出的埃尔德什猜想第281号问题，证明经陶哲轩验证成立。此外，网友发现有更简单经典解法。陶哲轩提醒评估AI真实成功率有报告偏差。
20%的美国打工人把活儿甩给AI！被替代的是任务，不是岗位
8月6日，Epoch AI联合Ipsos发布职场调查报告，20%美国就业者将工作甩给AI，表明活儿在人和AI间重新分配。AI参与广但不深入，用时情况不一，输出多需修改，先冲击外包工作，且使用不均衡。
清华联手快手可灵，撞车谢赛宁团队RAE，用SVG再证明VAE已过时
AI图像生成正告别VAE技术。清华与快手可灵联合提出SVG方案绕开VAE，纽约大学谢赛宁团队也提出RAE模型。SVG用自监督特征构建潜空间，在质量、效率和通用性上超传统，证明统一视觉模型可行。
别误会00后了！美国千人调查揭秘：85%学生都用AI，首要目的不是偷懒
国外机构调查1047名学生，结果显示约85%学生过去一年用生成式AI处理课程作业，主要用于头脑风暴、答疑与备考。学生希望学校规范AI使用，教师用AI教学学生看法不一，AI重塑大学价值评估体系。
Coinbase CEO：全员强制 AI 编程，违者开除！
Coinbase CEO Brian Armstrong在播客透露，因部分工程师拒绝使用AI编程助手，他解雇了几人。公司为工程师买了AI工具企业许可证，他强制全员注册使用，认为AI是必选项。Stripe联合创始人对依赖AI代码存疑。
因为不用AI写代码，我在终面挂了 | 一个程序员的奇葩面试经历
外国小哥面试终面时，因表示工作不优先用AI，5分钟后收到拒信。此经历在网上引发讨论，网友看法不一，有人支招面试别贬低AI，也有人探讨AI在编程中的利弊，还提到AI辅助面试应用。
AMD 苏妈对话李开复：AI 转型只能由 CEO 驱动、未来“DRI”（直接负责人）将是企业核心｜直击现场
2026 AMD AI 开发者日上海站，AMD 苏姿丰阐述 AI 愿景及中国战略。她与李开复对话，李开复认为 AI 跨越编程临界点，多智能体架构是突破，AI 转型需 CEO 驱动，未来 DRI 将成企业核心。