My new arXiv paper is a whole book, originally published in Japanese in 2015!
"Geometries of Quantum Field Theories"
(Masahito Yamazaki)
https://t.co/pUdH6yV4on
I don't use AI. If you compute large number of examples and are lucky, you may find a counter-example. It does not prove that AI can introduce a new concept to prove something important affirmatively.