fromwww.scientificamerican.com
2 weeks 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.