The Independent AI4S Verification of Zhongheng Yu’s MonographAI4OrgChem is an AI for Science (AI4S) Agent for independent computational reconstruction and evidence assessment of counter-traditional propositions in organic structure theory. The project was motivated by Zhong-Heng Yu’s monograph, Questioning Fundamental Principles of Organic Chemistry (https://doi.org/10.6084/m9.figshare.27261243), and was implemented without using the monograph’s program code.The project converts fourteen major propositions into falsifiable computational tasks with defined molecular systems, electronic states, comparison quantities, sign conventions, numerical outputs, and scope boundaries. Quantum-chemical calculations, published-value reanalysis, graph checks, and literature evidence are kept distinct. AI is used for protocol management, evidence tracing, bounded molecular learning, active sampling, symbolic testing, and source-aware explanation; AI model predictions do not replace electronic-structure results or determine scientific signs.In release v0.3.2, all fourteen proposition-level determinations are consistent with the corresponding monograph propositions, while their evidence types and status remain separately reported.Representative results include: 11/11 technically valid LFMO π–π endpoints in the destabilizing direction; GL-defined butadiene conjugation energy +1.575676 kcal/mol; cyclobutadiene ADE +53.822467 kcal/mol; benzene ESE −37.412764 kcal/mol (monograph: −36.3 kcal/mol); and strained-aromatic C12H6 endpoint values of +67.086899 kcal/mol (fixed-geometry anchor) and +67.679719 kcal/mol (qualified production optimization).These results support a bounded methodological conclusion: several textbook heuristics do not automatically provide universally sufficient mechanistic explanations. They do not establish that traditional organic chemistry is globally wrong, nor do they establish a universal opposite law of conjugative destabilization or constitute institutional certification of the monograph.The associated manuscript has not yet undergone peer review. Some historical coordinates and software were unavailable; affected results are identified as source-proxy rather than identity reproductions. AI model outputs are engineering evidence, not independent proof of the scientific propositions. Project-authored software and documentation are released under the Apache License 2.0.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.
O. Salo, P. Abrahamsson· IET Software· 238 citations· ⚡9
Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.
D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al.· Journal of Systems and Softw...· 236 citations· ⚡13
The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.
P. Abrahamsson, Antti Hanhineva, H. Hulkko et al.· Conference on Object-Oriente...· 225 citations· ⚡18
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 22, 2026
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026