Start-ups are racing to revolutionise mathematics with AI

AI start-ups with significant funding are hiring mathematicians to develop AI systems aimed at solving complex mathematical problems and advancing the creation of more intelligent AI.