Theoretical computer science · Feb 2026

Unsymmetrized / Li–Médard assertions

Case 8.1.2 in the Gemini Deep Think research report (scoped proof).

Contributors

Gemini Deep Think research version · Google DeepMind

AI systems: Gemini Deep Think research version

Sources