行业观察

数学，人类理性皇冠上最硬的那颗宝石，正在被撑到胃痉挛。新的麻烦来自证明过剩：证明太多了2026年7月24日，费城 四年一届的国际数学家大会（ICM），数学界的"奥运会"，菲尔兹奖在此颁发，全球数学共同体最盛大的聚会。 台上站着的是陶哲轩，UCLA教授，2006年菲尔兹奖得主，被媒体称为"数学界的莫扎特"，当今在世最具影响力的数学家之一。他谈的却是AI成功之后的代价他说：数学正在进入一场"证明消化不

单击上方“图灵人工智能”，选择“星标”公众号您想知道的人工智能干货，第一时间送达转自AI-Lab学习笔记，仅用于学术分享，如有侵权留言删除一笔退款，让一个读懂所有规则的 Agent 在最后一步停下。AI 并非把错误带进一个无错的世界，而是在重新分布错误；当它真正进入生产，企业必须重新说明自己由什么构成、准备保护什么，以及如何让人机系统从后果中学习。▲ 企业运行模型由业务对象、权限门槛、承诺与反馈共

单击上方“图灵人工智能”，选择“星标”公众号您想知道的人工智能干货，第一时间送达转自51CTO技术栈，仅用于学术分享，如有侵权留言删除编辑 | 姜篇“It's that you have to be the creator.”Erik Brynjolfsson：你得成为那个主动创造工作的人。一名即将毕业的斯坦福学生问Erik：“我和身边很多同学都找不到工作，我们这一代是不是完了？”Erik承认，A

单击上方“图灵人工智能”，选择“星标”公众号您想知道的人工智能干货，第一时间送达转自DeepTech深科技，仅用于学术分享，如有侵权留言删除当前，人工智能领域存在两种不同的推理路径：一类以大型语言模型（LLM）为代表，通过海量文本学习事物之间的统计规律；另一类则基于因果模型，试图让机器进一步理解变量之间的因果关系，区分“相关”与“因果”，并回答“如果主动改变某个因素，结果是否会随之变化”这类问题。

单击上方“图灵人工智能”，选择“星标”公众号您想知道的人工智能干货，第一时间送达转自此方的手账，仅用于学术分享，如有侵权留言删除语言：APL (A Programming Language)创建年份：1962（符号系统）/ 1966（首次实现）创建者：肯尼斯·艾佛森（Kenneth E. Iverson，1920-2004）哈佛说"不"1960年，坎布里奇（Cambridge）。肯尼斯·艾佛森站在

据新华社消息，朱镕基同志因病医治无效，于2026年8月12日11时06分在北京逝世，享年98岁。朱镕基同志不论是在上海工作还是在中央工作期间，都非常关心我国船舶工业的发展。大连船舶重工、江南造船、上海外高桥等多家造船厂发文回忆朱镕基同志的关怀和指导。第四届2026年船舶电气产业发展中国南通论坛将于8月18-19日举办Famous Chinese engine maker Duokai will s

近日，中远海运加码电池电动船与新能源赛道，近日新设一家公司。第四届2026年船舶电气产业发展中国南通论坛将于8月18-19日在中国南通市，第五届2026年船舶电气产业发展中国国际论坛将于12月4-5日在上海举办，届时中外产业代表们将纷纷汇聚交流，咨询：meetchinamkt@163.com或者 china@ishipoffshore.com 第四届2026年船舶电气产业发展中国南通论坛将于8月1

据央视新闻报道，8月13日13时许，福建福安市甘棠镇华海船厂一船舶着火。在消防员现场处置过程中，现场发生爆炸，造成1名消防员失联。记者随后从福建福安市相关部门了解到，失联的1名消防员已被找到并送医救治。18时许，福安市消防救援局通报，8月13日13时09分，福安市甘棠镇华海船厂着火。接报后，福安市消防救援局调派力量前往处置。13时25分，辖区站到场展开灭火救援。14时10分，现场突然发生爆炸，目前

Invitation to 7th Offshore Wind Industry China Conference 2026in conjunction with7th Wind Power Tech China Conference 2026 And 5th Electric Ship Industry China Forum 2026 Time: Dec. 4-5， 2025 Place: S

近日，中集来福士与Golar LNG签署一艘FLNG（浮式液化天然气生产储卸装置）EPC总承包合同。这是中集来福士为Golar LNG承建的第2艘MKⅡ型FLNG项目，标志着双方合作的持续深化。第四届2026年船舶电气产业发展中国南通论坛将于8月18-19日举办船舶混合动力设计案例介绍及应用研究，将由上海船舶研究设计院于澎演讲9月汉堡SMM海事展，参观门票159欧元，但德国式服务，一点也不贵Fam

据海南省交通运输厅发布，8月5日，为推动低空经济高质量发展，“十五五”期间，海南将实施36个低空基础设施重大工程，加快构建“通用机场+起降点+航路网+保障网”四位一体低空网络格局。聚焦安全有序、全域覆盖的低空交通体系建设，海南加快构建健康安全低空网，完善各类低空运行设施与配套保障条件，筑牢海南自贸港低空经济高质量发展基础。低空基础设施重大工程中，包括11个通用机场建设项目，23个低空垂直起降设施建

当前全球低空经济加速崛起，无人机与无人系统技术迭代持续提速，在公共安全、应急救援、农林遥感、物流配送等领域规模化落地，成为培育新质生产力、开拓低空发展新空间的重要载体。与此同时，空域治理、飞行安全、智能自主控制、商业运营模式等一系列前沿课题与现实挑战亟待全球产学研各界协同破解。世界无人机大会作为全球无人系统与低空经济领域标志性国际交流平台，持续汇聚全球科研机构、高等院校、创新企业与行业主管部门力量

2026年，低空经济作为国家新兴支柱产业，其发展脉络已分别从宏观政策指引转向微观产业落地和从单一的产业热点向系统性的生态构建过渡。eVTOL作为低空经济产业未来发展中的集载货运人的核心载具，正处在从“概念叙述”迈向“首飞首秀”的产品验证期”，其中位列高位的先遣队早已进入中场的“适航取证”阶段，但距离实际的下半场——“商业场景落地”还有待观望。盛夏七月，笔者在上海展会中关注到了这一信号的强烈释放，如

8月12日下午，由世界无人机大会组委会指导，新疆维吾尔自治区安全技术防范行业协会、新疆安全技术防范行业协会无人机分会、深圳市无人机行业协会、深圳市安全防范行业协会、天山科技创新院、新疆机场集团、新疆航空产业（低空经济）研究院、新疆工程学院航空产业学院共同主办，新疆国际会展有限公司承办，世界无人机联合会、亚洲太平洋安保协会、新疆生产建设兵团无人机行业协会、深圳市智能交通行业协会、深圳市智慧城市产业协

据央视新闻报道，当地时间8月13日，美国白宫发表声明称，美国总统特朗普当日签署公告，以应对国家安全威胁为由对进口无人机及零部件征收10%至100%的从价关税。公告规定，对具有高度敏感性的特定尺寸或特定功能的无人机，以及此类无人机的停靠站和某些关键组件，征收100%的从价关税。该类别包括最大起飞重量超过25公斤的无人机以及具备热成像功能的无人机。此外，对尺寸较小且不具备特定功能的某些无人机及其他无人