Oracle-Complexity Gap in Derivative-Free Convex Optimization

VibeMathed recorded: Oracle-Complexity Gap in Derivative-Free Convex Optimization. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jul 14, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Oracle-Complexity Gap in Derivative-Free Convex Optimization · Zeroth-order oracle gap

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Phillip Kerger
human · human collaborator

GPT-5.6 Sol Pro
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Oracle-Complexity Gap in Derivative-Free Convex Optimization

specialist registry · passed

arXiv preprint 2607.13335 (14 Jul 2026) by Phillip Kerger (UC Berkeley), not yet peer-reviewed. The weaker-accuracy $\tilde{\Omega}(d^2)$ -at- $d^{-3}$ lower bound was formally verified in Lean (github.com/PhillipKerger/zero-order-bounds-lean-verification); the headline improvement to accuracy $d^{-1/2}$ is not yet Lean-formalized (it needs convex-geometry results like Urysohn's inequality absent from current Lean libraries) and rests on the author's hand verification.

Source ↗

Oracle-Complexity Gap in Derivative-Free Convex Optimization

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

This event attributed to Phillip Kerger

This event attributed to GPT-5.6 Sol Pro

Oracle-Complexity Gap in Derivative-Free Convex Optimization parent of this event

Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event

VibeMathed record: Oracle-Complexity Gap in Derivative-Free Convex Optimization evidence for this event

Oracle-Complexity Gap in Derivative-Free Convex Optimization evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph