科技
AI仅用11天完成费马大定理形式化证明，数学证明进入机器验证时代？
费马大定理是过去半个世纪最著名的数学成果之一。9月4日，人工智能（AI）公司Anthropic宣布，其Claude模型仅用11天，就将英国数学家安德鲁·怀尔斯1995年完成的费马大定理证明转化为计算机可逐步验证的形式化证明。Anthropic在社交平台X上发布证明结果。图片来源：Anthropic社交平台X截图“机器竟然能够把人类数学家的工作转化为一份长达1300万行、坚不可摧的证明，这完全让我震...
最新文章
所有来自AEX美讯社的最新文章
科技
总编辑圈点丨AI智能体八十八小时解出千禧年难题之一，引起“抢发”数学家成果争议
当地时间8日，据OpenAI官方社交媒体及外媒网站消息，OpenAI发布声明称，一个比GPT-6 Astra更强、尚未公开的下一代模型，组织约1万个AI智能体，用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开166页论文和Lean（计算机定理证明器）验证代码。OpenAI解决纳维—斯托克斯方程涉及流体向内旋转并沿轴向拉伸，涡旋核心不断收缩，局部速度随之增大。图片来源：Open...
科技
文化中国行·科技赋能典型案例丨齐齐哈尔万卷阁：数字流光启新卷 北疆风物活起来
连日来，一座藏身公园深处的百年藏书楼——万卷阁，成为齐齐哈尔不少市民文化溯源之旅的目的地。这座1930年建成的古楼，曾是原黑龙江省图书馆，是“全国重点文物保护单位”“全国古籍重点保护单位”。不同于传统图书馆静态观展，万卷阁的古籍数字展示馆，没有玻璃展柜阻隔，无数古卷在巨幕光影中缓缓流转，伸手触碰、随心翻阅，沉睡百年的北疆文脉，以鲜活可触的姿态扑面而来。自万卷阁全新开放以来，一批批学生、文史爱好者走...
科技
江西遂川地质灾害致16人遇难
记者从江西省遂川县相关部门获悉，近期强降雨导致当地多个乡镇受灾。5日凌晨发生的高坪镇泥石流灾害目前已造成13人遇难。救援人员目前已在遂川县汤湖镇找到一名遇难的失联人员，左安镇也有两名失联人员遇难。此次地质灾害共造成16人遇难。封面新闻丨第40个教师节，致敬这些良师益友亮点纷呈 氛围感拉满！2024年国家网络安全宣传周开启封面新闻丨共赴十年之约 2024数博会引领数字经济发展新潮流全国生态日丨我国生...
科技
让“善待每一位老师”成为共识——写在第四十二个教师节到来之际
9月10日，我国迎来第四十二个教师节。今年教师节的主题是“大力弘扬教育家精神，共筑尊师重教风尚”。在今年的全国两会和世界数字教育大会上，教育部部长怀进鹏提出要实施教师发展国家行动，吸引更多优秀的人才从事教育，让高质量教师培养国家未来的人才。如何行动？在近日举行的教育部新闻发布会上，教育部教师工作司司长王磊的话掷地有声——要拿出更多实招、硬招、新招，加快构建高质量教师发展体系，全面提升教师专业素养和...
科技
展现再想象与再创造的力量 “诺奖风向标”2026年拉斯克奖揭晓
据拉斯克奖官网9日报道，被誉为“诺奖风向标”的2026年拉斯克奖于当地时间9日正式揭晓。阿尔伯特·拉斯克基础医学研究奖授予美国斯坦福大学医学院的伊曼纽尔·米格诺特教授和日本筑波大学的柳泽正史教授，以表彰他们发现维持清醒的脑肽——食欲素（orexin），并揭示食欲素缺乏可致发作性睡病，为理解睡眠本质提供了关键洞见。美国斯坦福大学医学院的伊曼纽尔·米格诺特教授。日本筑波大学的柳泽正史教授。拉斯克—德贝...
科技
中国海警圆满完成2026年北太平洋公海渔业执法巡航任务
张承诚 吴治邦 科技日报记者 李禾9月9日，由中国海警长山舰和五虎舰组成的舰艇编队圆满完成2026年北太平洋公海渔业执法巡航任务，顺利返港。这是中国海警在北太平洋公海开展的第11次巡航。此次巡航历时45天，航程19800余海里，航时2100余小时。巡航期间，中国海警舰艇编队根据联合国大会相关决议、《北太平洋公海渔业资源养护和管理公约》等规定，加大公海渔业法律法规和养护管理措施宣传，加强作业渔船巡查...
科技
AI研究员辞职信浏览破亿，Anthropic对齐负责人承认十年内灭绝概率超10%
近日，一封辞职信在X平台浏览破亿。主角是Jacob Coxon，过去三年先后在OpenAI和Anthropic从事大模型预训练研究的顶尖研究员。他选择在两家公司万亿级IPO前夜离职，公开指控前东家"正径直冲向自我改进的超级智能，拿我们的生命赌博"。这起事件的核心实体是成立于2021年、总部位于旧金山的AI安全公司Anthropic，其对齐科学负责人Evan Hubinger在帖下公开承认："我个人...
科技
苹果史上最贵发布会：Pro涨价千元，折叠屏15999元，国行AI继续缺席
北京时间9月10日凌晨，苹果公司CEO特努斯主持秋季发布会，推出iPhone 18 Pro、Pro Max及首款折叠屏iPhone Duo。国行起售价分别为9999元、10999元和15999元。Pro系列较上一代各涨1000元，折叠屏512GB版17999元，2TB顶配达26499元。标准版iPhone 17官网价从5999元升至6799元，涨800元。希鸥网观察到，发布会结束当晚，苹果官网同步...
科技
一人公司狂飙286万户，为什么75%的投资人连看都不看一眼
中关村人才协会2026年2月发布的《中国OPC发展趋势报告》显示，2025年上半年全国新注册OPC达286万户，同比增长47%，占全部新注册企业的23.8%。AI原生一人公司，正以极低门槛涌入创业赛道。希鸥网观察到，热潮之下是另一组冷数据。《中国企业家》2026年8月调研148份有效问卷，40%的OPC创业者已做出产品或服务，却尚未产生付费客户；60%把获客与销售列为最大困难；超半数月收入不到万元...
新闻
即时零售迈入万亿、"百城千店"达成：品牌信用度正从补贴叙事转向供应链可验证
即时零售正成为品牌竞争的新考场。9月7日，美团旗下小象超市总经理高雨龙在供应商大会上披露，截至7月底，小象超市已覆盖超过100座城市，线上线下门店合计超过1000家，达成"百城千店"规模。同期的行业数据同样醒目：艾瑞咨询预计，2026年中国即时零售市场规模将突破1.2万亿元，同比增长超35%，是快消品零售领域增长最快的渠道之一。但比规模更值得关注的是竞争逻辑的切换——即时零售正从"补贴换规模"的粗...
新闻
AI原生品牌首次集体进入中国品牌百强：品牌价值评估新增「AI心智」维度
9月9日，2026凯度BrandZ中国品牌盛典以"智生万象"为主题在上海举行，现场发布《2026凯度BrandZ最具价值中国品牌100强》。报告显示，百强品牌总价值达1.37万亿美元，同比增长13%，连续两年实现两位数增长；89个连续上榜品牌中，54个实现价值增长，平均增幅22%。今年榜单最鲜明的变化，是Kimi、智谱清言、豆包等AI原生品牌首次集体入榜，品牌价值评估的底层逻辑正在从"消费者心智"...
科技
刘二海算力判断震动投洽会：模型差距缩至10分以内，中国基建窗口只剩两年
一场关于芯片的讨论正在被“物理世界”接管。9月8日，愉悦资本创始及执行合伙人刘二海在第二十六届中国国际贸易投资洽谈会“两岸集成电路产业”交流活动上抛出判断：模型能力的分差已收敛至10分以内，算力从GPU单点比拼转向电、内存、光互联、封装与机架效率的系统战争。芯片不再是瓶颈，电力与产能才是。希鸥网观察到，刘二海在演讲中给出的时间表极为明确：中国算力基础设施建设浪潮将在未来两年到来，比美国大约晚两年。...
国际
5元一分钟的AI翻译单，正在埋葬月入过万的小语种译员
林峰盯着屏幕上的报价单，5元每分钟。一年前这个数字还是20元。2021年从北京某高校小语种专业毕业的他，曾靠手搓翻译在出海短剧行业月入上万。今年4月，他接到第一部AI短剧翻译订单，随后订单量断崖式下跌。交稿周期从7天压到3天，报价从20元/分钟一路跌穿10元线。如今他回到家乡，不再做翻译，开起了语言兴趣班。希鸥网观察到，这不是孤例。成立于2021年的AI译制技术服务商小影科技，客户已覆盖短剧出海T...
科技
批件连增企业反降：76个新药获批暗示医药产业进入大洗牌时刻
2025年中国批准上市创新药76个，同比增加28个。国药监局最新报告同时披露，全国药品生产企业许可证数量降至8352家，终结此前连续四年增长。批件越批越多，药企却越来越少，一增一减之间，产业大分化已经开始。希鸥网观察到，药品经营端的收缩同样剧烈。全国药品经营企业降至677678家，一年减少近3万家。其中连锁门店与零售单体合计净减约2.7万家，行业规模退回2022年以前的水平。存量批件扩容与企业数量...
科技
A股半年报暗藏K型密码：千家企业利润翻倍，两千七百家却在失血
8月31日深夜，一家券商首席分析师的朋友圈截图在创投圈流传：“全A净利润增速19.4%，但半数行业在亏损边缘。”这张截图指向的，是刚披露完毕的2026年A股半年报中一个刺眼的事实——电子行业整体净利润同比狂增195.11%，而农林牧渔整体亏损125.8亿元，房地产行业整体亏损316.26亿元。希鸥网观察到，这场冰火两重天并非简单的行业轮动，而是一场结构性的K型分化。Wind数据显示，上半年归母净利...
科技
中秋国庆假期运输火车票今起开始发售
记者从中国国家铁路集团有限公司（以下简称“国铁集团”）获悉，2026年铁路中秋国庆假期运输自9月23日启动，至10月8日结束，为期16天，10月1日为客流最高峰日，今日起开始发售9月23日火车票。国铁集团客运中心负责人介绍，今年中秋国庆双节假期邻近，旅游、探亲、休闲等出行需求旺盛，中秋短途客流与国庆长途客流交织叠加，铁路总体客流预计高位运行，部分热门方向和时段旅客出行高度集中。铁路部门精心制定假期...
科技
中秋国庆假期运输火车票今起开始发售
记者从中国国家铁路集团有限公司（以下简称“国铁集团”）获悉，2026年铁路中秋国庆假期运输自9月23日启动，至10月8日结束，为期16天，10月1日为客流最高峰日，今日起开始发售9月23日火车票。国铁集团客运中心负责人介绍，今年中秋国庆双节假期邻近，旅游、探亲、休闲等出行需求旺盛，中秋短途客流与国庆长途客流交织叠加，铁路总体客流预计高位运行，部分热门方向和时段旅客出行高度集中。铁路部门精心制定假期...
科技
反映新技术发展方向 具身智能机器人应用技术员等11个新职业正式发布
记者9日从人力资源社会保障部获悉，近日，人力资源社会保障部等部门正式发布了数字孪生工程技术人员、具身智能机器人应用技术员等11个新职业；智能体开发员、智能家具装调工等23个新工种。此次发布的新职业新工种，紧紧围绕推动新质生产力发展、改造提升传统产业、培育壮大新兴产业、布局建设未来产业的要求，充分反映了新技术、新趋势、新需求的发展方向。当前，数字经济持续催生数字职业。据国家统计局2025年统计数据，...
科技
反映新技术发展方向 具身智能机器人应用技术员等11个新职业正式发布
记者9日从人力资源社会保障部获悉，近日，人力资源社会保障部等部门正式发布了数字孪生工程技术人员、具身智能机器人应用技术员等11个新职业；智能体开发员、智能家具装调工等23个新工种。此次发布的新职业新工种，紧紧围绕推动新质生产力发展、改造提升传统产业、培育壮大新兴产业、布局建设未来产业的要求，充分反映了新技术、新趋势、新需求的发展方向。当前，数字经济持续催生数字职业。据国家统计局2025年统计数据，...
← 上一页123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236下一页 →