对于给定的问题和选项，我们需要分析每个选项的表达式：

A: `a != b`
- `a` 和 `b` 都是字符串 `'123'`，所以 `a != b` 返回 `False`。

B: `a is b`
- 在Python中，`is` 运算符用于判断两个变量是否引用同一个对象。对于短字符串和整数，Python会缓存并重用对象，因此 `a is b` 很可能返回 `True`，但这依赖于具体的Python实现和版本。在大多数情况下，`a is b` 会返回 `True`。

C: `a == 123`
- `a` 是字符串 `'123'`，而 `123` 是整数，因此 `a == 123` 返回 `False`。

D: `a + b = 246`
- `a + b` 的结果是字符串拼接，即 `'123123'`，而不是整数 `246`。此外，表达式使用了赋值运算符 `=` 而不是比较运算符 `==`。因此，这个表达式不成立。

综上所述，选项 B (`a is b`) 最有可能返回 `True`，但需要注意的是，这个结果依赖于Python的具体实现和版本。一般情况下，对于短字符串，这个结果是 `True`。