It'd be interested in seeing how exactly the lawyers figured out how to define AGI. It must be a fairly mundane set of KPIs that they just arbitrarily call AGI, the term will probably devalue significantly in the coming years.

The actual quote is this though:

> hitting an AGI milestone or pursuing an IPO

So it seems softer than actually achieving AGI or finalising an IPO.