I think I'm mostly on your side (also I believed early it would get here), but what does it mean to "solve the field"? I'm pretty much as bullish as you get on AI but I'm sure I can come up with questions AI cannot solve. I think the space of problems in math is so large and the distribution of proof lengths so heavy-tailed, there's probably no way without dyson-sphereing the sun to solve all easy to state problems.