LAUNCH · SIGNAL STARTUP
Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
On October 26, OpenAI announced a claimed "bare existence" proof in Balaban's RG programme on pure R^4—but notably stopped right before claiming the mass gap Δ > 0. It turns out t…
出典・元記事Hacker News — Show HNhttps://zenodo.org/records/23918639/files/RoundSquare.lean?download=1 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP