讨论LLMs在数学发明与TUI查找中的应用

人们正在使用LLMs发明新的数学
我们正在用它寻找未发现的TUI spinners