arXiv (All)
open access
Breaking the high-degree barrier in Lehmer's problem with a human-AI discovery loop
While artificial intelligence has made rapid progress in mathematical reasoning, many open problems depend on structure that is revealed only through large-scale computational exploration and analytical synthesis. One such example is Lehmer's problem from 1933. It asks whether the Mahler measure of
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- How AI Agents Discover Scientific Equations: From Hydrotope Rediscovery to New Water-Wave Amplitudes#1155370
- Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification#999211
- AI-Completeness: Using Deep Learning to Eliminate the Human Factor#699128
- TheoPhysEval: Assessing AI agents at autonomous theoretical physics problem solving#1344692
- Overdetermined problems in science#110661
Record · ID 1423069
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive