AI与数学：我终于有了一些空闲时间，开始尝试使用AI——ChatGPT Pro——来解决一个我十多年前搁置的旧数学问题。我对细节有些生疏，但AI并不生疏。 我对进展感到相当惊讶，我指出了我的猜想，它开始对其进行分解，进行数值实验，然后从中推导出猜想，进一步测试这些猜想，等等。 我还不想透露我正在研究的确切问题，也不想说它到目前为止帮助我找到了什么。而且我自己也有些生疏，因为很长时间没有研究数学问题了。但我可以看到，如果我是一名全职数学教授，这个工具将是无价的。 那些以数学研究为生的人——你们觉得AI在工作中有多大用处？它是否已经帮助你解决了你的一些重大问题？