Debate over “open source AI” term brings new push to formalize definition