@steve@discuss.systems @shriramk@mastodon.social ...and then proves that the problem is intractable by its nature; the proof attracts more attention, thereby expanding the field and leading to newly-possible conclusions.