数学家的数学,还是数学的数学?
AI 正在重写数学,但真正危险的不是机器变聪明,而是人类不再理解。证明跑得比人快:博士后 Stadlmann 刚把素数间隙纪录压到 240。三天后就被 AI 连刷两次,压到了 186。成果归属乱了套:数学家 Buckmaster 用 AI
AI 正在重写数学,但真正危险的不是机器变聪明,而是人类不再理解。证明跑得比人快:博士后 Stadlmann 刚把素数间隙纪录压到 240。三天后就被 AI 连刷两次,压到了 186。成果归属乱了套:数学家 Buckmaster 用 AI
数学是发现的,还是发明的?本文沿两千年思想史追索此问:从柏拉图的理念世界与欧几里得的公理,经非欧几何、康托尔、罗素悖论与哥德尔定理,到波普尔的可错主义,终至彭罗斯、多伊奇、汉金斯、拉克与沃尔夫勒姆——"数学是什么",正日益成为"观察者是什么
2026 年 9 月的一个星期:素数间隙的纪录只保住三天,Navier–Stokes 的爆破被一万个智能体攻下,二十五位菲尔兹奖得主联署声明。证明的生产远远快过人的消化,下一批灯塔由谁来立?数学,还是不是数学家的数学。目录第一部分 一个星期
“AI 向善” 是价值导向,决定了技术发展的最终方向;“安全有道” 是行动路径,保障了技术落地的边界与底线。 9 月 15 日,作为 2026 年国家网络安全宣传周成都系列活动的核心专业板块,2026 CCS 成都网络安全技术交流活动主旨演
AI安全真正的裂缝,不在"模型不够强"。再强的模型也挡不住永不疲倦、无限并发的对手。真正的解法是靠分工,不靠超级大脑。别再问"哪个安全智能体最强",应该问"不同安全职能上,让AI承担多少责任,保留多少
360已与香港当地部分政府机构及行业单位开展相关合作 近日,香港政府及业界代表团到访360数字安全集团参观交流。代表团成员来自香港数字政策办公室、香港警务处网络安全及科技罪案调查科、个人资料私隐专员公署、香港互联网注册管理有限公司、香港生产
360亮相CCS 2026,解码智能体规模化落地之道 9月15日,CCS 2026成都网络安全技术交流活动正式启幕。作为国家网络安全宣传周成都系列重点活动,本次活动以“AI 向善,安全有道”为主题,汇聚海内外专家学者、技术领军者与产业代表,
安全公告编号:CNTA-2026-0005依照《国家信息安全漏洞共享平台(CNVD)支撑单位能力评价》办法,CNVD完成2025年度技术组支撑单位的能力评价工作。通过综合考量漏洞提交情况和平台统计数据,从漏洞收集工作、漏洞发现工作、漏洞威胁
随着业务的不断扩展和市场需求的增长,火绒安全寻求更多优秀的合作伙伴加入我们的行列。我们特别开启了渠道伙伴招募计划,期待与更多志同道合的伙伴一起把握行业趋势,共同开拓市场潜力,携手共创网络安全的美好未来!对此感兴趣的伙伴可以点击海报进行了解、
采购文件暗藏杀机——PureRAT木马针对电商定向窃密 近日,火绒安全实验室收到用户反馈,称其在日常网络交易中经常有人发送“采购文件、下载打开”的信息,经溯源与技术分析,火绒安全工程师发现这是一起针对性瞄准电商行业商家的恶意网络攻击活动,该
跳转微信打开
Cyclops Blink沉寂四年后再升级:新增主动网络扫描与可编程数据包监控两大模块,从“针对特定防火墙品牌的定向工具”演变为“面向任意 Linux 网络边界设备的通用情报收集平台”。 威胁研判 · 恶意软件分析Cyclops Blink
为推动网络空间安全领域的学术发展和优秀成果转化,《网络空间安全科学学报》拟于2026年10月16-18日在成都组织召开2026年网络空间安全学术会议,会议将邀请国家相关主管部门领导和知名专家学者共同解读形势、分享前沿、交流经验,同时设有网络
近日,vivo正式通过全球权威认证机构挪威船级社(DNV)的审核,获得ISO漏洞管理体系认证,覆盖ISO/IEC 29147漏洞披露与ISO/IEC 30111漏洞处理流程两大国际标准。此次认证的通过,标志着vivo在漏洞响应与管理方面的能
以下文章来源于:CNVD漏洞平台 CNVD漏洞平台 国家信息安全漏洞共享平台(China National Vulnerability Database)是由国家计算机网络应急技术处理协调中心联合重要信息系统单位、基础电信运营商、网络安全厂