H
Howardism
Howardism · Vol. 03Plate I · No. 01

AI For Mathematics, tagged.

Notes14TagAI For MathematicsOldest23 May 2026Newest29 Sept 2026

Every article tagged ai for mathematics, newest first.

  1. C01
    Statement Drift
    Formal MethodsAI For MathematicsEvaluation Methodology+1
    · 19′
  2. C02
    Kernel-Level Proof Auditing
    Formal MethodsEvaluation MethodologyAI For Mathematics+1
    · 35′
  3. C03
    OEIS Open Benchmark
    BenchmarksEvaluation MethodologyAI For Mathematics+1
    · 31′
  4. C04
    Automated Conjecturing
    AI For MathematicsDiscoverySearch+1
    · 27′
  5. C05
    FrontierMath Erdős Benchmark
    BenchmarksEvaluation MethodologyAI For Mathematics+1
    · 39′
  6. C06
    Logical vs Intelligible Proof
    AI For MathematicsFormal MethodsPhilosophy Of Science+1
    · 20′
  7. C07
    Many-Agent Proof Harnesses
    AI For MathematicsAgent EngineeringAgent Orchestration+2
    · 43′
  8. C08
    The Navier–Stokes AI Claim
    AI For MathematicsFormal MethodsMulti Agent+2
    · 28′
  9. E09
    Terence Tao
    EntityPersonAI For Mathematics
    · 4′
  10. C10
    Agentic Loops Overtake Bespoke Systems
    Agent EngineeringAI For MathematicsLLM Architecture
    · 39′
  11. C11
    AI-Driven Formal Proof Search
    AI For MathematicsFormal MethodsAgent Engineering
    · 52′
  12. E12
    AlphaProof Nexus
    EntitySystemGoogle Deepmind+1
    · 8′
  13. C13
    Evolutionary Proof Search
    AI For MathematicsAgent EngineeringSearch
    · 25′
  14. E14
    Lean
    EntityToolFormal Methods+1
    · 23′