undefined | Better HN

0 pointstombert11mo ago0 comments

Interesting, I hadn't heard this one.

I should see if I can model this in Isabelle or something and see what happens.

0 comments

1 comments · 1 top-level

for reference, the statement has been formalized in Lean in Deepmind's open problem database: https://github.com/google-deepmind/formal-conjectures/blob/e...

j / k navigate · click thread line to collapse