Live graded claim

1993 comp.lang.functional post

The recorded claim and the decisive class gate, without a judgment of the claimant.

Source or claimant: 1993 comp.lang.functional post
Year: 1993
Claim class: C3: “I have a polynomial-time classical factoring algorithm”
Status: estimate-not-demonstration
Evidence mark: verified

Claim summary

Gate applied

State the machine model and count bit operations, memory and intermediate operand sizes on a realizable computer.

Read the full C3 gate.

Verdict basis

Class status

estimate-not-demonstration

This literal status is the class gate’s evidential verdict. It is not collapsed with the other live statuses and it is not a judgment of the claimant.

As of 26 July 2026.

Provenance labels

These are the record’s plain research-reference labels. They are not links and are never expanded into guessed URLs.

census-3:A00-USENET
Plain local provenance label, not a URL.

Cite this dossier

The Factoring Claims Register, amateur-a00-unit-cost-log-squared, as of 2026-07-26.

@misc{factoring-register-amateur-a00-unit-cost-log-squared-2026,
  title = {The Factoring Claims Register: 1993 comp.lang.functional post},
  author = {{The Factoring Claims Register}},
  note = {amateur-a00-unit-cost-log-squared; as of 2026-07-26}
}

Dossier timeline

No post-seed journal events are recorded for this dossier.