{ "schema_version": "1.0.0", "source": "vibemath", "problem_id": "vibemathed:kasami-apn-function-triple-count-conjecture", "title": "A Conjecture on Triple Counts for the Kasami APN Function", "canonical_statement": "For the Kasami APN function $F(x) = x^{4^k - 2^k + 1}$ on $\\mathrm{GF}(2^n)$ with $\\gcd(k, n) = 1$, the conjecture asserts that for $\\Delta = \\{F(b) + F(b+1) + 1\\}$ and all distinct nonzero $v_1, v_2$, the number of triples in $\\Delta^3$ with $v_1 x + v_2 y + (v_1 + v_2) z = 0$ is exactly $2^{2n-3}$. Proved for $k \\bmod n \\in \\{1, 2, n-2, n-1\\}$ and verified exhaustively for $n \\le 13$; the general case remains open.", "plain_summary": "VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.", "current_status": "partial", "solution_events": [ { "id": "vibemathed:kasami-apn-function-triple-count-conjecture:event", "problem_id": "vibemathed:kasami-apn-function-triple-count-conjecture", "type": "proved", "status": "partial", "occurred_at": "2026-08-19T00:00:00.000Z", "title": "On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for k mod n in {1,2,n-2,n-1}, and exhaustive verification for n<=13", "summary": "VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.", "ai_contribution": "ai_discovered", "attempt_ids": [ "vibemathed:kasami-apn-function-triple-count-conjecture:attempt" ], "method_family_ids": [ "vibemathed:kasami-apn-function-triple-count-conjecture:method" ], "source_assertion_ids": [ "vibemathed:kasami-apn-function-triple-count-conjecture:assertion" ] } ], "attempts": [ { "id": "vibemathed:kasami-apn-function-triple-count-conjecture:attempt", "problem_id": "vibemathed:kasami-apn-function-triple-count-conjecture", "model": "Claude Fable 5, Aristotle", "provider": "Anthropic, Harmonic", "attempted_at": "2026-08-19T00:00:00.000Z", "human_collaborators": [ "Gábor P. Nagy", "Attila Vajda" ], "exposure": "unknown", "prompt_public": null, "outcome": "The paper's statement: \"Every proof in this paper was obtained by the AI assistant Claude Fable 5 and has subsequently been formally verified in the Lean theorem prover by Aristotle (Harmonic).\" The model was prompted with the conjecture statement together with background hints and a pointer to the companion repository.", "failed_routes": [], "artifacts": [], "sources": [ { "label": "On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for k mod n in {1,2,n-2,n-1}, and exhaustive verification for n<=13", "url": "https://arxiv.org/abs/2608.18584", "kind": "primary-mathematical-source", "license": null }, { "label": "VibeMathed: A Conjecture on Triple Counts for the Kasami APN Function", "url": "https://vibemathed.com/problem/kasami-apn-function-triple-count-conjecture", "kind": "source-assertion", "license": "https://vibemathed.com/data-license" } ], "cost_usd": null, "independence": "unknown" } ], "verifications": [ { "id": "vibemathed:kasami-apn-function-triple-count-conjecture:verification", "problem_id": "vibemathed:kasami-apn-function-triple-count-conjecture", "solution_event_id": "vibemathed:kasami-apn-function-triple-count-conjecture:event", "level": "lean_checked_statement_unaudited", "mathematical_correctness": "supported", "statement_fidelity": "unaudited", "peer_review": "none", "verifier": "VibeMathed (source-reported label)", "verified_at": null, "note": "Checked by this site on 21 August 2026 against the paper (arXiv:2608.18584v1): the AI and Lean statements are verbatim as quoted. Recorded lean-checked rather than lean-verified deliberately - the companion repository is cited but its URL is not exposed in the HTML, so no artifact has been audited here for sorry or for declared axioms, and statement fidelity is unaudited. Entered as Partial on the paper's own words, \"The general case remains open\".", "sources": [ { "label": "VibeMathed: A Conjecture on Triple Counts for the Kasami APN Function", "url": "https://vibemathed.com/problem/kasami-apn-function-triple-count-conjecture", "kind": "source-assertion", "license": "https://vibemathed.com/data-license" }, { "label": "On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for k mod n in {1,2,n-2,n-1}, and exhaustive verification for n<=13", "url": "https://arxiv.org/abs/2608.18584", "kind": "primary-mathematical-source", "license": null } ] } ], "sources": [ { "label": "On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for k mod n in {1,2,n-2,n-1}, and exhaustive verification for n<=13", "url": "https://arxiv.org/abs/2608.18584", "kind": "primary-mathematical-source", "license": null }, { "label": "VibeMathed: A Conjecture on Triple Counts for the Kasami APN Function", "url": "https://vibemathed.com/problem/kasami-apn-function-triple-count-conjecture", "kind": "source-assertion", "license": "https://vibemathed.com/data-license" } ], "recommended_mode": "verify", "recommended_exposure": "result_only", "opportunity_signals": [ { "id": "vibemathed:kasami-apn-function-triple-count-conjecture:signal:recent_partial_result", "problem_id": "vibemathed:kasami-apn-function-triple-count-conjecture", "kind": "recent_partial_result", "reason": "A source-reported partial result may support bounded expansion.", "generated_at": "2026-09-13T16:28:40.178Z" } ], "uncertainties": [ "VibeMath has not independently verified the mathematical claim.", "AI-attempt independence and training-data exposure are unknown unless explicitly documented.", "VibeMath has not independently audited the mathematical statement, proof, or novelty claim." ], "generated_at": "2026-09-13T16:28:40.178Z" }