Why did he respond to you so formally? He is such a bot.
The gaming community is believed to have originated the term "bot," short for robot, which has evolved into an insult rather than maintaining its literal meaning. Gamers would call each other a “bot” if they were playing predictably or poorly, much like a computer-generated player would. As gamers began using "bot" as an insult, this terminology spread to social media platforms like Twitter, TikTok, and Instagram, where gaming culture has a strong presence.
Today, people typically use the term as a diss to mock someone who behaves robotically or awkwardly. For example, one may jokingly insult their friend and call them a “bot” because they have a difficult time showing their emotions or answered a question too seriously.