AI math: "We believe this resolves all remaining questions on this topic. No further research is needed." https://xkcd.com/2268/