Artificial intelligence
fromwww.scientificamerican.com
1 week agoMathematicians issue a major challenge to AIshow us your work
First Proof gives AI systems a week to solve brand-new unsolved research math problems to rigorously test mathematical reasoning and proof generation.