If youre going to spend 10 million dollars on 10000 agents trying to solve some important maths problem I think it's reasonable to ask for some grants to help digest whatever they came up with.
Or you could hire mathematicians and do it in-house, but I guarantee you grants to PhD students are cheaper than silicon value salaries.
The paper is secondary to developing a general understanding of new ideas. The AI is not going to do that. All of the AI bros in this thread are going to be addicted to super AI Netflix and the math community will be dead.
The paper, both writing it and reading it, are a means by which we develop our understanding of new ideas. We can surely come up with a better means if we try, but "stop trying and leave actual understanding to machines" ain't gonna cut it.
Animats · · focus · HN ↗
unddoch · · focus · HN ↗
ChickeNES · · focus · HN ↗
eli_gottlieb · · focus · HN ↗
GPerson · · focus · HN ↗
eli_gottlieb · · focus · HN ↗
GPerson · · focus · HN ↗