Sebastien Bubeck: Another twist in the Erdős problems story(twitter.com)

5 pointsby mathfan9 месяцев назад1 comments

Sebastien Bubeck: Another twist in the Erdős problems story

https://twitter.com/SebastienBubeck/status/1980804267524116569

1 comments

somecontext9 месяцев назад

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.