AI-assisted research

Five inequalities, one Grok-assisted math note

A short math note reports five Grok-assisted discoveries, each later verified by the authors.