據報 Astra 與 Claude 成功證明 11 個正方形的最佳裝箱問題，並於 Lean 完成形式化

據社群平台消息指出，AI 模型 Astra 與 Claude 合作證明了 11 個正方形的最佳已知裝箱（square packing）方式即為最佳解。該項數學證明過程已在定理證明軟體 Lean 中完成形式化（formalized）。此消息目前僅見於社群平台，尚未有官方發布的技術細節。