Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com) 5 points by mathfan 1y ago ↗ HN
[–] somecontext 1y ago ↗ How 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.
1 comment
[ 5.2 ms ] story [ 20.4 ms ] threadFor example, the "direct proof" in this paper is six paragraphs long.