Lomonosov error

[Nordlandia]

b8=♗ wins.

[d]3B4/pP5p/k6P/8/8/8/8/6K1 w - - 0 0

[stegemma]

b8=♗ wins.

[d]3B4/pP5p/k6P/8/8/8/8/6K1 w - - 0 0
[...]

If the black king just runs to g8 ignoring bishops, I don't see a way to win for white.

Can you show me how can white win?

[Nordlandia]

Stefano Gemma -> the idea is to use the second bishop to cover f8 then use discovery check by the king to give checkmate in the corner.

[d]6k1/7p/5K1P/8/3B4/B7/8/8 b - - 0 0

[stegemma]

Stefano Gemma -> the idea is to use the second bishop to cover f8 then use discovery check by the king to give checkmate in the corner.

[d]6k1/7p/5K1P/8/3B4/B7/8/8 b - - 0 0

Wow!

It's very hard to find for my engines.

[Milos]

b8=♗ wins.

[d]3B4/pP5p/k6P/8/8/8/8/6K1 w - - 0 0

It's the problem of the webpage you use. Lomonosov android app instantly says mate in 20.

[Jouni]

Very easy, no need for bases :

Analysis by Stockfish 8 64 BMI2:

1.b8B Kb7 2.Bbc7 Kc6 3.Kf2 Kc5 4.Kf3 Kd5 5.Kf4 Ke6 6.Ke4 a5 7.Bxa5 Kd7 8.Kf5 Ke8 9.Ke6 Kf8 10.Kf6 Ke8 11.Kg7 Kd7 12.Kxh7 Ke6 13.Kg6 Kd5 14.h7 Ke4 15.h8Q Kf3 16.Qh3+ Ke4 17.Qc3 Kf4 18.Qd3 Kg4 19.Bdc7 Kh4 20.Qg3#
+- (#20) Depth: 53/58 00:00:12 191mN