It has to be smarter than GPT-4.
Be able to enrich its rules database when it encounters new facts and be able to delete something from own database if it was proven wrong (incompatible with axioms and mathematics). The decisions to add or delete should be made by the system itself.
To draw the line about replacement rules:
Binary logic does not count, because it only operates with bits, which are not universal statements. The system should be able to operate with complicated statements like "density of prime numbers reduces as n->inf". This statement might be presented as an object of relations between entities, but it is passed to the logic core as a whole.
On the abstract level language predictors don't do that, they calculate probability of a word, so any gpt/llm from Wolfram does not qualify.
1,000People are also trading
https://youtu.be/NrNjvIrCqII?si=03KSIqEPeOXyGMnH symbolic deduction got progress. But it is not AGI. And it is not Wolfram.
@jacksonpolack to draw the line:
Binary logic operates with bits, which are not universal statements. I think the system should be able to operate with complicated statements like "density of prime numbers reduces as n->inf". This statement might be presented as an object of relations between entities, but it is passed to the logic core as a whole. On the abstract level language predictors don't do that, they calculate probability of a word.
GPT-3 and 4 are not general AI.
@YoavTzfati It has to be smarter than GPT-4.
Be able to enrich its rules database when it encounters new facts and be able to delete something from own database if it was proven wrong (incompatible with axioms and mathematics). The decisions to add or delete should be made by the system itself.
@KongoLandwalker Could you add this clarification to the description of the market (and preferably also the other clarifying comment)?