Mathematics in the age of AI
- Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are.
- The problem-solving component of mathematics is used as a
Unverified
- Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are.
- The problem-solving component of mathematics is used as a
Sources: Arxiv