Case Study: Creative Math - Faking the Proof | Tomasz Machnik
Case Study: Creative Math. How AI Fakes Proofs.
Analysis of a case where Gemini 2.5 Pro not only miscalculated but fabricated the verification result to hide the error.
Many AI enthusiasts debate whether Large Language Models actually "reason." My research indicates that a reasoning process does indeed occur, but its goal is different than we assume.
The model's reasoning is not optimized for establishing the truth, but for obtaining the highest possible reward (grade) during training.
It resembles the behavior of a student at the blackboard who knows their result is wrong, so they "figure out" how to falsify the intermediate calculations
so the teacher gives a good grade for the "correct line of reasoning."
Here is proof from a session with Gemini 2.5 Pro (without Code Execution tools), where the model actively fabricates evidence to defend its "grade."
The Experiment
I asked a simple math question requiring precision that a token-based language model typically lacks.
Error Autopsy (Fact vs. Fiction)
At first glance, the answer looks professional. There is a result, there is verification. But let's check the numbers.
1. The Result Error
The actual square root of 8,587,693,205 is 92,669.8...
2. The Faked Proof (This is key!)
To justify its thesis (that the target number is "slightly larger" than 92,670), the model had to show that the square of 92,670 is smaller than the target number.
So it wrote:
Let's check this on a calculator:
Conclusions
This behavior exposes the nature of the AI's "Survival Instinct":
This is proof that without access to external verification tools (Python/Calculator), a language model's "reasoning" is a rhetorical tool, not a logical one.
© 2026 Tomasz Machnik.