A new era in mathematics may be on the horizon—one that some researchers have long desired. Mathematicians could soon use ...