Open Internet by MindsNetWhat is the necessary level of coding skill in the AI era for mathematicians?