Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
The conversation about artificial intelligence has narrowed to two competing bets about how human-level capability is built. The first, held by the major frontier labs, is that scaling neural networks produces general intelligence as an emergent property. The second, held by a smaller community in the cognitive-science lineage, is that intelligence requires explicit cognitive architecture. Both bets are unresolved, and both engage centrally with whether sufficiently capable AI systems can be produced. This paper argues that a third bet sits beneath both, addresses a question neither engages with directly, and is independently worth making: software construction is fundamentally the transformation of semantic representations into one another, and the substrate that supports those transformations determines what AI assistance can do. The current substrate for AI-assisted construction — source code in text files, semantic structures in developers' heads, prose documentation that no toolchain can verify — places a ceiling on what AI assistance can achieve no matter how capable the underlying language models become. We describe a substrate that addresses this gap: a self-defining specification language, a compiler-compiler that produces parsers and serializers in four target languages, a canonical binary form with round-trip closure as structural-correctness oracle, and first-class isomorphic mappings between representations. The implementation backing for this architectural model is established in [2]; the present paper articulates the position-level implications, summarizes empirical results on construction of approximately twenty-six sibling repositories over twelve weeks of focused work, describes the *Adaptive Programming* methodology that emerges when AI assistance operates at the specification layer, and considers two application domains — cross-language source translation and ontology-based knowledge extraction — where the substrate reframes problems current tooling addresses poorly. The third bet's position is intentionally narrow: not a path to general intelligence, not a theory of cognition, but a class of substrate that makes AI-assisted specification-layer construction tractable in ways code-layer assistance alone cannot reach.
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
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6
The application of agile software methods and more recently the integration of Lean practices contribute to the trend of continuous improvement in the software industry. One such area warranting proper empirical evidence is a project’s operational efficiency when using the Kanban method. This short paper takes a new angle and explores waste in the Kanban-driven software development project context. A preliminary research model is presented for helping the consequent replication of the study. The results from the empirical analysis suggest Kanban can be an effective method in visualizing and organizing the current work, but does not prevent waste from creeping in, although the overall project outcome may be successful.
Marko Ikonen, Petri Kettunen, Nilay V. Oza et al.· EUROMICRO Conference on Soft...· 67 citations· ⚡9
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduSep 14, 2026
The “HardFlow” algorithm could help generative AI models produce high-quality outputs that obey strict requirements when “pretty close” doesn’t cut it.
AI may appear weightless, but every model depends on physical infrastructure. To understand responsible AI, we need to look beyond algorithms and consider the entire lifecycle of the hardware behind them. The post Responsible AI Must Consider Its Afterlife appeared first on GPT-Lab.