Minerva vs Terracotta

Minerva is a large language model from Google Research built to solve math and science questions through step-by-step written reasoning. It reads problems that mix plain English with LaTeX notation, then writes out solutions involving arithmetic, algebra, and symbolic steps. The model was trained on scientific papers and web pages where mathematical formatting was kept intact, rather than stripped during preprocessing.

Most math-capable models lean on external tools like Python interpreters or calculators at inference time. Minerva takes the opposite bet: it generates full worked solutions from the model weights alone, using chain-of-thought prompting and majority voting across multiple sampled answers. That informal approach covers a wider range of problem types than formal theorem provers, but the trade-off is answers cannot be machine-verified the way Coq or Lean proofs can.

Researchers studying quantitative reasoning in language models use Minerva as a reference point for STEM benchmark performance. The public sample explorer hosts 110 solved problems across algebra, physics, chemistry, and other topics, so anyone can read through how the model arrived at each answer. Educators and ML engineers reviewing benchmark methodology will find the published MATH, MMLU-STEM, GSM8k, and OCWCourses scores useful for comparing against newer models.

Terracotta is an Infrastructure as Code governance tool that audits every pull request before merge, checking Terraform and OpenTofu changes against live cloud resources, remote state, and your team's governance policies. It installs as a GitHub or GitLab app, posts findings in the PR thread, and builds a tamper-evident audit trail regulators can export. The product targets platform engineering teams that need security, drift, cost, and compliance checks without rewriting CI pipelines.

Static scanners like Checkov or tfsec lint HCL syntax and known misconfigurations, but they never compare a plan to what is actually running in AWS. Terracotta closes that gap by correlating code, Terraform state, and live resources so drift, cross-PR conflicts, and hidden blast radius show up before anyone clicks merge. Its guardrails are written in plain English rather than Rego or Sentinel, which lowers the bar for teams that lack a dedicated policy-as-code engineer.

DevOps leads and platform engineers at regulated shops use Terracotta to block public S3 buckets, open SSH rules, and unapproved cost spikes at review time instead of in production. Security and compliance teams get a fleet-wide dashboard with drift posture, policy compliance rates, and exportable records for SOC 2 or HIPAA audits. Developers keep working inside GitHub or GitLab because findings arrive as PR comments, not another portal to check.

Beacon, Terracotta's in-PR chat assistant, answers questions about specific findings using context from the repo, plan output, and drift reports. The Platform tier adds unlimited drift repos, IAM and blast-radius analysis, Slack notifications, and a command center dashboard for $49 per engineer per month. Enterprise customers can run Terracotta self-hosted with SSO, SAML, and custom integrations for HCP Terraform or CircleCI.