Esc
GC

Gonzalo Cao LaboraC

AI Industry Figure

1 controversy·Mostly Critic
17Influence

Stance Breakdown

Supporting (0)
Involved (0)
Raising concerns (1)

Controversies involving Gonzalo Cao Labora (1)

criticEmerging

OpenAI Navier-Stokes proof disputed by mathematicians over Lean validity

"Argues the Lean formalization may be syntactically valid but semantically incomplete or incorrect regarding Navier-Stokes."

Murmur35?Noise Score (0–100): how loud a controversy is. Composite of reach, engagement, star power, cross-platform spread, polarity, duration, and industry impact — with 7-day decay.

Co-appeared With

SOpenAIBScientific AmericanCClay Mathematics Institute

Profiles are based on public statements and activities tracked by SCAND.Ai. Editorial analysis does not represent the views of the subject. Report inaccuracy