New Method Uncovers Hidden Math-Reasoning Capabilities in LLMs

Luca Zhou, Sajel Shah, Emanuele Rodol\`a, Roberto Dess\`i· June 19, 2026 View original

Summary

This research reveals a "blind spot" in standard pass@k evaluation for math reasoning in large language models, where many problems deemed unsolvable by sampling can be solved using a deterministic approach combining greedy decoding with activation grafting. The findings suggest that some difficult math problems are merely "unreached" by typical inference methods rather than inherently too hard for the model.

Current methods for evaluating the mathematical reasoning abilities of large language models, particularly the common "pass@k" metric which relies on multiple sampling attempts, may be underestimating their true capabilities. Researchers have identified a significant "blind spot" where problems are incorrectly classified as too difficult for the model to solve. A new diagnostic approach, which combines greedy decoding with targeted internal model perturbations via activation grafting, demonstrated that a substantial percentage of these previously "unsolvable" math problems could actually be solved. This suggests that the models possess the underlying knowledge to tackle these challenges, but standard sampling techniques fail to access it. The study highlights that these difficult problems are structurally identifiable within the model's internal representations, indicating that improved inference strategies could unlock latent reasoning potential.

Why it matters

This research is crucial for professionals developing and deploying LLMs, as it suggests that current evaluation metrics might be misrepresenting model capabilities, leading to suboptimal performance in critical applications requiring robust mathematical reasoning. Understanding these "blind spots" can lead to more effective model training, evaluation, and deployment strategies.

How to implement this in your domain

  1. 1Re-evaluate existing LLM benchmarks for math and science reasoning using diverse inference strategies beyond simple pass@k.
  2. 2Investigate integrating diagnostic techniques like activation grafting into model development workflows to uncover latent capabilities.
  3. 3Develop more sophisticated decoding and inference methods that can deterministically access difficult problem solutions.
  4. 4Refine data curation and synthetic curriculum generation processes to account for problems that are "unreached" rather than truly "hard."

Who benefits

AI EngineeringEdTechScientific ResearchSoftware Development

Key takeaways

  • Standard LLM math reasoning evaluations may underestimate model capabilities due to sampling blind spots.
  • Deterministic inference methods can solve problems missed by multiple sampling attempts.
  • Activation grafting serves as a diagnostic tool to reveal latent problem-solving abilities.
  • Improving inference strategies is key to unlocking full LLM potential in complex reasoning tasks.

Original post by Luca Zhou, Sajel Shah, Emanuele Rodol\`a, Roberto Dess\`i

"arXiv:2606.19636v1 Announce Type: new Abstract: Math and science reasoning benchmarks rely on pass@k, the fraction of sampled chains that reach gold, as the canonical per-example difficulty signal. The same signal drives RL with verifiable rewards, math data curation, synthetic c…"

View on X

Originally posted by Luca Zhou, Sajel Shah, Emanuele Rodol\`a, Roberto Dess\`i on X · view source

Want to go deeper?

Turn these trends into skills with Learnijoy's hands-on AI & tech courses.

Explore courses