Body: <p>I was studying philosophy of AI when a question came to my mind.</p>
  <p>I'd like to write an essay (both informative and argumentative) about the state of the art in <strong>Artificial Intelligence advancing the mathematical knowledge</strong>. Therefore, I'd like to get references about:</p>
  <ol>
  <li>examples of intelligent systems displaying mathematical creativity;</li>
  <li>characterisations of the kind of (human) intelligence involved in mathematical discovery;</li>
  <li>the transition from proof-checkers and proof-finders to theorem-inventors machines, from a historical, algorithmic and structural point of view;</li>
  <li>areas of mathematics in which AI systems are most likely to thrive;</li>
  <li>the possibility for systems to internalise features like intuition, mathematical taste, geometric visualisation and more generally informal aspects related to the production of knowledge.</li>
  </ol>
  <p>These are only some extemporaneous ideas, any further insight is welcome.
  Also brilliant and authoritative points of view about the (human) mathematical creation (e.g. Hadamard's one) may enlighten the matter.
  I know it is vast but I'll be really thankful to those who will contribute.</p>
  <p><em><strong>Disclaimer</strong></em></p>
  <ul>
  <li>This question is <em>not</em> answerable by &quot;opinions&quot;, being a reference request and <em>not</em> a personal enquiry.</li>
  <li>A similar question has been closed for &quot;not being about Mathematics&quot; on the Mathematics Stack Exchange, where people seem to be really jealous of their own borders.</li>
  </ul>
  
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2024-05-20T12:15:41.420Z
Comments.Text: So, what is your question? I only see one question here and it's in the title. Are you asking if AI is capable of mathematical creation? After reading your post, it doesn't seem that you're looking just for that. You're looking for reference that describes different things about how AI can be applied to math. Anyway, although I find this post interesting, it might be too broad, because you may be asking for many things. So, if you can ask a specific question, then maybe it's not broad.
Comments.UserDisplayName: nbro
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2024-05-20T12:50:41.233Z
Comments.Text: @nbro It’s a reference request in order to get information to elaborate on the initial question. I did not insist on that since I am not looking for people’s views (as I’ve spelled out) but for references on the topic. I can see no contradiction or omission. The question is broad because the topic is.
Comments.UserDisplayName: Amanda Wealth
Comments.ContentLicense: CC BY-SA 4.0
Comments.CreationDate: 2024-05-21T14:21:02.140Z
Comments.Text: I've not read it, except the first few lines, but maybe take a look at this paper [Advancing mathematics by guiding human intuition with AI](https://www.nature.com/articles/s41586-021-04086-x) and the references there. Feel free to provide an answer to your own question, if you find it and nobody answers it meanwhile ;)
Comments.UserDisplayName: nbro
Tags: <math><philosophy><knowledge-representation>
Title: AI capable of mathematical creation? (reference request)
UserDisplayName: Amanda Wealth
ThreadText: # AI capable of mathematical creation? (reference request)
  
  (Asked by: username_0 on 2024-05-19)
  
  I was studying philosophy of AI when a question came to my mind.
  
  I'd like to write an essay (both informative and argumentative) about the state of the art in **Artificial Intelligence advancing the mathematical knowledge**. Therefore, I'd like to get references about:
  
  1. examples of intelligent systems displaying mathematical creativity;
  2. characterisations of the kind of (human) intelligence involved in mathematical discovery;
  3. the transition from proof-checkers and proof-finders to theorem-inventors machines, from a historical, algorithmic and structural point of view;
  4. areas of mathematics in which AI systems are most likely to thrive;
  5. the possibility for systems to internalise features like intuition, mathematical taste, geometric visualisation and more generally informal aspects related to the production of knowledge.
  
  These are only some extemporaneous ideas, any further insight is welcome.
  Also brilliant and authoritative points of view about the (human) mathematical creation (e.g. Hadamard's one) may enlighten the matter.
  I know it is vast but I'll be really thankful to those who will contribute.
  
  ***Disclaimer***
  
  * This question is *not* answerable by "opinions", being a reference request and *not* a personal enquiry.
  * A similar question has been closed for "not being about Mathematics" on the Mathematics Stack Exchange, where people seem to be really jealous of their own borders.
  
  **Tags:** math, philosophy, knowledge-representation
  > **Comments:**
  > **username_1**: So, what is your question? I only see one question here and it's in the title. Are you asking if AI is capable of mathematical creation? After reading your post, it doesn't seem that you're looking just for that. You're looking for reference that describes different things about how AI can be applied to math. Anyway, although I find this post interesting, it might be too broad, because you may be asking for many things. So, if you can ask a specific question, then maybe it's not broad.  
  > **username_0**: @nbro It’s a reference request in order to get information to elaborate on the initial question. I did not insist on that since I am not looking for people’s views (as I’ve spelled out) but for references on the topic. I can see no contradiction or omission. The question is broad because the topic is.  
  > **username_1**: I've not read it, except the first few lines, but maybe take a look at this paper [Advancing mathematics by guiding human intuition with AI](https://www.nature.com/articles/s41586-021-04086-x) and the references there. Feel free to provide an answer to your own question, if you find it and nobody answers it meanwhile ;)  
  
  ---
  
  ## 0 answers
  
  