Mathematicians are working on teaching artificial intelligence to reason. This effort is reportedly underway, with the goal of enhancing ai capabilities. The specifics of the project and its potential outcomes are not detailed in available reports.