After the sinking, Bayesian lies on the seabed at a depth of around 49 metres. Special divers are currently examining the wreck.

Here’s what we know about the boat:

Bayesian was built in 2008 by the Italian shipbuilder Perini and last refitted in 2020.

Its 75-meter-high mast is the tallest aluminum mast in the world, according to Perini’s website.

Shipspotting.com says it was owned by a company called Revtom Limited. Mike Lynch’s wife, Angela Bacares, is listed in company documents as the company’s sole shareholder.

The yacht’s name would resonate with Mr Lynch, as his doctoral thesis and the software that made him a fortune were based on Bayesian theory.

The vessel has won a number of awards for its design and, according to specialist yacht websites, can accommodate up to 12 guests in six suites and a crew of ten.

The ship is said to have been formerly named Salute when it sailed under the Dutch flag and features a minimalist interior made of light wood with Japanese accents.

The price for chartering the yacht is not specified, but similar vessels are offered for around £170,500 per week.

Key statistics

Length: 56m

Width (max.): 11.51 m

Maximum speed: 15 knots (17.2 miles per hour)

Cruising speed: 12 knots (13.8 miles per hour)

Gross tonnage: 473

Engines: Two diesel engines MTU 2000 M72

Cabins: 6 (1 master cabin, 3 double cabins and 2 twin cabins)

Crew: Accommodates up to 10

Range: Up to 3,600 nautical miles with 57,000 litres of fuel tanks

Statistics compiled by the websites Charterworld and YachtCharterFleet