I’m guessing many people assumed an IMO solver would be AGI. However this is actually a narrow math solver. But it’s probably useful on the road to AGI nonetheless.
We don’t know how narrow it is yet. If they did for algebra and number theory something like what they did for geometry in alphageometry (v1), providing it a well-chosen set of operations, then I’ll be more inclined to agree.
I’m guessing many people assumed an IMO solver would be AGI. However this is actually a narrow math solver. But it’s probably useful on the road to AGI nonetheless.
We don’t know how narrow it is yet. If they did for algebra and number theory something like what they did for geometry in alphageometry (v1), providing it a well-chosen set of operations, then I’ll be more inclined to agree.