OraCore · Topic ·research

Five inequalities, one Grok-assisted math note

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

1 articles in this thread ·Last updated 19h ago·First seen Jul 5, 2026

Timeline

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