星星之火，可以燎原！证明的尊严在于可验证；这一次，GPT-5让数学证据落在了代码里。一雪前耻，ChatGPT为OpenAI「正名」！被Hassabis吐槽太尴尬之后，GPT-5真启发了新的数学结论。OpenAI的科学家Sebastien Bubeck高调宣扬GPT-5破解了十道Erdős难题。但被指出GPT并非解决了Erdős问题，而是找到了已经解决这些问题的文献。
这年头，AI 创造的视觉世界真是炫酷至极。但真要跟细节较真儿，这些大模型的「眼力见儿」可就让人难绷了。
1万伏的高压配网线路上，一台亮黄色的具身智能机器人正在替人类干活。
AI 驱动的商业革命，正在重新定义一个古老的问题——什么才是「会做生意」。
市值第一巨头英伟达里，都有谁可以直接向CEO黄仁勋汇报？
美国人工智能初创企业Perplexity宣布推出世界首个AI专利智能体（agent）——Perplexity Patents。Perplexity表示，其目标是带来人人可用的专利智能体，让知识产权情报触手可及。其瞄准的正是专利情报分析的行业痛点：长期以来，工程师、研究人员、专利从业者和企业领导者在进行专利检索时，往往需要结合关键词组合和对专利晦涩行文的掌握，才能获得全面的研究结果。
新乐子来了。 10个AI大模型，券商账户实时交易，勇闯美股。 除了老面孔GPT、Claude、Gemini、Grok、Qwen、DeepSeek，这次四个国产新玩家，豆包、Minimax、Kimi、文心也加入战场。昨晚，首战正式开赛，豆包已经一马当先，开始了开门红。
过去一年，AI模型的价格暴跌百倍！同样一句话，去年要10块，现在只要几分钱。可与此同时，家政、育儿、心理咨询、维修.....这些「手工活」越来越贵。科技正在疯狂通缩，生活却越来越通胀。这不是经济学笑话，而是Jevons与Baumol共同制造的现实：当机器更聪明，人工就更昂贵。
正与三星共同研发HBM4。
陶哲轩让ChatGPT把复杂的数学论文翻译成Lean代码，与AI合作完成形式化证明。AI能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成1125行被验证的证明。
