Post #4360864

David Turturean writes: "Much of this work done to solve this problem was done by voice. With a lot of the infrastructure already in place from solving other open problems, I used Claude Code as the operational controller and most often gave it procedural instructions by voice. This was partly motivated by the fact that I was trying to solve a lot of problems in parallel, partly motivated by the fact that voice simply allows for more natural intention expressivity, which coding agents can now pick up on. I also used speech-to-text in the ChatGPT conversations while developing the manuscript." "This was my first sustained attempt to direct a mathematical research process primarily through speech. This entire experience has made me question what true effort in mathematics will look like in the future, now that you can elicit solutions to decades-old research questions in mathematics with your voice: can you one-shot entire PhD theses by just talking about them, thinking about them?" However, if you read the whole story you'll see it required a lot of work, and an expert in solving math problems using LLMs (David Turturean), and a real expert in Galois theory (David Roe), to bring the research to this point. (3/n, n = 3)