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
A short math note reports five Grok-assisted discoveries, each later verified by the authors.