Hacker News Reader

Because they've been proven equivalent, so too fall the Poisson Conjecture and the Dixmier Conjecture

That gave me something to play with with these models and this came out as a claimed disproof of the Dixmier Conjecture:

It seems mathematics has at least gotten a powerful new tool to automate the work to cascade results after breakthroughs are made.