MIT Technology Review

This startup wants to change how mathematicians do math

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...