Well math solving is exactly what the rumored Q* is aiming towards too.
I don't think it'll take more than 2 years before some LLM + RL system can take the gold medal.
I think companies like OpenAI are aiming for something far more ambitious, like solving a millennium prize problem (even with human assistance). That's the kind of news release that'll add another $100 billion to your market cap.
I think companies like OpenAI are aiming for something far more ambitious, like solving a millennium prize problem (even with human assistance). That's the kind of news release that'll add another $100 billion to your market cap.