Portrait of Oğuzhan Koçaklı
Personal blog & consulting

Hi, I'm Oğuzhan.

I write, build and advise at the intersection of technology and creativity.

I think about AI-assisted production, transformation in the gaming and film industries, and marketing strategy. I share what I learn here, in plain language.

Featured Posts

AI hub →

Latest and trending.

Two glass laboratory towers projecting amber and cyan light onto a central crystal measured by a brass dial caliper
Artificial Intelligence 14 min

Did OpenAI and Anthropic Just Refute the Exponential Time Hypothesis? What the 3-SAT Claims and Lean Proofs Actually Show

Two labs published deterministic subexponential k-CNF counting algorithms within hours of each other, both traced to October 16 and both formalized in Lean. Neither settles P vs NP, neither speeds up real solvers, and both expose the boundary of machine verification.

Continue reading