沁园春·数苑问秋

数园秋深，风卷旧文，前路茫茫。

忆希公提笔，列出廿三；百年求索，共寻远方。

智能入微，解开猜想，往日疑云渐明朗。

沉舟在，看千帆破浪，大水汤汤。

休叹老树残冈，根脉里、慢慢万木昌。

从世间实事，提炼新理；现实难题，再拓新荒。

书桌重开，思考不息，不靠空想启学堂。

抬眼望，有寒枝迎冷，一朵初黄。

其一·古风 一夜秋风扫众芳，老树独立水云乡。 旧题远去涛声起，堤岸萧萧叶带霜。 千帆看过身仍健，万木飘零根暗长。 莫说秋来多冷落，寒枝已有嫩芽黄。 其二·七律 希尔伯特列篇章，百载求索追猜想。 今有智能寻秘理，昔凭思索探穹苍。 沉舟不阻千帆渡，老树能藏万木昌。 再向世间寻实事，人间难题开新疆。 其三·短古 百年追猜想，纸笔觅微光。 机器解疑义，秋至数学堂。 沉舟随波远，新木趁风张。 道理从实务，寒梢待吐芳。 其四·骚体短句 秋临数园，风扫旧章。 猜想渐明，机启深藏。 沉舟顺水，千帆远航。 老树根在，万木兴旺。 回看世事，取理四方。 问秋无言，新芽冒霜。 其五·现代诗 秋风吹过数学的长堤 百年悬而未决的猜想，被一一解析 还记得希尔伯特写下的二十三个方向 前人长久跋涉的荒原，如今机器踏访 沉船静卧，挡不住千帆远航 老树立于冷岸，地下根系继续生长 当猜想不再是探索的主线 我们转头直面现实里真实的难题 在世间问题之中，等候数学新生的嫩芽

支持单位：