Comment by GPerson

I’m not sure about this. Anthropic’s AI constructed complex structures on S^6 and wrote a 108 page paper about it, and a few days later there was already a 250k line lean program claiming to verify it.