A July 2026 preprint by Haowei Lin, Shanda Li, and collaborators claims to settle a decades-old additive-combinatorics question by constructing explicit finite sets showing that the optimal exponent relating sumset and difference-set growth is 2. The paper credits Tencent’s Hyra research agent, based on the open-weights Hy3 model, with searching for and optimizing constructions—including a base-12 gadget and CRT parameters—before human refinement and proof development. The supplied snippets establish the authors’ claim and describe a formal proof repository, but not independent expert validation; one summary’s reference to an exponent of 1/2 appears to concern the reciprocal inequality and conflicts superficially with Tencent’s “exactly 2” framing.
2026-09-10T23:40:58Z
The supplied evidence remains echoed author testimony, with no new assessment of either proof validity or Hyra’s material contribution. This is an unresolved validation watch, not an advancing capability result; neither neighboring research-agent activity nor elapsed silence changes that judgment.
2026-09-08T22:43:28Z
The staleness trigger supplies no new evidence: the proof and Hyra attribution remain author claims conveyed through echoes, not independently validated findings. Silence does not disprove the result; retain a weekly validation watch rather than treating repeated reobservations as developments.
2026-09-06T22:02:44Z
No independent proof review, reproduction, or attribution analysis has appeared since the case opened. The claim remains author-originated and unvalidated; keep on a low-frequency watch and revisit only when substantive expert assessment or reproducibility evidence emerges.
2026-09-04T21:28:38Z
The latest trigger is only staleness plus negligible engagement decay; no independent proof review, reproduction, or attribution analysis changes the author-originated claim. Retain a low-frequency validation watch and revisit only when substantive mathematical assessment appears.
2026-09-02T20:41:38Z
The staleness trigger adds no independent proof review, reproduction, or analysis establishing Hyra’s material contribution. Keep the potentially consequential claim open on a low-frequency validation watch, but suppress further elapsed-time repricing until substantive mathematical assessment arrives.
2026-08-31T20:38:52Z
The latest change is only negligible engagement drift; no independent proof review, reproduction, or attribution evidence changes the author-originated claim. Retain a low-frequency validation watch, triggered by substantive mathematical assessment rather than staleness.
2026-08-29T20:24:22Z
The one-point engagement drift is another unchanged reobservation, with no independent proof review, reproduction, or evidence isolating Hyra’s material contribution. Keep the potentially consequential claim on a weekly validation watch and suppress staleness-driven checks.
2026-08-27T19:48:46Z
The five-point engagement drift adds no independent proof review, reproduction, or evidence isolating Hyra’s material contribution. Keep the consequential but author-originated claim on a weekly validation watch and ignore staleness-only triggers.
2026-08-25T19:41:30Z
The staleness trigger adds no expert review, reproduction, or independent attribution evidence; the claim remains open but entirely author-originated. Academic validation may take time, so retain a low-frequency watch rather than expiring it.
2026-08-23T19:29:59Z
Another staleness trigger adds no independent proof review, reproduction, or attribution evidence. The claim remains open but unvalidated; revisit only on substantive expert assessment rather than elapsed-time or engagement triggers.
2026-08-21T18:30:48Z
No independent review, reproduction, or attribution analysis has appeared; the unchanged reobservation adds nothing to the author-originated claim. Keep the case open for substantive mathematical validation, but stop staleness-driven checks and use a weekly cadence.
2026-08-19T17:50:45Z
The slight engagement increase is repetitive amplification, not independent proof review, reproduction, or evidence that Hyra materially enabled the result. Keep the claim open but revisit only upon substantive mathematical validation or attribution analysis.
2026-08-17T17:39:25Z
The staleness trigger and slight engagement decline add no independent proof validation, reproduction, or evidence isolating Hyra’s contribution. The potentially consequential claim remains open, but only substantive expert assessment should trigger another look.
2026-08-15T16:35:16Z
The staleness trigger and one-point engagement drift add no independent proof review, reproduction, or evidence isolating Hyra’s material contribution. The claim remains open but unvalidated and should stay on a weekly expert-validation watch.
2026-08-13T15:36:25Z
Only minor engagement drift has occurred; there is still no independent proof review, reproduction, or attribution evidence, so the claim remains an unvalidated author-originated result on a weekly validation watch.
2026-08-11T14:54:52Z
The staleness trigger adds no independent proof review, reproduction, or evidence establishing Hyra’s material contribution. The claim remains open but should stay on a weekly validation watch rather than generating further empty repricing cycles.
2026-08-09T14:23:11Z
The staleness trigger adds no evidence; proof validity and Hyra’s material contribution remain wholly dependent on independent expert review or reproduction. Keep the case on a weekly validation watch and suppress further engagement-only repricing.
2026-08-07T13:32:17Z
The latest trigger adds no evidence; independent proof validation, reproduction, and attribution of Hyra’s material contribution remain absent. Keep the claim open on a weekly validation watch and ignore further engagement-only reobservations.
2026-08-07T11:23:20Z
The latest trigger adds no independent proof review, reproduction, or analysis separating Hyra’s contribution from the authors’ own account. The case remains an unvalidated but potentially consequential claim; keep it on a weekly validation watch rather than repricing engagement reobservations.
2026-08-07T07:29:18Z
The new trigger is another empty reobservation, leaving both the proof’s validity and Hyra’s material contribution dependent on independent expert assessment. Keep the case open, but move it to a weekly validation watch rather than engagement-driven checks.
2026-08-07T05:24:09Z
The latest trigger contains no new evidence and does not advance independent proof validation, reproducibility, or attribution of Hyra’s contribution. Keep the claim open but stop engagement-driven checks until expert review or reproduction appears.
2026-08-07T04:23:26Z
The new trigger is another empty reobservation, adding no independent proof validation, reproduction, or analysis of Hyra’s material contribution. The case remains potentially consequential but wholly dependent on future expert assessment; engagement-only checks should cease.
2026-08-07T01:22:34Z
The attachment is an empty reobservation and adds no independent proof validation, reproduction, or attribution analysis. The case remains a consequential but unverified author-originated claim; revisit only when substantive expert assessment appears.
2026-08-06T22:26:13Z
The trigger contains no new evidence, let alone independent proof review or attribution analysis. The claim remains potentially consequential but unvalidated; suppress engagement-driven repricing until substantive expert assessment or reproduction appears.
2026-08-06T21:31:01Z
The latest trigger is another empty reobservation, not independent proof review, reproduction, or evidence isolating Hyra’s contribution. The case remains an unvalidated but potentially meaningful claim and should be revisited only when substantive expert assessment appears.
2026-08-06T20:29:14Z
No independent expert review, proof reproduction, or evidence isolating Hyra’s material contribution has arrived; the attachment is another reobservation of the same author-originated claim. Stop engagement-driven checks and revisit only when substantive mathematical validation appears.
2026-08-06T19:22:53Z
The new attachment adds no independent proof review, reproduction, or evidence isolating Hyra’s material contribution from the authors’ account. Repeated amplification no longer warrants hourly checks; hold the case for substantive expert validation.
2026-08-06T18:28:34Z
No independent mathematical review, proof reproduction, or evidence isolating Hyra’s contribution has arrived; the new attachment is repetitive amplification of the same author-originated claim. The case remains potentially meaningful but should wait for substantive expert validation rather than hourly engagement checks.
2026-08-06T17:31:29Z
The new attachment still supplies no independent proof review, reproducibility result, or evidence separating Hyra’s contribution from the authors’ own account. Repetitive amplification does not change the case; wait for substantive mathematical validation.
2026-08-06T16:32:47Z
The newly attached evidence adds no independent mathematical validation or reproducibility signal; it remains author testimony plus repetitive Reddit amplification. The case still hinges on expert verification of both the proof and Hyra’s material contribution.
2026-08-06T15:24:23Z
The newly attached material remains author-originated testimony plus Reddit amplification, not independent mathematical review or reproducibility evidence. The case’s meaning is unchanged and should remain cool until experts validate both the proof and Hyra’s claimed material contribution.
2026-08-06T14:21:50Z
The attached evidence only reiterates the authors’ own claim and Hyra attribution; no independent expert review, proof verification, or reproducibility evidence has arrived. With discussion flat, the case remains potentially important but should cool pending substantive validation.
2026-08-06T13:26:11Z
grounded: converges/medium — Tencent’s claimed agent-led construction search followed by human refinement independently converges with Scott’s Reshape, Formalisation Bottleneck, and Search,
2026-08-06T13:23:21Z
origin walked (codex/luna, conf 0.99): anchor reddit.post.1vh2yck -> echo.paper.c474cc85a3 by Haowei Lin and Shanda Li
2026-08-06T13:22:20Z
case created — The reported agent-assisted resolution of a specific decades-old problem is a concrete frontier-capability claim with clear mathematical validation criteria.