نموذج استدلال OpenAI، تخمين Erdős، الذكاء الاصطناعي والرياضيات، هندسة منفصلة، ذكاء اصطناعي للعلوم، إثبات رياضي بالذكاء الاصطناعي، رياضيات بحتة