The greatest living mathematician uses it for Math https://siliconreckoner.substack.com/p/terence-tao-on-machine-assisted-proofs https://siliconreckoner.substa

The greatest living mathematician uses it for Math https://siliconreckoner.substack.com/p/terence-tao-on-machine-assisted-proofs https://siliconreckoner.substack.com/p/terence-tao-on-machin... To me it seems like people who are confident in their expertise generally find it useful, even if it's imperfect