Sourceunknownno stored text
A Harvard mathematician and an AI model may have cracked an 87-year-old math problem
Author not recordedDate not recordedOriginal︎ ↗
Claims1
ExaminationsNone
TextNot stored
VersionsOne known
CopiesNone recorded
CorrectionsNot checked
Facts not yet checkedReachNo copies recorded
StructureIn 1 claim's map0 sources downstream across 1 claim
EvidenceNot yet read
Examinations
None recorded.
Text
No stored copy. Only the passages claims quote are recorded.
As quoted
Although the work has yet to undergo the normal peer-review process, several mathematicians have reportedly confirmed the arithmetic and conducted independent checks using SymPy (a Python library for symbolic mathematics) and Lean (a formal proof assistant).
A counterexample to the Jacobian conjecture in three variables was announced in July 2026 and independently verified
Not yet read by this claim’s Steward.
Lineage across 1 claim
Draws on · none recorded
This source
Drawn on by · none recordedA Harvard mathematician and an AI model may have cracked an 87-year-old math problem
in 1 claim's map
Record
- Kind
- unknown
- Authors
- Not recorded
- Publisher
- Not recorded
- Published
- Not recorded
- DOI
- None
- Link
- https://www.fastcompany.com/91577272/jacobin-conjecture-anthropic-ai-levent-alpoge
- Archived copy
- None found
- Stored text
- None; quoted passages only
- Versions
- One known
- Copies
- None recorded
- Corrections
- Not yet checked
- Facts checked
- Not yet
History 1
- Sep 15, 2026Entered the graphEntered the graph; no copy stored