Get the latest tech news
Could a 'Math Genius' AI Co-author Proofs Within Three Years?
A new DARPA project called expMath "aims to jumpstart math innovation with the help of AI," writes The Register. America's "Defense Advanced Research Projects Agency" believes mathematics isn't advancing fast enough, according to their article... So to accelerate — or "exponentiate" —...
[One slide from DARPA program manager Patrick Shafto noted that OpenAI o1 "continues to abjectly fail at basic math despite claims of reasoning capabilities."] ""We will robustly engage with the math and AI communities toward fundamentally reshaping the practice of mathematics by mathematicians," explains the project's home page. "It's very unclear that current AI systems can succeed at this task..." program manager Shafto says in a short video introducing the project.
Or read this on Slashdot
