Is Phil Ivey's pocket aces play approved according to GTO Wizard?

Poker legend Phil Ivey played a hand that at first glance looked like a "punt" in the 200,000 dollar No Limit Hold'em Triton Invitational tournament held at Triton Jeju. At the 500/1,000 level, Ivey held A ♥ A ♣ on the button with 222,000 chips. Gytis Lazauninkas, opening from the UTG+2 position with 9 ♥ 9 ♠, raised to 2,500 chips preflop.

Ivey three-bet to 10,000 chips and Lazauninkas called. The flop came 9 ♦ 4 ♣ 2 ♥. Ivey bet 15,000 chips on the continuation and his opponent called. The turn was 3 ♦. Lazauninkas checked again and Ivey bet 45,000. This time Lazauninkas added 152,000 more chips, forcing Ivey to put all of his chips at risk. Ivey thought it over and called, but the river was 3 ♣. Lazauninkas won with a full house, while Ivey was eliminated and went to the rail.

According to GTO Wizard analysis, Ivey's three-bet with pocket aces preflop is seen as a pure three-bet. Kings play a mixed strategy at this depth, with some calls. Nines mostly call and occasionally four-bet. The solver does not recommend a donk bet on this flop, because the button has both the expected value and the positional advantage. The bet size Ivey chose was exactly the same as the solver's recommendation, and AA is considered almost a pure continuation bet on this flop. Most of the steps in the analysis were found to be consistent with solver recommendations.