G6 LLC · Newark, New Jersey
G6 is an independent research company. It prepares federal research proposals, builds quantitative analyses that someone else can re-run, and formalises mathematical results in a proof assistant.
Every claim carries its evidentiary status. A figure is labelled by how it was established before anyone relies on it.
Roles G6 expects it may need if a proposal is funded:
G6 has no open positions and is not recruiting now. Any role depends on funding that does not exist yet; it would be announced here only after an award, with terms agreed in writing before work starts. Nothing on this page is an offer of work, pay, or credit.
If you are a domain scientist who wants to be considered as a named partner on a future proposal, write to the address below. No reply or commitment is promised.
Scientific and technical narratives, budgets, data management plans, and the compliance work that decides whether a proposal is reviewed at all: page and typography limits measured from the rendered file, dual-anonymous redaction verified by scan rather than by assertion, generative-AI disclosure, and reconciliation of every submitted figure against the form it was entered on.
For small businesses and independent investigators pursuing NASA, NIH and NSF awards.
Analyses in Python against public scientific archives, written so that each number traces to the file and the line of code that produced it. Results are validated against independently computed bounds instead of a single run, and corrections are logged with their dates rather than quietly absorbed.
For organisations whose numbers will be contested, audited, or cited.
Mathematical results stated as machine-checkable theorems, with the unproved assumptions enumerated rather than left implicit. A proof either compiles or it does not, which makes the result checkable by a third party who trusts neither the author nor the prose.
For work where a derivation has to be defensible to someone adversarial.
Computed here, with the script and input named.
Quoted from a source that was opened, with the citation.
A choice, stated as a choice, with its reason.
Not established. Left unknown rather than filled in.
These four labels are attached to every quantity in a G6 deliverable. A number whose basis cannot be confirmed is reported as unconfirmed, including when the document is already signed and the convenient thing would be silence.
A first proposal was submitted to NASA in October 2026 under dual-anonymous review, and further submissions are in preparation. Topics are not described here while review is open.
Machine-checked results and results left explicitly unproved are listed separately in the public repositories, so the gaps are visible next to the proofs.
A mathematical framework published as an open series, with the formalisation held in public repositories alongside it.
A small Monte Carlo of molecules confined in a channel, checked against exact enumeration. A method check, not a zeolite calculation.
Pablo Nogueira Grossi is the founder and sole member of G6 LLC.
He holds a B.B.A. in Finance and a B.A. in Economics from Baruch College, CUNY, and is pursuing an M.S. in Computer Science. Before founding G6 he spent eleven years at Banco do Brasil in Brasília and New York, where he reviewed stress-testing reports for management and ran the New York branch during a leadership transition, and three years at JPMorgan Chase in relationship management and securities finance. The habit the earlier career left behind is the one the current work runs on: document the basis for a decision well enough that it survives being questioned.
G6 LLC does not provide investment advice, legal advice, accounting services, or tax advice.