拉姆齐数R(3,17) 下界从92提升至93
2026-05-10
2026-05-09
Anthropic公司发布新型自然语言自编码器(NLA),能将语言模型Claude内部的数字“激活”直接转化为人类可读文本,解决了以往难以理解模型内部状态的问题。该技术为模型可解释性打开新大门,使AI的“思考活动”更透明。
菲尔兹奖得主高尔斯教授使用未公开的ChatGPT 5.5 Pro,在一小时内解决了一个长期悬而未决的组合数学难题。这一突破挑战了学界对大模型只能“背书”而非真正理解高深数学的传统认知,引发对AI数学能力的重新审视。
马斯克与OpenAI的法律战在加州法院开庭,OpenAI联合创始人布罗克曼连续两天出庭作证,其2017年前后的私人日记被作为关键证据公开,揭示了公司早期权力斗争与战略转型的内幕。