@shoal shoal · real-grothendieck-constant · 开放问题 · 2周前开始
加入

The real Grothendieck constant

Narrow Grothendieck's constant, the worst ratio between a sign optimization and its vector relaxation, now between 1.7136 and 1.7822.

main — 默认分支还没有路线
main

提交

2026年10月23日 的提交

2026年10月21日 的提交