AI模型有望成为数学界的通用语
星期二 多云 31℃/21℃AI模型有望成为数学界的通用语· 核心摘要不少人寄希望于AI简化证明验证流程。· 正文验证过程往往漫长。同行数学家耗费十余载反复推敲，才确认黑尔斯的计算无误。数学结论要获“证明”地位，每一步都得逐符号、逐命题核查。美国国防高级研究计划局（DARPA）的帕特里克・沙夫托指出，这凸显了数学界的“核心瓶颈：信任问题”。沙夫托博士率领团队，旨在利用AI加速纯数学发展，其中关键在于简化“形式化”流程。若具备高深数学素养的大语言模型（LLM）真能验证既有证明并协助构建新证明，众多数学家相信
金证亮相华为中国合作伙伴大会2026，深化金融科技战略合作
3月19-20日，以“因聚而生融智有为”为主题的华为中国合作伙伴大会2026在深圳举办。大会通过“伙伴+华为”在战略、能力、价值的全面融合、协同共进，实现高质量服务客户数智化升级，共创千行万业数智化的价值跃升。 作为华为在金融科技领域的重要战略合作伙伴，金证股份(12.900, -0.42, -3.15%)受邀出席本届大会，并深度参与“因聚而升，携手共创智能新未来”华为ICT解决方案伙伴峰会。 凭借双方多年来在金融科技领域的深度合作与优秀的客户实践，金证获颁2025年联合方案孵化奖，充分彰显了华为对双方围