OpenAI forms independent mathematics advisory panel amid AI proof backlash | Reasonary AI