LEAN and other tools verify from what do know -- at least stepwise. Anything that deviates from these things should stick out. I suppose some million line LEAN program may have embedded within it something that is novel and not readily apparent, but I imagine truly novel approaches should stick out like a sore thumb.
Could AI create a novel set of axioms (a new math) from which things like RH become a by product? I think that would be hard to miss.
Could AI create a novel set of axioms (a new math) from which things like RH become a by product? I think that would be hard to miss.