Page has some kind of redirect bug that steals the back button, may want to open it in a new tab to avoid that.

I'm surprised they only found one gap. I would have expected multiple (fixable) gaps would have been uncovered, especially since the result was spread over many papers by many different people.

what a monster of an effort!

Looking at the visualizations made me wonder if the embeddings themselves can be used to suggest, if not derive, mathematical results. I realize it depends on the quality of the embeddings.

[flagged]

based if true