Terence Tao wants some mathematical problems kept off limits to AI solvers

Source: Terance Tao | Mathstodon tl;dr: Tao’s argument is that pre-AI open problems are now a limited supply of “uncontaminated” benchmarks. Once someone publishes a solution, you can’t easily tell whether a future AI independently solved it or had access to the answer during training. He also thinks open problems have value for training mathematicians and developing new techniques. So he suggests the community might eventually designate some problems as off limits to automated solvers through social norms, while directing AI toward other problems instead.