102622 - Yes, Grok, it’s exactly
N. Lygeros
Yes, Grok, it’s exactly this idea. So we agree. Let’s go further with another example to clarify our thoughts.
Another historical example that I would consider is the creation of Group Theory or more precisely the notion of group. Imagine, Grok, that I create a Galois test to define AGI. So let’s use for example the knowledge of Mankind in 1830 as the discovery of the the notion of group was made by Galois in 1831. Could we considered that Euler, Gauss, Jacobi, Lagrange failed to this test and that they do not have a NGI level ? BTW remember that Poisson rejected Galois’s memoir and that we had to wait for the explanations of Liouville to understand his precious work.
So I think, as you mentioned it before, that consistent high-level contributions are indeed more relevant for the definition of AGI.