最近AI惹的“麻烦”有点多，OpenAI接连破解了几个千禧年数学难题后，25名菲
最近AI惹的“麻烦”有点多，OpenAI接连破解了几个千禧年数学难题后，25名菲
寒天畅谈科技的文章
最近AI惹的“麻烦”有点多，OpenAI接连破解了几个千禧年数学难题后，25名菲尔兹奖得主跳出来（陶哲轩和邓煜也在里面）联名写了一封声明信《AI在数学领域的严重错位》，有点指责模型厂商只把AI当作解题工具，没有推动数学发展的意味。 看下来数学家们其实没有说AI不好，想反陶哲轩一直在数学中使用推广
最近AI惹的“麻烦”有点多，OpenAI接连破解了几个千禧年数学难题后，25名菲尔兹奖得主跳出来（陶哲轩和邓煜也在里面）联名写了一封声明信《AI在数学领域的严重错位》，有点指责模型厂商只把AI当作解题工具，没有推动数学发展的意味。
看下来数学家们其实没有说AI不好，想反陶哲轩一直在数学中使用推广
现在的ai都习惯读markdown，不管是写skill，还是搭建知识库，我发现markitdown这个md转换工具非常实用，它已经在GitHub 狂薅18万star。 markitdown既是Python库也是cli应用，能批量将各种格式文件转为markdown文本，堪称markdown万能钥匙。 它能搞定pdf、ppt、excel、word、html、epub、outlook、图
现在的ai都习惯读markdown，不管是写skill，还是搭建知识库，我发现markitdown这个md转换工具非常实用，它已经在GitHub 狂薅18万star。
markitdown既是Python库也是cli应用，能批量将各种格式文件转为markdown文本，堪称markdown万能钥匙。
它能搞定pdf、ppt、excel、word、html、epub、outlook、图
吴恩达最新的一篇推文讲到ai工程4个很重要的软技能，不少多人会忽略，依然用工具人
吴恩达最新的一篇推文讲到ai工程4个很重要的软技能，不少多人会忽略，依然用工具人
吴恩达最新的一篇推文讲到ai工程4个很重要的软技能，不少多人会忽略，依然用工具人思维去对待ai，这样很难开发出有市场的应用和产品。 传统的程序开发往往是接产品经理和设计师的需求，严丝合缝执行老板的意志，写代码开发别人设计好的东西，有点像接单干活的工具人、螺丝钉。 但ai时代不需要这样的
吴恩达最新的一篇推文讲到ai工程4个很重要的软技能，不少多人会忽略，依然用工具人思维去对待ai，这样很难开发出有市场的应用和产品。
传统的程序开发往往是接产品经理和设计师的需求，严丝合缝执行老板的意志，写代码开发别人设计好的东西，有点像接单干活的工具人、螺丝钉。
但ai时代不需要这样的
前几天蹲完苹果发布会，很多人第一愁的就是抢不到现货，只能漫长等期货，一等就是一个
前几天蹲完苹果发布会，很多人第一愁的就是抢不到现货，只能漫长等期货，一等就是一个
前几天蹲完苹果发布会，很多人第一愁的就是抢不到现货，只能漫长等期货，一等就是一个多月。我突然发现今年不用死磕官网和各大电商了，豆包App居然单独备了一批货，专门针对iPhone 18 Pro和18 Pro Max。 12号晚上8点一直到17号，每天上午都会持续放首批现货，拼手速就能抢到。最大的好处就是不用等几
前几天蹲完苹果发布会，很多人第一愁的就是抢不到现货，只能漫长等期货，一等就是一个多月。我突然发现今年不用死磕官网和各大电商了，豆包App居然单独备了一批货，专门针对iPhone 18 Pro和18 Pro Max。
12号晚上8点一直到17号，每天上午都会持续放首批现货，拼手速就能抢到。最大的好处就是不用等几
看到一个学英语的方法，说需要做到听到一句英语，脑子里立马呈现画面，而不是脑内翻译
看到一个学英语的方法，说需要做到听到一句英语，脑子里立马呈现画面，而不是脑内翻译
我发现随着ai生图技术和理解能力的提升，大段提示词反而会限制ai的发挥，效果其实
我发现随着ai生图技术和理解能力的提升，大段提示词反而会限制ai的发挥，效果其实
我发现随着ai生图技术和理解能力的提升，大段提示词反而会限制ai的发挥，效果其实更不理想。 比如有个博主写的Image2.5教程 ，列举了各种电商作图的提示词场景，其中一个例子是衣服试穿，也就是给ai两张图片，真人模特和一件上衣，让ai生成试穿的图片。 作者给了将近200字的提示词，约束ai衣服要保留
我发现随着ai生图技术和理解能力的提升，大段提示词反而会限制ai的发挥，效果其实更不理想。
比如有个博主写的Image2.5教程 ，列举了各种电商作图的提示词场景，其中一个例子是衣服试穿，也就是给ai两张图片，真人模特和一件上衣，让ai生成试穿的图片。
作者给了将近200字的提示词，约束ai衣服要保留
看到有个新闻，演员张蓝心因为影视寒冬没戏可演，靠写代码增收，还写了3个应用。评论
看到有个新闻，演员张蓝心因为影视寒冬没戏可演，靠写代码增收，还写了3个应用。评论
OpenAI攻克NS方程的事，听说算力成本居然将近2000万美元，天价了，不过和
OpenAI攻克NS方程的事，听说算力成本居然将近2000万美元，天价了，不过和
OpenAI攻克NS方程的事，听说算力成本居然将近2000万美元，天价了，不过和以往的数学难题不同，据说这个研究有巨大应用价值，医疗、汽车、船舶等都能用到。 邓煜发朋友圈说他身边数学界同僚因为ai陆续破解重大数学题开始焦虑，其实很多工种都面临被ai替代的可能，ai能分析数据、写代码、写作文、生成电
OpenAI攻克NS方程的事，听说算力成本居然将近2000万美元，天价了，不过和以往的数学难题不同，据说这个研究有巨大应用价值，医疗、汽车、船舶等都能用到。
邓煜发朋友圈说他身边数学界同僚因为ai陆续破解重大数学题开始焦虑，其实很多工种都面临被ai替代的可能，ai能分析数据、写代码、写作文、生成电
这两天在Github上发现一个CLI数据采集工具，专门用来复杂网页大规模爬虫，叫
这两天在Github上发现一个CLI数据采集工具，专门用来复杂网页大规模爬虫，叫
据说DeepSeek V4 Pro这几天快要下线了，现在用的专家模式已经路由到V
据说DeepSeek V4 Pro这几天快要下线了，现在用的专家模式已经路由到V
据说DeepSeek V4 Pro这几天快要下线了，现在用的专家模式已经路由到V4.1 Flash，也就是说你用V4 Pro后台其实是V4.1 Flash在对话。 现在速度确实更快，V4.1 Flash至少快了3倍，而且支持了多模态，能读图，赶快用起来。 如果是API用户，今天开始Flash系列价格至少下调了40%，不过每个人输入输出不一样
据说DeepSeek V4 Pro这几天快要下线了，现在用的专家模式已经路由到V4.1 Flash，也就是说你用V4 Pro后台其实是V4.1 Flash在对话。
现在速度确实更快，V4.1 Flash至少快了3倍，而且支持了多模态，能读图，赶快用起来。
如果是API用户，今天开始Flash系列价格至少下调了40%，不过每个人输入输出不一样
这几天OpenAI的首席科学家Pachocki发了一篇文章，说AI大模型是“生成
这几天OpenAI的首席科学家Pachocki发了一篇文章，说AI大模型是“生成
这几天OpenAI的首席科学家Pachocki发了一篇文章，说AI大模型是“生成”出来的外星智能，而非被”设计“出来的，它很快会递归自我进化训练，现在人类安全监管快跟不上了，他提议让大家刹车，减缓大模型的训练。 但搞笑的是不少人跳出来调侃：全人类刹车，然后OpenAI偷偷训练？要想刹车，最好的办法是开
这几天OpenAI的首席科学家Pachocki发了一篇文章，说AI大模型是“生成”出来的外星智能，而非被”设计“出来的，它很快会递归自我进化训练，现在人类安全监管快跟不上了，他提议让大家刹车，减缓大模型的训练。
但搞笑的是不少人跳出来调侃：全人类刹车，然后OpenAI偷偷训练？要想刹车，最好的办法是开
看到一个博主复刻了很火的Microduck机器人，还写了篇万字开源教程，最有意思
看到一个博主复刻了很火的Microduck机器人，还写了篇万字开源教程，最有意思
看到一个博主复刻了很火的Microduck机器人，还写了篇万字开源教程，最有意思的不是这个赛博鸭子本身，而是从仿真到真机行走的全过程，相当的考验动手能力，很适合当作机器人实战的案例。 前不久刚看了一个6个月开发机器人的入门教程，而Microduck恰好是检验学习成果的考试哈哈，从仿真、机械、电气、
看到一个博主复刻了很火的Microduck机器人，还写了篇万字开源教程，最有意思的不是这个赛博鸭子本身，而是从仿真到真机行走的全过程，相当的考验动手能力，很适合当作机器人实战的案例。
前不久刚看了一个6个月开发机器人的入门教程，而Microduck恰好是检验学习成果的考试哈哈，从仿真、机械、电气、
作者信息
