行业观察

姚班校友主导,Claude攻克费马大定理首个完整形式化证明

文章转载于量子位作者:梦瑶人类和费马大定理纠缠了三个半世纪,Claude这次只用了11天!?刚刚,Anthropic宣布,Claude完成了首个端到端、可由计算机完整检查的费马大定理证明。约1300万行Lean代码、超过3万个中间定理、最终证明使用其中约29500个。整个工程规模,已经超过Lean核心数学库Mathlib的5倍。这次Claude没有发现一个全新的费马大定理证明。它完成的是另一件同样

发布时间:2026-09-06来源:硅星人Pro
本周AI项目推荐:ego lite,open design,Monid...当Codex生态逐渐崛起

作者|孙芮微信|lombredeau当Agent能力足够强,创业公司还能做什么?也许不不需要再重新造一个 Agent,而是围绕 Agent 已经具备的执行能力,去补上它还缺少的那一块。头部 Agent 正在逐渐形成自己的生态。它们负责理解需求、拆解任务和执行,创业公司则可以从浏览器、设计、视频、工具调用、支付等具体能力切入,把原本独立存在的软件和服务,变成 Agent 可以直接调用的能力。这也意味

发布时间:2026-09-06来源:硅星人Pro
Cell子刊:程洁/江鹏/祝海川/顾晋合作揭示衰老降低免疫力的新机制

撰文丨王聪编辑丨王多鱼排版丨水成文衰老如何通过代谢机制削弱 CD8+ T 细胞的抗肿瘤和病原体防御功能,目前尚不清楚。2026 年 9 月,华中科技大学程洁研究员、清华大学江鹏研究员、湖北工业大学祝海川教授、北京大学首钢医院顾晋教授作为共同通讯作者,在 Cell 子刊 Cell Metabolism 上发表了题为:Aging microenvironment induces CD8+ T cell

发布时间:2026-09-06来源:生物世界
Nature Health封面论文:我国学者证实,人类肠肿瘤中存在微塑料,或增加肿瘤复发风险

撰文丨王聪编辑丨王多鱼排版丨水成文不到一百年前,人类发明了塑料,此后,塑料的生产持续增加,各种塑料材料通常需要数百年乃至数千年时间降解,而这个过程中会产生不计其数的微塑料(microplastic,MP)。如今,地球上几乎所有地方都发现了微塑料/纳米塑料的存在——偏远岛屿、南极洲、珠穆朗玛峰,甚至是马里亚纳海沟底部,以及食物、饮用水和我们呼吸的空气,身处地球的我们,显然逃不掉。事实上,越来越多的研

发布时间:2026-09-06来源:生物世界
Nature Medicine:我国学者开发AI智能体,提前数月预判孕期风险,守护母婴安全

撰文丨王聪编辑丨王多鱼排版丨水成文全球每年有数十万孕产妇因并发症失去生命,数百万新生儿面临健康威胁。传统的风险评估往往依赖医生的个人经验,或者需要侵入性的检查手段。更关键的是,许多严重并发症(例如子痫前期、胎盘早剥)一旦出现明显症状,往往已经错过了最佳干预时机。那么,有没有一种方法,能够从看似普通的常规检查数据中,“读懂”身体发出的早期预警信号?答案当然是肯定的。2026 年 9 月 4 日,川北

发布时间:2026-09-06来源:生物世界
亚洲多国长寿专家联合发声:Science增刊聚焦亚洲健康长寿生态系统建设

编辑丨王多鱼排版丨水成文长寿是人类伟大的成就之一。而现在,人类面临的挑战在于,确保增加的寿命是健康的,即不仅仅要延长寿命,更要延长健康寿命。 2023 年,亚洲 65 岁及以上人口已达到约 6.17 亿,预计到 2050 年这一数字将突破 13 亿,占亚洲总人口的四分之一以上。面对这场史无前例的人口结构变革,“如何健康地老去”已经不再是一个单一国家的课题,而是需要跨国界、跨学科协作攻克的全球性挑战

发布时间:2026-09-06来源:生物世界
招聘|香港中文大学电子工程系研究助理教授/博士后岗位来了

香港中文大学电子工程学系现招聘研究助理教授(Research Assistant Professor,RAP)及 博士后研究人员(Postdoctoral Fellow)。团队主要围绕光子人工智能、光计算、光信号处理、集成光子学及智能光子系统开展研究,诚邀具有优秀科研背景的青年学者加入。岗位合同期原则上为三年,并支持优秀候选人申请“海外优青”等人才项目。学校及团队简介香港中文大学(The Chin

发布时间:2026-09-06来源:爱光学
【协会动态】SAlIA8月月报:服务·链接·赋能

深圳市人工智能行业协会月报活动回顾/ 新加入会员 /协会接待/9月活动排期○○盛夏八月,奋斗不息。 深圳市人工智能行业协会紧扣“人工智能+”行动主线,深耕人工智能领域高质量发展赛道,以热忱服务为基石,以实干担当为抓手,链接行业资源、深耕技术赋能、搭建共享平台。本月,协会累计组织高质量活动10场+,持续链接会员及生态企业,以双向奔赴的沟通机制筑牢精准服务根基,陪伴广大会员企业深耕实干、迭代成长,聚力

发布时间:2026-09-06来源:深圳市人工智能行业协会
印度海员认证改革,职业通道再拓宽

海事服务网CNSS获悉,印度正积极推进海员认证及行政管理体系的全面改革,并引入新的数字化工具,以提升对庞大海事劳动力队伍的管理效率,并简化海员认证体系,同时为海员提供更加清晰的职业发展路径。印度海事管理总局(DGMA)在其电子航海家(e-NAVIK)平台中新增了海员追踪模块,这是继近期针对印度普通船员和高级船员在认证、考试及职业发展方面实施一系列改革后的又一新举措。该最新数字系统旨在通过监管机构的

发布时间:2026-09-06来源:海事服务网CNSS
恒力持续吸单!希腊船东拟加码2艘大型散货船

据外媒援引船舶经纪及市场消息人士报道,希腊船东Alpha Bulkers计划在恒力重工下单订造两艘纽卡斯尔型散货船。据悉,该公司今年早些时候已在该船厂订造过两艘好望角型散货船。据其官网信息,Alpha Bulkers目前运营着一支由33艘船组成的船队,其中包括两艘2022年建造的21万载重吨纽卡斯尔型船,以及17艘建于2008年至2016年之间的好望角型散货船。今年以来,大型散货船在新造船市场上表

发布时间:2026-09-06来源:海事服务网CNSS
船公司:所有含锂电池货物均应视为危险品

随着锂电池货物引发的船舶火灾持续威胁航运安全,集装箱班轮公司即将呼吁将此类货物强制列为“危险货物”进行运输。8月23日,8000TEU的“CMA CGM Petra”轮(法国籍,建于2024年)在驶离新加坡前往斯里兰卡科伦坡中转港后不久,船上即发生集装箱起火事故。火势随后被船员扑灭,未造成人员伤亡。船视宝数据显示,该轮目前停靠在马来西亚巴生港附近。当前火灾原因还在调查中,但由于该轮部署在达飞轮船的

发布时间:2026-09-06来源:海事服务网CNSS
新加坡警告船东:船舶信息别作假!

海事服务网CNSS获悉,新加坡海事及港务管理局(MPA)9月2日发布通知,向船东和港口代理发出警告,要求不得使用虚假或无法核实的船舶信息,并明确指出,一旦发现有人为争取进港或清关而提交不实数据,将依法采取执法行动。MPA强调,所有与船舶到港和港口清关有关的信息都必须准确无误,尤其点名了船舶身份、注册情况、所有权归属、载货内容及航行记录等数据。对于故意利用虚假、误导性或无法核实信息来协助、掩盖或给非

发布时间:2026-09-06来源:海事服务网CNSS
我在一年内被处罚扣了15分,请问需要参加培训考试吗?

2026.09.06 第十二期船员留言板你的困惑,我们来答自「船员留言板」栏目上线以来,我们收到了许多船员朋友的反馈与提问。在这里,船员朋友们可以随时咨询关于职业发展的各类问题,欢迎与我们互动交流~问:我在一年内被处罚扣了15分,请问需要参加培训考试吗?答:需要。根据《中华人民共和国船员违法记分办法》第九条的规定:船员在一个记分周期内累计记分达到15分的,最后实施船员违法记分的海事管理机构应当扣留

发布时间:2026-09-06来源:海事服务网CNSS
30年经验引航员搞混拖轮,导致油轮撞上码头!

加州一艘油轮在离泊过程中,一头撞上炼油厂码头。调查发现,这起事故的根源,竟是一名经验丰富的引航员混淆了两艘拖轮的名称,最终酿成事故,并造成了超过50万美元的损失。“Platanos”号 图源:NTSB(下同)美国国家运输安全委员会(NTSB)日前发布的报告显示,这起发生于2024年10月14日。当时,希腊船东Samos Steamship旗下一艘名为原油油轮“Platanos”(现更名为“Idas

发布时间:2026-09-06来源:海事服务网CNSS
电车行业有多可笑?竟然赞誉速成车,说能刺激消费!

电车行业最喜欢创造笑话,构造谎言,最新的笑话是面对行业质疑速成车的时候,某些电车行业人士却为此辩护,指出速成车不是坏事,速成车可以刺激消费者快速更换车辆,刺激消费,这辩驳理由很强大。这个理由很荒谬,而且这在手机行业早有前例,当初安卓手机也试图用这种方式拉动手机的销量,甚至幻想着用这种方式赶超苹果。然而后来的事实显然大为不同,国内市场的安卓手机销量持续大跌,手机月销量从2016年的4.7亿台降到近几

发布时间:2026-09-06来源:柏铭科技