AI Will (@FinanceYF5) “他已经把材料发布在这里： https://t.co/5N0tV1ah0s 仓库包括每个问题的证明 PDF、LaT” — TopicDigg
AI Will
@FinanceYF5
加入 July 2022
0 正在关注 0 粉丝
他已经把材料发布在这里：
仓库包括每个问题的证明 PDF、LaTeX 源文件和提示词。
部分问题还包含用于计算实验的 Python 文件。
其中两个问题已经有 Lean 形式化证明，其余问题的形式化仍在进行中。
显示更多
