寻饭小窝平淡是真

中国著名摇滚歌手何勇去世 享年57岁与窦唯、张楚并称“魔岩三杰”的中国知名摇滚歌手何勇，星期二（9月1日）在北京去世，终年57岁。“魔岩三杰”之一的张楚受访时表示，他们作为曾经的合作伙伴，也已经有10多年没有见面，在他眼中，“何勇是一个特别真挚，也过于执着的人。”何勇1969年2月15日生于北京，六岁开始跟随父亲、民乐演奏家何玉生学习音乐。由于多年来受疾病困扰，何勇鲜少公开露面。他虽然作品不多，但《钟鼓楼》《姑娘漂亮》等歌曲仍深受乐迷喜爱。—— 联合早报...

Anthropic旗下Claude登陆CarPlay平台Anthropic为Claude iOS应用增加了CarPlay集成，这意味着Claude用户可以通过他们的车载信息娱乐系统与Claude对话。苹果公司在iOS 26.4中为CarPlay增加了对第三方聊天机器人的支持。具有 CarPlay 集成的聊天机器人应用需要添加对语音控制界面的支持，使用苹果公司指定的 CarPlay 模板，并从苹果公司获取授权。Claude可以免提回答基于语音的问题，但该聊天机器人无法控制车辆或者iPhone功能。用户还需要从 CarPlay 界面打开Claude应用，因为不支持第三方唤醒词。CarPlay上的C...

微软 Xbox 应用即将登陆 TCL 电视微软正与TCL合作，将其Xbox应用带到受支持的TCL智能电视上。Xbox应用允许你连接到Xbox云游戏，并作为订阅的一部分，串流Game Pass游戏或拥有的精选游戏。Xbox应用将在“未来几个月”内的某个时间点登陆TCL电视，这正好赶上微软11月为Xbox云游戏推出的新的按需付费选项。这将让任何人无需订阅Xbox Game Pass即可访问云串流服务——对于没有Xbox主机的用户来说是理想之选。微软还一直在为Xbox预览体验成员测试免费的、带广告支持的云游戏，这可能会很快推出，并为访问Xbox云游戏提供更多选择。—— Theverge...

部分中国稀土企业出于地缘政治顾虑暂停对美发货多名消息人士透露，由于担忧地缘政治风险及北京方面的惩罚，部分中国稀土供应商已暂停向美国客户发货。此举加剧了美国在关键矿物供应方面的压力，并成为两国高层即将举行会晤前的重点议题。美方官员持续呼吁中方确保出口许可顺利发放，而中方外交部则表示始终致力于维护全球关键矿产供应链的稳定。来源：路透社...

华为发布“τ芯片”最新研究 提出3D堆叠重构电路新思路华为半导体负责人何庭波于9月4日在ChinaXiv发布论文《Huawei’s τ Chip Was Supposed to Melt?》，进一步阐述了华为“τ芯片”及LogicFolding技术。该研究指出，芯片功耗不仅来自计算，更来自数据传输；通过将电路重构为上下层结构，不仅大幅缩短了信号传输距离与延迟，还显著降低了数据移动所产生的能耗。论文数据显示，应用该技术的麒麟2026芯片晶体管密度提升约55%，在同等性能下，NPU与GPU功耗分别下降66%和58%。华为通过热感知布局和源头降耗，回应了行业关于3D堆叠“高密度等于高发热”的质疑。但...

GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API.It might take a few days to roll out to our Plus and Business users. Thank you for your patience....

美国白宫网站上线抓捕移民电子游戏当地时间9月3日，美国白宫在其官方网页上推出一个新的游戏网页，以带有MAGA元素的经典复古街机风格游戏为特色，但因其中的涉移民内容很快引发争议。现今，进入美国白宫官方网站后，即可点进相关游戏页面，目前共上线了五款游戏。这些在线游戏包含抓捕南部边境人员并修建边境墙的互动内容。在名为 “里约奔跑”的游戏中，玩家需沿格兰德河 “巡逻警戒线” ，“抓捕所有越境者” ，以争取更高的 “驱逐出境” 得分。另一款移民主题游戏名为“Build The Wall”（修建边境墙），挑战玩家堆砌砖块，并在“边境僵尸围攻”中“守住防线”。—— 财新、观察者网、Theverge...

Claude首次实现费马大定理自动形式化证明哥伦比亚大学商学院助理教授彭天翼利用Claude在11天内以高度自主的方式完成了费马大定理的第一个完整、经计算机检验的证明。该证明使用了Lean编程语言编写，包含1300万行代码，并证明了29500个中间定理。此次形式化工作采用了Prove2Me平台，该平台通过维护定理陈述的无环图（DAG）及多智能体协作机制，有效克服了单一智能体在复杂长链逻辑推导中易出现的资源损耗与协作失效问题。这一成果证明了利用AI自动形式化现代数学文献的可行性，能够辅助数学家校验成果、规避错误，从而减轻评估新研究的压力。—— Anthropic...