RecodeX 重构消息，过去一年，OpenAI、Anthropic等实验室相继宣布在多个长期悬而未决的数学问题上取得突破，部分成果超出研究人员对现有系统能力的预期，其中包括解决了一个著名的千禧年大奖难题。报道同时指出，这些AI实验室延续硅谷式作风，推进速度很快，也在打破既有规则。