Aug 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
Large language models are increasingly asked to perform tasks made of several dependent steps (multi-digit arithmetic, multi-step planning, rule-following, program synthesis) where the final answer is correct only if every one of those steps is correct; a single mistake anywhere invalidates the whole output. This paper shows that, on such tasks, three problems the field usually treats as separate and separately fixable (accuracy falling as tasks get longer, confidence scores becoming meaningless exactly when they are most needed, and the cost of obtaining a correct answer exploding) are in fact one and the same event, governed by a single quantity. That event is not a temporary shortcoming that more training will remove: it is a structural consequence of how these models compute, and it sets a hard, predictable limit on how far they can be trusted on deep, multi-step work. Formally, end-to-end accuracy declines geometrically with the number of dependent steps, because every added step multiplies the chance of a fully correct answer by the same fixed factor below one, so useful performance necessarily ends at a finite critical depth, beyond which accuracy, the trustworthiness of any confidence score, and the cost per correct answer all collapse together. The practical implication is that certifiable compositional reasoning is not a target that scaling today’s architectures will eventually reach: it requires moving to computation that is genuinely serial and exact, not a larger version of the same parallel one.
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
The results indicate that software developers are a slightly happy population, but the need for limiting the unhappiness of developers remains, and 219 factors representing causes of unhappiness while developing software are identified.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· International Conference on...· 84 citations· ⚡6
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 18, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.