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.
People generally expected math AI to progress pretty fast already. I was angry about machine-assisted math being a neglected area before this and my anger levels aren’t substantially increased by the news.
I don’t understand why people aren’t freaking out from this news. Waiting for the paper I guess.
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.
People generally expected math AI to progress pretty fast already. I was angry about machine-assisted math being a neglected area before this and my anger levels aren’t substantially increased by the news.
The news is not very old yet. Lots of potential for people to start freaking out.