Here's something interesting from last year that I didn't notice at the time: a set of 30 or more points in general position in the plane must always contain at least one ‘empty hexagon’ – a convex hexagon with vertices at six of the points that does not contain any other of the points.
This was proved with a clever SAT encoding and a lot of computer time.
https://arxiv.org/abs/2403.00737
robinhouston /
npub1wj…7nda9
2025-04-26 07:12:45
Author Public Key
npub1wjc42kn5sa2pek0h5gfygwrs2s6r7cyr7l2mlpna529pkff97jzs97nda9Published at
2025-04-26 07:12:45Event JSON
{
"id": "1384447a9ca311f9b951766d099652a9d0679e194a3a29548fe6b0e6810af045",
"pubkey": "74b1555a7487541cd9f7a21244387054343f6083f7d5bf867da28a1b2525f485",
"created_at": 1745651565,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/robinhouston/statuses/114403020979984550",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Here's something interesting from last year that I didn't notice at the time: a set of 30 or more points in general position in the plane must always contain at least one ‘empty hexagon’ – a convex hexagon with vertices at six of the points that does not contain any other of the points.\n\nThis was proved with a clever SAT encoding and a lot of computer time.\nhttps://arxiv.org/abs/2403.00737",
"sig": "5c2cb4a75c8188d38f5e39acc8ac8e9deb5bb4acf4413c2655c6a75fa7dbcf8011afec7f487be5223866c11a529c49580913ec0d47e5fdcf6e1eb36aebd5855a"
}