一个具有时代意义的数学主张引发了关于人工智能工具如何归功早期工作的质疑。