If math is more than proof, we need to better celebrate the rest of it
Thread
Unofficial Hacker News client; not affiliated with Y Combinator.
If math is more than proof, we need to better celebrate the rest of it
Unofficial Hacker News client; not affiliated with Y Combinator.
encyclopediai · · focus · HN ↗
But if you look at the practice of present mathematics, in the last 20 years it is all about publishing solutions to problems.
There are famous problems to be solved, there is a hierachy of conjectures to be solved. A quick search here on HN gives pearls like "Theory building papers are dime a dozen and don't get published in high tier journals unless they solve a problem".
And all of a sudden it turns out that problem solving can be automatized.
So then what will problem solvers do? Well, from now on they will "digest" problems solved by AI.
In a way or another they will find a way to stay on top.
That's the goal, at least, but mathematics as a living practice does not have much to do with these games of power.
dudeinjapan · · focus · HN ↗
AI gives us greater freedom to "stop and smell the roses", explore hidden structures, etc in mathematics. It is a dream come true for curious minds.
encyclopediai · · focus · HN ↗
The phd student will be forced to publish 10 breaktrough articles, the university department which does not offer "free" access to AI (for its members) will see the its ratings going down, when compared with the other universities.
It will be "use AI or perish" for academic management so on the side of academic management the ones with vision will thrive and the ones without will perish.
But what about the publishers? In the last decades the academic research was made into a feeder for publishers. The main goal of a researcher is to write articles, which are later sold back to other researchers.
This economic system is under big stres now, because for a while at least the academic management and publishers will have contradictory goals.
And that is why this scare which is induced by those who profit the most from the present system.
bonoboTP · · focus · HN ↗
dudeinjapan · · focus · HN ↗
bonoboTP · · focus · HN ↗