Irix is hiring a theorist to help develop an AI platform that is capable of discovering new theorems and theories in mathematics and physics. Background Mathematical insight is arguably humanity’s greatest creative achievement—and one of its most resistant to automation.…