A tech related caboodle...
Will Knight / Wired : A look at Axiom, which is building AxiomProver, an “AI mathematician” it claims has solved at least four previously...