IT
it
.xnews.jp
検索
API
タグ
"complexity-theory"
で絞り込み中 (1 件) —
すべての記事に戻る
GPT-5.6 Sol Proが凸最適化の30年ぶりの複雑性ギャップを証明、Leanで正式検証
reddit · 2026-07-18
ai-mathematics
convex-optimization
machine-learning
formal-verification
complexity-theory