I am doing a phd in computer science.
Months ago, I was having an informal discussion about my research topic with my advisor, and he came out with a very high level conjecture about my research topic, something like "I have the feeling that A implies B".
Now, I am working with other people on a different project, and during the work for this paper, I realized that what we were doing demonstrated that the conjecture of my advisor was correct (so A do implies B), and this makes a lot stronger our paper.
Now, which is the right etiquette to follow in terms of authorship of the paper?
- Should I ask my advisor to join the project as a coauthor because the paper proves what he informally conjectured?
- Should I simply speak to him notifying this fact and add him in the acknowledgement?
I have a great relation with him, but I am not sure on how to behave with respect to this topic.