2026-09-22
25位菲尔兹奖得主联名质疑AI“剧透”数学，他们究竟在担心什么？
8月以来，美国Anthropic、OpenAI等AI企业凭借手中先进的大模型在前沿数学领域接连取得多项成果。Anthropic宣称研究版Claude模型在黎曼猜想上取得进展，其Fable模型仅用11天就完成了费马大定理的完整形式化证明。OpenAI则宣布GPT-6 Astra模型在有界素数间隔问题上取得新突破，其内部未公开模型仅88小时就解决了千禧年七大难题之一——纳维-斯托克斯问题。
2026-09-21
美国要组建“AI部队”
美国总统特朗普19日在社交媒体发文称，他将组建一支“人工智能（AI）部队”。为此，他计划不久后任命一名AI事务“总管”。特朗普称，AI代表着下一场工业革命或互联网浪潮，其规模和影响力将更大，甚至可能占到美国国内生产总值的25%。美国消费者新闻与商业频 ...
热门工具
百度秒哒
即梦AI
豆包
ChatGPT
Gemini
DeepSeek
腾讯元宝
通义
文心一言
智谱清言
文心快码
通义灵码