3 ms·
Sebastien Bubeck: Another twist in the Erdős problems story
- somecontext 1y agoHow long until an AI can do the formalization for a proof like this one fully automatically? For example, the "direct proof" in this paper is six paragraphs long.
loading thread…