openmath.dev
Esc

Loading…

↑ ↓ to move↵ to open

Appearance
Appearance

Source · Project

Cite & export
Open this versionExport record · JSONRecord detailsReport a correction

Poincaré comparator integration verification

FrenzyMath contributors

Project documentation
View project ↗

Overview

Poincaré comparator integration verification

Project-supplied verification report at the pinned documentation revision. The 28 September date describes verification, not publication; publication date is not established.

1 cited passage ↓1 problem ↓Record 432c38f2aa5a30efb13871292d17b4a3309a496a; bibliographic metadata corrected 2026-10-12 ↓

Passages

The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.

Passage 1 · OpenMath paraphrasePermalink

Local integration verification; verification.json beside README

The project’s report records successful statement comparison and Lean/Nanoda checks on 28 September 2026 for proof commit 1876d7dc2c85325a3f62ce9776af98f910c5db04, permitting only the three standard axioms. Later documentation and import commits are not the tested revision; the report is project-supplied evidence.

Read at source ↗10 recorded uses ↓

Replaces an earlier passage. View versioned records →

Passage details

Passage ID: poincare-conjecture:entry:frenzy-verification:v2

Source item: Local integration verification; verification.json beside README

Source record: frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2

Replaces passage: poincare-conjecture:entry:frenzy-verification:v1

Also cited · 432c38f2aa5a30efb13871292d17b4a3309a496a

FrenzyMath contributors · Project documentation · Publication date Sep 28, 2026

Poincaré comparator integration verification

Source-backed selection; publication and proof assessment are separate.

Passage 1 · OpenMath paraphrasePermalink

Local integration verification; verification.json beside README

The project’s report records successful statement comparison and Lean/Nanoda checks on 28 September 2026 for proof commit 1876d7dc2c85325a3f62ce9776af98f910c5db04, permitting only the three standard axioms. Later documentation and import commits are not the tested revision; the report is project-supplied evidence.

Read at source ↗1 recorded use ↓
Passage details

Passage ID: poincare-conjecture:entry:frenzy-verification:v1

Source item: Local integration verification; verification.json beside README

Source record: frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a

Formal code

Reported verified proof revision ↗

Source-reported evidence

Project reports successful Comparator, Lean and Nanoda checks; OpenMath has not reproduced them.

Resource revision: 1876d7dc2c85325a3f62ce9776af98f910c5db04

Recorded authorship

FrenzyMath contributors

AI involvement reported by the source

Authors report automated assistance; OpenMath has not independently assessed that workflow.

Record details
Source ID
frenzymath-poincare-verification
Record ID
frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a
Recorded title
Poincaré comparator integration verification
Revision
432c38f2aa5a30efb13871292d17b4a3309a496a
Observed
Oct 12, 2026
Source updated
Not recorded
Content SHA-256
Not recorded
Update method
Manual source review; publish new observations with immutable versions
Identifier policy
Source revision plus exact passage or declaration; no fuzzy identity merge
Check interval
90 days
Rights
metadata-link
License
Metadata, links and original OpenMath paraphrases only

Follow the original source for authoritative statements and reuse terms.

Source terms ↗

Used in

Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.

Poincaré conjecture →

Problem publication v13

The topological three-dimensional Poincaré theorem →

Formal declaration

Topological theorem · FrenzyMath reported verified revision

Statement v2 →Inspect formal evidence ↓

Scope

The topological three-dimensional Poincaré theorem

Statement v2 →

Statement

Statement v2 →

The smooth three-dimensional theorem →

Formal declaration

Smooth theorem · FrenzyMath reported verified revision

Statement v2 →Inspect formal evidence ↓

Scope

The smooth three-dimensional theorem

Statement v2 →

Statement

Statement v2 →
Problem context · 5 citations

Question

Poincaré conjecture

View in problem →

Research activity

Verification date distinguished from publication date

The project report records checks on 28 September 2026. Its publication date is not established, and that verification event is not used as a bibliographic date.

This metadata correction changes no mathematical statement, tested proof commit or externally reported check outcome.

View in problem →

Research activity

Two public formalization projects

The selected 2026 projects report complete smooth and topological three-dimensional proofs, with exact release or verification revisions.

These source reports do not constitute OpenMath executions or independently reviewed mathematical correspondence.

View in problem →

History

External comparator verification is reported

View in problem →

Files

Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.

Formal code

Reported verified proof revision ↗

Source-reported evidence

Project reports successful Comparator, Lean and Nanoda checks; OpenMath has not reproduced them.

Resource revision: 1876d7dc2c85325a3f62ce9776af98f910c5db04

Formal declarations

Topological theorem · FrenzyMath reported verified revision ↗

Complete formal proof reported externally

Project evidence reports successful statement comparison and Lean/Nanoda verification for this proof commit. The later report revision is cited separately; OpenMath has not rerun these checks or completed independent mathematical review.

Statement match: Candidate correspondence · not independently confirmed · checked Oct 12, 2026

Declaration & revision
PoincareConjecture.ComparatorTargets.topologicalPoincareSkeleton

Commit 1876d7dc2c85325a3f62ce9776af98f910c5db04

Smooth theorem · FrenzyMath reported verified revision ↗

Complete formal proof reported externally

Project evidence reports successful statement comparison and Lean/Nanoda verification for this proof commit. The later report revision is cited separately; OpenMath has not rerun these checks or completed independent mathematical review.

Statement match: Candidate correspondence · not independently confirmed · checked Oct 12, 2026

Declaration & revision
PoincareConjecture.ComparatorTargets.smoothPoincareSkeleton

Commit 1876d7dc2c85325a3f62ce9776af98f910c5db04

Credits

Recorded authorship

FrenzyMath contributors

AI involvement reported by the source

Authors report automated assistance; OpenMath has not independently assessed that workflow.

Versions

OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.

  1. Poincaré comparator integration verification

  2. 432c38f2aa5a30efb13871292d17b4a3309a496aObserved Oct 12, 2026 · used in current publications

    Poincaré comparator integration verification

Record details
Source ID
frenzymath-poincare-verification
Record ID
frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2
Recorded title
Poincaré comparator integration verification
Revision
432c38f2aa5a30efb13871292d17b4a3309a496a; bibliographic metadata corrected 2026-10-12
Observed
Oct 12, 2026
Source updated
Not recorded
Content SHA-256
Not recorded
Update method
Manual source review; publish new observations with immutable versions
Identifier policy
Source revision plus exact passage or declaration; no fuzzy identity merge
Check interval
90 days
Rights
metadata-link
License
Metadata, links and original OpenMath paraphrases only

Follow the original source for authoritative statements and reuse terms.

Source terms ↗