Как правильно "мыши" по-английски: mice или mouses? Или в английском это синонимы?

Это - "неправильное" существительное по типу "неправильных" глаголов. "Неправильными" становятся очень часто употребляемые слова, которые для удобства и простоты произношения пренебрегают правилами грамматики. Например, в русском: "человек - люди".

Есть ещё случаи, когда переход слова к "неправильной" форме не завершился и встречаются обе формы. Например, в русском "человек-человеки-люди".

В таких случаях длинную и труднопроизносимую "правильную форму" употребляют в более уважительных, обобщённых и торжественных случаях. Примером удлинения более глобальных понятий является пара "people - peoples", где первое означает просто "люди", а второе - "народы".

Так же и в русском языке. В паре "люди - народы" обобщённая форма имеет бОльшую длину и сложность произношения.

Пара "mice - mouses" - тоже переходная. Первый (упрощённый "неправильный") вариант встречается в интернете в 50 раз чаще второго. Длинный и сложный второй употребляется для высокотехнологичных мышей, то есть, компьютерных. Также он может употребляться в научных текстах, когда речь идёт о видообразовании мышей. Изредка употребляется и для обычных мышей в случаях, когда они нравятся автору.

https://habr.com/ru/company/englishdom/blog/564592/

http://audiorazgovornik.ru/anglijskaya-morfologiya/anglijskoe-sushchestvitelnoe/1462--mouses-or-mice-computer-mouses-or-mice

mice - мышки-грызуны
mouses - компьютерные мыши

mice

Единственно верная форма - mice, точно также как единственно верная форма мн. ч. для "woman" - "women", а не "womans". Таких особых форм множественного не так много (feet, gees, teeth, oxen и т.д.), их надо выучить.

Синонимы, маус чаще говорят

1