OpenAI claims to have proved 100 more big theorems. I urge all of you to fill out the form at https:// agmai.org/ and po…

OpenAI claims to have proved 100 more big theorems. I urge all of you to fill out the form at https:// agmai.org/ and politely ask their board of nine "elite mathematicians" to initiate a more democratic approach to dealing with this potential flood of AI-proved results. https://www. theverge.com/ai-artificial-int elligence/999167/openai-elite-mathematicians-panel