Yeah it looks like "AI couldn't prove my conjectures, so I'll just post this dump of its failed attempts instead".