Most mathematicians have been reluctant to start working with artificial intelligence, but a new tool developed by researchers at Meta may change that Most mathematicians have been reluctant to start working with artificial intelligence, but a new tool developed by researchers at Meta may change that New Scientist – News