ai4math

讨论了AI在数学领域的现状与未来，引用事例称ChatGPT 5.5 Pro自主解决了高维计算几何中死卡多年的最远点对问题，显示AI在数学发现上的潜力。