The cotype–cotype conjecture under the approximation property at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

The cotype–cotype conjecture under the approximation property

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	infinite dimensions	Levels:	1
Category:	Functional analysis	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (2,207 votes)

>>> How to Play <<<

The cotype–cotype conjecture under the approximation property. Resolves the cotype–cotype conjecture for real Banach spaces with the approximation property. Such a nonzero space is K-convex if and only if both it and its dual have finite Rademacher cotype, with possibly different exponents. Equivalently, these cotype assumptions force nontrivial Rademacher type.

>>> Level Select <<<

LEVEL 1 The cotype–cotype conjecture under the approximation property

released 2026-09-23 | 2 theorems · 7 lemmas · 11 proofs · 7,226 words | PLAY LEVEL 1 » (pdf)

We prove the cotype–cotype conjecture under the ordinary approximation property. A nonzero real Banach space with this property is K-convex if and only if both the space and its dual have finite Rademacher cotype, possibly with different exponents.

More Functional analysis Games!
Markov type characterizes superreflexivity	Fixed points of nonexpansive maps in reflexive Banach spaces	A counterexample to Pietsch's metric-entropy duality conjecture	A negative answer to Kalton's Lipschitz-free approximation question
Asymptotic midpoint uniform convexity without asymptotically uniformly convex renorming	Metric Markov cotype two for $\ell_1$	Tingley's sphere-isometry problem	Relative independence of the separable quotient problem

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600