---
title: "Vaibhav Tekam (@vaibhav-tech4biz) | Hashnode"
description: "Engineering complex systems. Read the latest articles by Vaibhav Tekam on Hashnode."
url: "https://hashnode.com/@vaibhav-tech4biz"
---

@vaibhav-tech4biz

# Vaibhav Tekam

@vaibhav-tech4biz · Bangalore, India · Joined July 2026

Engineering complex systems.

### [How do we know OpenAI's Astra math proofs are real?](https://tech4biz-solutions.hashnode.dev/how-do-we-know-openai-s-astra-math-proofs-are-real?utm_source=hashnode&utm_medium=feed)

A Lean certificate does and does not prove certain things. Here is exactly which.

7 min read · [tech4biz-solutions.hashnode.dev](https://tech4biz-solutions.hashnode.dev/how-do-we-know-openai-s-astra-math-proofs-are-real?utm_source=hashnode&utm_medium=feed)

[Aug 6](https://hashnode.com/posts/how-do-we-know-openai-s-astra-math-proofs-are-real/6a74d0553a5c948a21c2c516)

### [Who verifies the verifier, and why AI eventually needs a floor it cannot argue with](https://tech4biz-solutions.hashnode.dev/who-verifies-the-verifier?utm_source=hashnode&utm_medium=feed)

As of 2026 the research says a judge model can be perfectly consistent and still biased. That is why the regress has to bottom out in something deterministic.

7 min read · [tech4biz-solutions.hashnode.dev](https://tech4biz-solutions.hashnode.dev/who-verifies-the-verifier?utm_source=hashnode&utm_medium=feed)

[1](https://hashnode.com/posts/who-verifies-the-verifier/6a7066055ada227182b679de) [Aug 3](https://hashnode.com/posts/who-verifies-the-verifier/6a7066055ada227182b679de)

### [Add More Error Correction to a Quantum Computer and It Can Get Worse, Not Better.](https://tech4biz-solutions.hashnode.dev/quantum-error-correction-overhead-threshold?utm_source=hashnode&utm_medium=feed)

Here's the Formula That Tells You Which Side of the Line You're On.

8 min read · [tech4biz-solutions.hashnode.dev](https://tech4biz-solutions.hashnode.dev/quantum-error-correction-overhead-threshold?utm_source=hashnode&utm_medium=feed)

[Jul 16](https://hashnode.com/posts/quantum-error-correction-overhead-threshold/6a591cba777134b250b178eb)

### [Ask Your AI Agent the Same Question Twice. If the Answers Differ, No Amount of Fine-Tuning Fixes That.](https://tech4biz-solutions.hashnode.dev/ask-your-ai-agent-the-same-question-twice-if-the-answers-differ-no-amount-of-fine-tuning-fixes-that?utm_source=hashnode&utm_medium=feed)

A model sampling from a distribution can't provide a guarantee, at any accuracy. We built the gate that proves instead of guessing.

6 min read · [tech4biz-solutions.hashnode.dev](https://tech4biz-solutions.hashnode.dev/ask-your-ai-agent-the-same-question-twice-if-the-answers-differ-no-amount-of-fine-tuning-fixes-that?utm_source=hashnode&utm_medium=feed)

[Jul 15](https://hashnode.com/posts/ask-your-ai-agent-the-same-question-twice-if-the-answers-differ-no-amount-of-fine-tuning-fixes-that/6a581c43cd827788e1d95157)

### [AI Can Migrate Your COBOL to Java. It Can't Prove It Didn't Break Anything. We Built the Part That Does.](https://tech4biz-solutions.hashnode.dev/ai-can-migrate-your-cobol-to-java-it-can-t-prove-it-didn-t-break-anything-we-built-the-part-that-does?utm_source=hashnode&utm_medium=feed)

AI can migrate COBOL to Java fast. Proving it preserved the business logic is the hard part. The verifier we built, and the 412 mismatches it caught.

8 min read · [tech4biz-solutions.hashnode.dev](https://tech4biz-solutions.hashnode.dev/ai-can-migrate-your-cobol-to-java-it-can-t-prove-it-didn-t-break-anything-we-built-the-part-that-does?utm_source=hashnode&utm_medium=feed)

[Jul 14](https://hashnode.com/posts/ai-can-migrate-your-cobol-to-java-it-can-t-prove-it-didn-t-break-anything-we-built-the-part-that-does/6a5633f3ce887fd0cf2d3547)