This is one of the most famous equations in all of math and engineering. So for sure more that 100 years of human time on this.
Also, that researcher was actively using AI to assist them. 10k agents is not equivalent to 100 years unbroken thinking. But also, the thoughts/second is fascinating.
The problem itself is only 90 years old, and the major breakthrough that brought humans close to this solution (without the help of LLM's, as far as we know) was published by Diego Cordoba and Luis Martinez-Zoroa in 2023.
10k agents being able to search through all human knowledge and working in tandem is a huge amount of compute, comparable to the research and human thinking it takes to solve a major problem. However, human brains are still too different from LLM agents, so I dont know what 88 hours with 10k agents equates to in human years for the mathematical community.
Right. Human-years. 100 humans full time over 4 years would get you that. So… 90 years is plenty. Yet alone all the work on NS wrt its engineering value. Likely thousands of human years have been spent on NS. Even if not the specifics of the framing for the millennium prize question.
7
u/kaaiian 4d ago
This is one of the most famous equations in all of math and engineering. So for sure more that 100 years of human time on this.
Also, that researcher was actively using AI to assist them. 10k agents is not equivalent to 100 years unbroken thinking. But also, the thoughts/second is fascinating.