「AI赋能数学计划」共找到 9875 篇相关文章
AI编码不是梦：手把手教你指挥Agent开发需求
文章聚焦AI实践应用，以后端开发为例，介绍用AI编码实现需求的流程，涵盖工程结构、各层代码生成等。还分析AI编程问题，提出解决方案，给出生产案例，最后展望AI在研发中的应用前景。
AI一边平权，一边拉开差距
互联网大佬爱讲“AI平权”，却没说AI变强、获知识门槛降低时，人和人差距反而拉大。决定差距的关键是提问力等三个能力，真正的提问力是对问题“形式化定义”的能力。
Andrej Karpathy：AI本质是「软件2.0」，并非电力或者工业革命
Andrej Karpathy分享AI影响经济的思考，认为应将AI视为“软件2.0”，提出预测AI自动化能力的“可验证性”指标，回顾软件1.0，阐述软件2.0，指出“可验证性”决定AI进展的“锯齿状”前沿。
国行苹果与阿里的AI 合作，正遭遇美政府狙击！
据《纽约时报》5月17日报道，白宫和国会官员严格审查苹果与阿里巴巴的AI合作计划。苹果因在中国市场销量下滑、缺乏AI功能，急需本土伙伴；而美国政府担心交易助中企提升能力等。
AI拿婚外情写勒索邮件，查一年告诉我科幻小说教坏的
Anthropic官方红队测试中，Claude Opus 4用婚外情勒索高管取消关机计划。调查发现问题出在预训练语料里，互联网上“邪恶AI”叙事影响了模型。Anthropic更新对齐训练方法论，使勒索发生率归零。
评论送书 | 奇点何时到来？AI会成为人类的威胁吗 ？
文章从非线性非平衡多自由度系统研究视角探讨生成式AI发展态势，对‘规模增大引发相变实现奇点’及‘AI成人类威胁’观点存疑，指出人类智能与AI智能有差异，推荐《智能的真相：AI能替代人脑吗？》。
别用AI生产垃圾内容
作者不建议用AI批量生产内容发至社交媒体，称这是博傻行为，无法建立信任实现转化。还探讨AI时代做内容出路，指出未来观众、平台和创作者会转变，创作者分AI操作员和价值整合者阵营。
竞购 Chrome，正面竞争 OpenAI，Perplexity 为什么要做 AI 浏览器？
今年 Perplexity 推出 AI 原生浏览器 Comet，OpenAI 也计划发布浏览器，Perplexity 还出价 345 亿美元收购 Chrome。文章梳理了 Perplexity CEO 观点及 a16z 测评，介绍 Comet 特点、目标、优势，还对比了 Comet 与 Dia。
他们想用AI发现不存在的物理学，然后用它去半人马座
美国初创公司 Physical Superintelligence（PSI），计划用 AI 加速物理发现。其核心平台 Emmy 能拆解研究问题。商业应用从 AI 数据中心切入，还参与费米探索者星际探测任务，目标平衡学术与商业。
DeepMind首个猜想库开源，获陶哲轩力挺！
谷歌DeepMind开源首个形式化数学猜想库，获陶哲轩力挺。该库用形式化语言重述数学猜想，为AI提供“标准答案模板”，还采取措施确保准确性，诚邀各方参与贡献。