RecodeX 重构消息,数学家Tristan Buckmaster原本正朝着一个重要数学证明推进,但一家人工智能巨头凭借其庞大资源率先完成了该证明。该事件涉及OpenAI与Anthropic之间的竞争。