RecodeX 重构消息，10月6日，一项形式化数学证明宣告完成，确认Walter Trump于1979年手工找到的方形堆叠方案为最优解，且证明过程中未遗留任何未解决的Lean占位符。该证明由OpenAI的Astra与Anthropic的Claude共同完成。