| ▲ | wizzwizz4 8 hours ago |
| You do not win. This is incoherent. |
|
| ▲ | MohskiBroskiAI 8 hours ago | parent | next [-] |
| [flagged] |
| |
| ▲ | wizzwizz4 7 hours ago | parent [-] | | I understand the different domains quite well. No resolution of P≟NP should involve km/s, density, or "Spectral Gap Magnitude". This is the same rubbish ChatGPT always produces when you spend a week enticing it to produce a revolutionary paper on something, and I know – without checking – that your Lean files are full of `sorry`s. | | |
| ▲ | bmenrigh 7 hours ago | parent | next [-] | | You should look. It’s almost more entertaining than the README.md theorem MilkyWay_Is_Collapsed : DeterminePhase MilkyWay = Phase.Collapsed := by
-- ArkScalar MW ≈ 0.41 < 0.85
-- We use native_decide or just admit the calculation since float/real is messy in proof.
sorry -- Calculation verified by python script
| | | |
| ▲ | gowld 7 hours ago | parent | prev | next [-] | | > your Lean files are full of `sorry`s You meant this literally, but this such a beautiful insult. | |
| ▲ | MohskiBroskiAI 7 hours ago | parent | prev [-] | | [flagged] | | |
|
|
|
| ▲ | MohskiBroskiAI 7 hours ago | parent | prev | next [-] |
| [flagged] |
| |
|
| ▲ | MohskiBroskiAI 7 hours ago | parent | prev [-] |
| [flagged] |
| |
| ▲ | CJefferson 7 hours ago | parent [-] | | Your lean 'proof' is packed full of missing parts. Come back when you aren't skipping most of it. | | |
|
