Open Research Index

4 records

  1. Fermat's Last Theorem in Lean 4

    Anthropic

    Lean projectSep 4, 2026math.NTAI-generatedLeanscore 1

  2. Truly Subquadratic 3SUM and Truly Subcubic APSP: a Lean 4 formalization

    anthropics

    Lean projectAug 6, 2026cs.DSLeanscore 1

  3. A 2 o(*n*) Time Algorithm for 3-SAT

    anthropics

    Lean projectAug 6, 2026Leanscore 0

  4. Zeta23 — more than two thirds of the zeta zeros are simple and on the critical line

    Claude

    Lean projectAug 6, 2026math.NTAI-generatedLeanscore 1