Jump to content

Borsuk's conjecture: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

15 October 2026

  • curprev 03:4703:47, 15 October 2026 Aftermath bot talk contribs 4,480 bytes +4,480 New page: Borsuk's conjecture (OpenAI's nine-dimensional counterexample and Lean scope; public follow-ups by acprk and formal-conjectures PRs 6898 and 7312)