Comment by sarbaz

This is interesting because I work with professional mathematicians and they are the exact opposite. They always start off with a semi-formalized idea and play with it a lot before trying to hone in on something formal. And conversely they have absolutely no problem listening to / thinking about non-rigorous ideas. They also do excellent work, so I would say this is a positive trait wrt productivity.