陶哲轩找 GPT-5 解数学题：29 行 Python代码，“无幻觉、顺到离谱”

MathOverflow原贴：https://mathoverflow.net/questions/501066/is-the-least-common-multiple-sequence-textlcm1-2-dots-n-a-subset-of- ...