AI-assisted math results continue to stream in thick and fast. San Francisco-based AI startup Axiom says it has produced the ...