The Erdős test: can Al make conjectures that human mathematicians will try to solve?

→ View original post on X — @pmddomingos