「AI证明」共找到 9658 篇相关文章
刚刚，国产AI自己造了AI，全球首例！
面壁智能实现全球首例国产AI造AI，用AI编写预训练框架ForgeTrain，性能超英伟达Megatron，还训练出MiniCPM5 - 1B模型。该模型可作桌宠，小尺寸高智能，还能自定义人格，提供工具链。
瓦卡奖AI视觉创意大赛·从人工智能专家跨文化对话到全球AI厂商的竞技
10月17 - 19日，第二届瓦卡奖AI视觉创意大赛在深圳举行。期间AI全球视觉工作坊汇聚专家探讨AI与艺术融合，竞技日集结全球AI视频厂商民间团队参赛。大赛还发布国内首部《AI视觉创意应用蓝皮书》。
17岁高中生用AI解决数学界难题，陶哲轩、Jeff Dean点赞
17岁高中生 Enrique Barschkis 课间休息时解决埃尔德什第347号问题，引发热议获 Jeff Dean 盛赞。他在陶哲轩等人思路基础上完成证明，用 AI 工具将证明形式化，成果获数学社区认可，标志数学研究进入新阶段。
State of AI 2025：霍桑效应下，AI 是「赚钱机器」还是「泡沫机器」？
Air Street Capital发布2025年度《State of AI Report》，证实AI成重要经济增长动力，但技术突进伴随矛盾。报告提及AI推理能力有‘霍桑效应’，或成泡沫，不过AI - first公司商业化加速，付费工具采用率和合同价值飙升。
AI教父Hinton首次现身中国，合照全网刷屏！预警AI觉醒临界点已至
AI教父Hinton首次现身中国，与市委书记合影刷屏。他多次预警AI危险，称其觉醒临界点已至。演讲深入探讨AI演变，解释工作方式，分析AI或比人类强及有主观体验的原因。
很多AI人还在自嗨，外贸人已经用AI卷翻天了。
作者参加OKKI 2025新品发布会，深感外贸人用AI“卷翻天”。总结8条启示，如AI是队友、智能体达L3才成熟等，强调用人类思维理解行业，以AI解决问题，让技术转化为生意增量。
第一作者必须是AI！首个面向AI作者的学术会议来了，斯坦福发起
斯坦福大学宣布将于2025年举办科学AI智能体开放会议，投稿要求第一作者必须是AI，由其主导论文创作。会议评审主要用AI，人类专家最终评估。目标是探索AI驱动科研的未来，建立规范。
AI公司创始人现跑路迪拜！80%收入烧广告、假账骗投资人，微软都被坑：硅谷的第一个AI大泡沫出现了！
AI独角兽公司Builder.ai估值15亿美元，现破产清算。创始人Sachin Dev Duggal跑路迪拜，公司花80%收入宣传，还用假账骗投资。此前就被指无AI能力，靠人工开发。当下虚假AI盛行，多家相关公司涉欺诈。
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明
清华大学科研团队用自主研发的AI数学家系统（AIM），以人机交互模式解决均匀化理论研究问题，形成约17页证明。研究系统性总结五大高效人机交互模式，在三方面取得突破，还提出未来研究方向。