The supplied material reports that Levent Alpöge and Ava Howell, with assistance from Anthropic’s Claude, found a candidate elliptic curve of rank 30, with expert verification still ongoing. A rank-30 curve would exceed the previously established rank of at least 29 and would be significant because unusually high-rank elliptic curves are rare and the possible boundedness of ranks over the rationals remains unresolved. The snippets identify Alpöge as affiliated with Anthropic and as a mathematician who publishes on elliptic curves, but they do not independently establish Howell’s role, explain Claude’s contribution, or confirm that the advertised curve actually has rank 30.
A verified rank-30 discovery would be a consequential dated receipt for Scott’s position that human-plus-AI systems should be judged by newly achievable outcomes rather than isolated model performance. For now it remains a candidate result: the unresolved expert review directly bears on his verification-loop and evidence-class distinctions, so its significance depends on the curve and Claude’s material contribution being independently established.
ip:framework.ambition-frontier-rubricip:concept.benchmarking-the-wrong-unitip:concept.verification-loopsip:concept.human-ai-collaborationip:concept.evidence-class-ladderradar:concept.ai-mathematicsradar:concept.ai-for-scienceradar:concept.human-in-the-loopradar:concept.claim-verificationradar:concept.frontier-models
queries asked of Scott's wikis
- AI-assisted mathematical discovery and proof verification
- research agents with expert-in-the-loop validation
- frontier models as scientific collaborators
- agent-generated claims and epistemic provenance
- tool-augmented LLMs for formal mathematics
- benchmarks based on novel research outcomes
now 0 pts/hpeak 0 pts/hcomments 0/hpeers p0momentum: steady2 platformsage 1274h
points/hour across evidence · reading as of 2026-10-12 02:59:37.977291+11:00 · deterministic, not a model opinion
2026-09-11T00:27:20Z
No substantive evidence changes the interpretation: reported benchmark acceptance supports the rank-at-least-30 result, while Claude’s material contribution remains undocumented. Exact rank is not necessary to establish a record lower bound; retain weekly monitoring for independent verification or contribution provenance.
2026-09-09T00:25:28Z
No substantive delta changes the interpretation: reported FrontierMath acceptance supports the record claim, while the reconstructed leaderboard describes a rank lower bound of at least 30, not proof of exact rank. Claude’s material contribution remains undocumented in the supplied evidence; retain weekly monitoring rather than reopening on engagement drift.
2026-09-06T23:49:08Z
Only trivial engagement drift on the second post; no new certificate, expert verification, or documentation of Claude's material role since last review. Case remains stable at weekly cadence.
2026-09-04T23:30:42Z
No new certificate, expert verification, or account of Claude’s contribution has appeared; the latest changes are engagement noise only. FrontierMath acceptance preserves corroboration, but this should move to a weekly rather than 48-hour verification cadence.
2026-09-02T22:44:10Z
Another staleness pass adds no expert certificate, curve verification, or provenance for Claude’s role; small engagement movement is repetitive amplification only. FrontierMath acceptance preserves corroboration, but the broader human-plus-AI discovery claim remains open on a slow mathematical-verification horizon.
2026-08-31T21:46:05Z
Only minor engagement growth has occurred; no expert certificate, curve verification, or provenance for Claude’s contribution changes the interpretation. FrontierMath acceptance preserves corroboration, but the broader human-plus-AI discovery claim remains open on a slow verification horizon.
2026-08-29T21:29:13Z
The staleness check adds no expert certificate, provenance, or clarification of Claude’s role; repeated engagement does not change the case’s meaning. FrontierMath acceptance keeps the rank-30 candidate corroborated, but the broader human-plus-AI discovery claim remains open on a slow verification horizon.
2026-08-27T20:43:27Z
The refreshed comments remain semantic correction and repetitive amplification, not expert verification of the rank certificate or evidence of Claude’s material contribution. FrontierMath’s benchmark acceptance still corroborates the result, but the broader human-plus-AI discovery claim does not advance.
2026-08-27T16:32:03Z
Refreshed discussion and engagement only repeat the distinction between FrontierMath benchmark acceptance and solving the broader rank-boundedness question. With no new certificate, expert verification, or provenance for Claude’s contribution, the case remains corroborated but cools to a slower monitoring horizon.
2026-08-27T14:40:36Z
Refreshed discussion adds only a useful semantic correction: FrontierMath marked its benchmark problem solved, not the broader mathematical question of rank boundedness. It supplies no new verification of exact rank or documentation of Claude’s material contribution, so the case remains corroborated without advancing.
2026-08-27T13:36:42Z
FrontierMath’s reported solved status provides an independent institutional acceptance signal, moving the rank-30 result beyond a self-posted leaderboard artifact. The exact-rank claim and the materiality of Claude’s contribution remain insufficiently documented, so the broader human-plus-AI discovery hypothesis is not yet resolved.
2026-08-27T13:24:34Z
evidence attached: reddit.post.1vztl3w — FrontierMath has officially marked the elliptic-curve rank problem solved, providing independent corroboration that materially strengthens the open case.
2026-08-27T00:30:27Z
Another staleness check adds no independent validation of the curve or evidence about Claude’s contribution; the concrete candidate remains open on a slow expert-verification horizon rather than advancing.
2026-08-25T00:27:18Z
No substantive evidence has arrived beyond the original leaderboard artifact; repeated reobservation does not clarify either the rank certificate or Claude’s contribution. Keep the candidate open on a slower verification horizon rather than treating engagement as corroboration.
2026-08-22T23:34:32Z
After 48 hours, no independent expert verification, additional artifact, or clarification of Claude’s contribution has appeared. The concrete leaderboard claim remains worth monitoring, but repeated engagement without substantive evidence cools the episode.
2026-08-20T22:33:46Z
No new verification or independent evidence has arrived; the small engagement increase merely amplifies the already-known leaderboard artifact. The rank lower bound and Claude’s material contribution therefore remain unsettled pending expert confirmation.
2026-08-20T22:30:55Z
grounded: converges/medium — A verified rank-30 discovery would be a consequential dated receipt for Scott’s position that human-plus-AI systems should be judged by newly achievable outcome
2026-08-20T22:28:31Z
origin walked (codex/luna, conf 0.95): anchor reddit.post.1vtwm9q -> echo.other.7264e68737 by ranksunbounded (site username; later attribution credits Claude with Levent Alpöge and Ava Howell)
2026-08-20T22:27:14Z
case created — The claim concerns a consequential and independently checkable mathematical result with an associated curve artifact, but its validity and Claude's contribution remain unverified.