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 documentationPublication date Sep 28, 2026
View project ↗

Reading source record 432c38f2aa5a30efb13871292d17b4a3309a496a. View default cited record →

Overview

Poincaré comparator integration verification

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

1 cited passage ↓1 problem ↓Record 432c38f2aa5a30efb13871292d17b4a3309a496a ↓

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 ↗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

Used in

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

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

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. 432c38f2aa5a30efb13871292d17b4a3309a496a · selectedObserved Oct 12, 2026 · used in current publications

    Poincaré comparator integration verification

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 ↗