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 ...