mathoverflow

Daniel Litt 探讨了一个假设的未来：AI 在数学上超越人类，这可能由于重复性工作和数学界人类参与度降低而引发进展停滞。