“Shinichi Mochizuki's proposed proof of the ABC conjecture, termed "inter-universal geometry," was considered an "alien" theory that was extremely difficult for the mathematical community to parse and verify.”