Recently heard that Lagrange has joined NVIDIA. One is into chips, the other into proofs, coming together to venture into healthcare and finance. High-risk territory, but they insist on guarding it. They say it's to ensure that AI's reasoning can be verified, which is indeed a serious matter. However, collaborations always sound good at the beginning; whether it can succeed later depends on the days to come. The road is long, and the fog is thick.
