pith. sign in

USPTO: us-12648548 · published 2026-06-09 · patents · A01K 67/0275· A01K 2217/206· A01K 2227/108

Multitransgenic pigs comprising ten genetic modifications for xenotransplantation

Pith reviewed 2026-06-10 15:01 UTC · model grok-4.3

classification patents A01K 67/0275A01K 2217/206A01K 2227/108
keywords transgenic pigsxenotransplantationgenetic modificationspolycistronic vectoralpha 1,3 galactosyltransferaseCMAHB4GalNT2GHR
0
0 comments X

The pith

Transgenic pigs combine ten genetic modifications to reduce rejection in xenotransplantation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The patent claims creation of transgenic pigs that lack functional alpha 1,3 galactosyltransferase, carry a knockout in CMAH, B4GalNT2, GHR or a combination, and express at least six transgenes from a polycistronic vector at one genomic locus. These edits target the primary immune barriers that cause rapid rejection when pig organs are placed in humans. A reader would care because the single-locus placement of multiple transgenes alongside the knockouts could produce stable donor animals whose tissues are less likely to trigger hyperacute or acute rejection. The configuration addresses multiple rejection pathways at once rather than requiring separate breeding lines for each change.

Core claim

The paper claims a transgenic porcine animal with genetic modifications that result in the lack of expression of functional alpha 1,3 galactosyltransferase, a knockout of a gene selected from CMAH, B4GalNT2, GHR or combinations thereof, and incorporation and expression at a single genomic locus of at least six transgenes encoded by a polycistronic vector comprising SEQ ID NO: 12.

What carries the argument

A polycistronic vector comprising SEQ ID NO: 12 that encodes and allows simultaneous expression of at least six transgenes inserted at one genomic locus in the pig.

If this is right

  • Viable pigs can be generated that stably carry all modifications across generations.
  • The animals exhibit reduced hyperacute and other rejection responses suitable for xenotransplantation.
  • Single-locus integration simplifies breeding and maintenance of the donor line.
  • Organs and tissues from these pigs become candidates for human transplantation with lower immune barriers.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach of stacking knockouts and multiple transgenes in one animal may need testing for unintended developmental or health effects in the pigs themselves.
  • Similar polycistronic strategies could be adapted to engineer other livestock species for biomedical uses.
  • Consistent performance of the modifications would need verification across multiple independent pig lines before clinical translation.
  • The combination targets several rejection pathways at once, which could reduce the need for heavy immunosuppression in eventual human recipients.

Load-bearing premise

The listed genetic modifications can be introduced simultaneously into pigs to produce viable animals that achieve the intended reduction in xenogeneic rejection without requiring additional unstated modifications.

What would settle it

No viable piglets are born that carry the full set of modifications, or organs from such pigs trigger rapid rejection when transplanted into a primate recipient.

read the original abstract

1 . A transgenic porcine animal comprising genetic modifications that result in: (i) the lack of expression of functional alpha 1,3 galactosyltransferase; (ii) a knockout of a gene selected from the group consisting of CMAH, B4GalNT2, growth hormone receptor (GHR), and a combination thereof; and (iii) incorporation and expression at a single genomic locus of at least six transgenes encoded by a polycistronic vector, wherein the polycistronic vector comprises SEQ ID NO: 12.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript claims a transgenic porcine animal with ten genetic modifications for xenotransplantation: lack of functional alpha 1,3 galactosyltransferase expression, knockout of a gene from the group CMAH, B4GalNT2, GHR or combinations thereof, and incorporation plus expression of at least six transgenes from a polycistronic vector (SEQ ID NO: 12) at a single genomic locus.

Significance. If the claimed animal exists, is viable, and the modifications demonstrably reduce rejection without compensatory changes, the single-locus polycistronic approach would represent a technical advance over multi-locus editing strategies in prior xenotransplantation work.

major comments (1)
  1. [Claim 1] Claim 1 (and the abstract): the central claim asserts the existence of a viable animal carrying all ten modifications simultaneously but supplies no experimental data, methods, sequence verification, viability results, or rejection assays. This is load-bearing because the weakest assumption—that the listed edits can be introduced together without embryonic lethality, silencing, or unstated compensatory changes—remains untested in the document.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for their review of our patent disclosure. We address the major comment below.

read point-by-point responses
  1. Referee: Claim 1 (and the abstract): the central claim asserts the existence of a viable animal carrying all ten modifications simultaneously but supplies no experimental data, methods, sequence verification, viability results, or rejection assays. This is load-bearing because the weakest assumption—that the listed edits can be introduced together without embryonic lethality, silencing, or unstated compensatory changes—remains untested in the document.

    Authors: We acknowledge that the document is a patent specification and does not include experimental data, methods details, sequence verification, viability results, or rejection assays. The claim defines a transgenic porcine animal by its genetic features: lack of functional alpha-1,3-galactosyltransferase, knockout of a gene from the group CMAH, B4GalNT2, GHR or combinations thereof, and at least six transgenes from the polycistronic vector comprising SEQ ID NO: 12 integrated at a single locus. The claim does not assert that any particular animal has been produced or tested; it claims the composition of matter enabled by the described vector and standard knockout techniques. The single-locus polycistronic approach is presented as the technical contribution relative to multi-locus strategies. We do not agree that additional data is required to support the claim as drafted for patent purposes, and no revision to the claim language is planned. revision: no

standing simulated objections not resolved
  • The manuscript provides no experimental data, methods, sequence verification, viability results, or rejection assays for the claimed animal.

Circularity Check

0 steps flagged

No circularity: patent is a construction claim with no derivation chain

full rationale

The document is a U.S. patent claiming a transgenic porcine animal defined by a specific set of genetic modifications (GGTA1 KO, additional KO from CMAH/B4GalNT2/GHR, and polycistronic insertion of SEQ ID NO:12 at one locus). It contains no equations, no fitted parameters, no predictions, and no derivation steps. The abstract and claim 1 simply enumerate the required modifications as the invention itself. No self-citation, ansatz, or uniqueness theorem is invoked to support a result; the text is a product claim rather than an inference from inputs. This matches the default non-finding case for documents lacking any derivational structure.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No mathematical model, data fitting, or new physical entities are introduced. The claim rests on standard genetic-engineering techniques and the unproven assumption that the listed modifications are sufficient and compatible in vivo.

pith-pipeline@v0.9.1-grok · 5646 in / 1093 out tokens · 47097 ms · 2026-06-10T15:01:14.042089+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    A transgenic porcine animal comprising genetic modifications that result in: (i) the lack of expression of functional alpha 1,3 galactosyltransferase; (ii) a knockout of a gene selected from CMAH, B4GalNT2, GHR...; and (iii) incorporation... of at least six transgenes encoded by a polycistronic vector, wherein the polycistronic vector comprises SEQ ID NO: 12.

  • IndisputableMonolith/Foundation/DimensionForcing.lean dimension_forced unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    The patent asserts a transgenic pig with exactly these modifications at a single locus but supplies no data, methods, or results on construct delivery, editing efficiency, animal viability, or rejection reduction.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.