6 ms·
Enough with all the world-historic milestones
- graymalkin 1mo agoI view the AI-assisted solving of existing math problems as cleaning up. Once we’ve cleaned up, we can march forward with AI on our shoulders, into new problems that only human+AI can think of together as an augmented pair, for each alone would be smaller and less capable.