Winning the lottery can solve a lot of your problems but for these unlucky winners in Florida, the problems were only ...
As part of a project to make mathematics machine-readable, mathematicians have discovered an error in an important proof.