AI will not make mathematicians obsolete(hxstem.substack.com) |
AI will not make mathematicians obsolete(hxstem.substack.com) |
Despite the title, a good part of his essay addresses the formulation of the Navier-Stokes problem and whether it might have been a bit "too easy". If I could summarize in my own words, there are roughly three problems of increasing difficulty.
1. Forced: you're allowed to "stir the fluid" to try to produce an infinite vortex. This is what OpenAI accomplished, building on the works of others.
2. Unforced: no stirring allowed - can you construct a calmer fluid state at time t=0 so that an infinite vortex forms at a later time t=T? (Or equivalently at least stir the fluid and then let go before the infinite vortex forms.) Alternatively, prove that to be impossible.
3. General: understand and categorize conditions that lead to an infinite vortex, showing (most likely) that such a phenomenon arises only from contrived examples.
AI is pretty good at counterexamples. It will be interesting to see if AI can make progress on the general problem, which likely requires understanding of Navier-Stokes at a fundamentally deeper level.
I believe many OSS proejcts are also having problems with fact PRs and similar submissions.
All this spam is wasting the time of those custodians to accept and study real genuine submissions.
Clicking around: This is quite the political site. I see this sits alongside articles defending race realism a la Cofnas, and the site overall appears to be a clubhouse for academe's Bari Weiss style "woke right" flank.
So: firstly: yuck; secondly, nope.
A similar pattern applies in mathematics. We grow up thinking math is about computing integrals and software development is about implementing algorithms. But leading mathematicians think bigger. The author suggests that while AI can calculate integrals or logically test thousands of lemmas in a few hours, mathematicians still have to develop intuition for what problems to tackle next, and for large problems, what hard parts to focus on. I wouldn't call it taste - intuition can still end up wrong.