BUSINESS REFLECTION: Crossed Wires: AI smashes the foundations of the global kingdom of mathematics

OpenAI’s dump of more than 300 maths proofs – solutions or partial solutions – to some of mathematics’ most enduring problems has understandably shaken the international maths community to its core, if not destroying its foundations completely. However, anyone following the edge of AI closely enough over the past year or two knew that this was imminent.