Comment by ghm2180
10 hours ago
If you read all the replies of the OP you would know that They tried to make progress with fable and did not get further, so at the moment the only person in the field is OpenAI. And secondly moving on to the next solution if the last one did not work means very different things, SWEs have dev tools to do this OpenAI is closed source and gives them nothing to move on with.
Also there is a larger epistemic problem with the argument to "using AI to meet the goal or solution", which is that the goal is to mentor and train future mathematicians to advance the field.
There is a similar issue in software engineering too: if no one hires junior engineers because AI can do all the work then the upstream pipeline of engineers qualified to work on difficult architectural problems would dry up.
This importance of this is being felt by mathematicians more acutely because the field will collapse quickly if people refuse to join it.
Indeed!
I've been mentoring (or so I'd like to think) a very bright undergraduate mathematician, in fact he was the one who pointed out the final irreducible flaw in my proof last summer. And I am extremely curious to see what he does and if he even finishes his degree in mathematics. He had already expressed to me some dismay that his summer undergrad research program with several Ivy-league math majors got blown out of the water by a few hours of a frontier model. It's making everyone question what the future will look like and what education and training and certification will even look like.
But the future belongs to those who show up. Maybe this is the beginning of a mass democratization of scientific and math research, maybe we are going back to the gentleman-scholar model of amateur researchers and Twitter will be the new Journal of the Royal Society.
> But the future belongs to those who show up. Maybe this is the beginning of a mass democratization of scientific and math research, maybe we are going back to the gentleman-scholar model of amateur researchers and Twitter will be the new Journal of the Royal Society.
i hope so!