「AI证明」共找到 9687 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
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 将成企业核心。
硅谷精英放弃生娃！MIT女记者揭秘：人类只是AI垫脚石，世界很快就毁灭
华人女记者Karen Hao出版《AI帝国》，揭露OpenAI背后隐秘真相。书中提到部分AI行业技术高管因认为世界不久将不复存在而选择不育，还讲述了AI带来的诸多问题，如资源消耗、道德困境等，也指出AI公司拒绝承担现实成本。