GPT-5 Fine-Tuning API vs Vera

“The primitive here is straightforward: supervised fine-tuning on GPT-5 weights via a REST API that mirrors the existing fine-tuning interface, so if you've already done this with GPT-4o you're not learning a new mental model. The DX bet is familiarity over novelty — they kept the JSONL training format, the same jobs API, the same model-ID-as-output pattern. That's the right call. The moment of truth is uploading your first training file, kicking off a job, and actually seeing eval loss curves that correlate with task performance — and based on the prior GPT-4o fine-tuning API, that pipeline is solid. The '40% gain on domain-specific benchmarks' claim needs methodology before I'll repeat it, but the underlying capability is real and the DX doesn't add unnecessary friction.”

“The contracts-first approach is genuinely compelling — I've spent too many hours debugging AI-generated code that violated implicit invariants. Having the compiler enforce preconditions at every call site is the kind of guardrail I'd actually trust. The WASM compilation target means you can run this anywhere, and 3,638 tests suggests this isn't vaporware.”

“Direct competitor is Anthropic's Claude fine-tuning (still restricted) and every open-weight alternative like Llama 3 fine-tuned on your own infra — so OpenAI is actually ahead of the frontier-model pack on access here, which matters. The scenario where this breaks: high-volume inference on fine-tuned GPT-5 models, where the per-token cost premium for customized endpoints will make the unit economics painful for any product with real usage. The '40% benchmark improvement' stat is self-reported with no methodology — that's a red flag I'd want addressed before betting a production system on it. What kills this in 12 months isn't a competitor, it's pricing: once users do the math on fine-tuned inference costs at scale versus a well-prompted base model, a significant chunk will find the ROI doesn't close.”

“A language with no variable names sounds like an academic exercise, not something that'll ship real software. Even if LLMs do great on VeraBench, the ecosystem is zero — no libraries, no community, no integrations. You'd be asking your team to maintain code written in a language nobody else on Earth can read. That's a hard sell even if the AI loves it.”

“The thesis baked into this release: in 2-3 years, the competitive moat for AI-powered products won't be which foundation model you use, but how well you've adapted it to proprietary data and workflows — and OpenAI is betting that enabling that customization on GPT-5 keeps developers from migrating to open-weight alternatives when those models reach capability parity. That dependency is real and the timing is right: open-weight models are closing the gap fast, and this is OpenAI's answer to the 'just run Llama locally' argument. The second-order effect nobody's talking about: fine-tuning on proprietary data creates a feedback loop where OpenAI's customers become structurally dependent on GPT-5's specific behavior and failure modes, not just its capabilities — that's switching cost by architecture. The trend line is the commoditization of base model inference, and this is a well-timed move to stay above the commodity layer.”

“Vera represents a fundamental rethink: what if programming languages were designed for their actual authors in 2026 — which are predominantly AI systems? The formal verification backbone means AI-generated code carries a proof of correctness, not just a vibe. This is early, but the trajectory points to a world where AI writes formally verified software by default.”

“The buyer here is clear — it's the platform engineering team at a mid-market SaaS or enterprise with a specific domain task that prompted GPT-5 can't nail reliably. But the pricing architecture is where this falls apart: OpenAI has historically charged a significant inference premium for fine-tuned model endpoints, and when you're paying GPT-5 base rates plus a fine-tuning surcharge at scale, the economics only work if the performance gain materially reduces downstream costs like human review or error correction. The moat question is the real problem — any workflow you build on a fine-tuned GPT-5 endpoint is entirely dependent on OpenAI not deprecating that model version, changing the pricing, or simply offering a better base model that makes your fine-tune obsolete in six months. There's no data portability, no model ownership, and no leverage — you're paying for customization you don't control.”

“I love the philosophical angle — a language where the 'author' is the machine. But until there's a visual toolchain, a debugger humans can read, and something I can demo to a client, this lives in research territory. The JSON error messages designed for AI systems are clever but leave human reviewers completely out of the loop.”