“数学末日”：OpenAI 生成数百项数学成果，但谁能理解这些证明？
OpenAI 发布数百份由内部模型生成的数学手稿，但撤稿、Lean 形式化与书面证明不一致等问题引发争议；AI 数学能力还将关于 ECDSA 安全性的长期风险推到台前。
查看详情 →HAOMAIX INSIGHTS
人工智能
AI 深度伪造欺诈抬升银行与企业责任风险
深度伪造将欺诈前移至付款决策环节：企业应重新审视高风险付款的核验流程、授权边界与异常监测。
查看详情 →
DeepSeek 开放工具，助华为芯片构建 AI 软件生态
DeepSeek 发布面向昇腾生态的软件模块，TileLang 的 Ascend 适配将内核开发、代码生成与调度能力延伸至国产 AI 加速器。
查看详情 →
OpenAI 拟以 1.4 万亿美元估值筹资 300 亿美元
据报道，OpenAI 正讨论至少 300 亿美元的新一轮融资，拟议投前估值约 1.4 万亿美元；该轮融资或为 IPO 前的过渡性资本安排。
查看详情 →
特斯拉签署 300 亿美元授信安排，加码 AI 与机器人研发
特斯拉新签署总额 300 亿美元的无担保授信安排，目前尚无借款余额；公司计划将资本开支投向 AI、Optimus 与 Cybercab 等业务。
查看详情 →