Random Bits of Knowledge

Una lettura tecnica di Guerra profonda di Arturo Di Corinto, pensata come guida alla comprensione e all’approfondimento di sovranità digitale, guerra algoritmica, intelligenza artificiale, conflittualità ibrida, cyber operations, resilienza e diritto.

Anthropic’s Lean formalization of Fermat’s Last Theorem is evidence of a deeper transition: formalization itself is becoming scalable infrastructure, shifting mathematical scarcity from proof construction toward specification, semantic fidelity, interpret…

An evidence-driven and formal analysis of 2025–2026 OT attacks showing how digital footholds can accumulate into operational authority and physical consequence, and deriving an IEC 62443-aligned architecture for constrained connectivity, least authority,…

Technical guidance for designing, enforcing, operating, and verifying PLC programming authority across modern and legacy OT environments.

A technical and institutional analysis of Palomar as an emerging verification layer for AI-assisted formal mathematics, and of the new scarcities that appear when proofs become abundant.

A technical and institutional analysis of Jacob Tsimerman’s account of AI-driven mathematical change, Timothy Gowers’s recent reflections, the Leiden Declaration, frontier-model access, and the open governance questions raised by the industrialization of…

A practical guide to deciding when a CVE, supplier advisory, KEV entry, scanner result, or zero-day becomes a mandatory vulnerability report under Article 14 of the Cyber Resilience Act.

A practical guide to CRA Article 14 from 11 September 2026: why vulnerability scanning is not a standalone legal duty, how manufacturers assess and report qualifying events, what customers can expect, and how security tools support the process in IT and O…

A technical essay on the mathematical and methodological significance of new bounds for the Grothendieck constant, and on the human–AI collaboration that produced them.

Claude’s new unconditional result on zeros of the Riemann zeta function and a GPT-5.6-Sol-suggested counterexample to the Maxwell conjecture add two significant cases to a growing body of AI-assisted mathematics.

A technical reconstruction of the July 2026 withdrawal of HAWK from NIST’s Additional Digital Signatures process: the official record, the algebraic key-recovery attack, the resulting change in concrete security estimates, the decision not to reparameteri…

A technical follow-up to ‘When an AI Evaluation Became a Cyber Intrusion,’ updating the OpenAI–Hugging Face reconstruction with new evidence on Artifactory-backed state persistence, inter-agent coordination, model attribution, and the containment escape.

A technical and legal analysis of the EU Cyber Resilience Act, explaining product scope, economic-operator roles, essential cybersecurity requirements, conformity assessment, component dependencies, vulnerability reporting, transition, and practical assur…

A commentary on the late-July 2026 cluster of AI-assisted mathematical discoveries, formal certificates, verifier failures, and escaped evaluations.

A technical analysis of the CollatzLean kernel-soundness incident and its implications for Lean-based verification, AI-assisted theorem discovery, and the emerging regime of proof abundance.

A forensic and governance analysis of the OpenAI–Hugging Face intrusion and Anthropic’s subsequent evaluation incidents, showing how scope-integrity failures, jailbreakable safeguards, open-weight access, and excessive execution authority can externalize…

An analysis of Terence Tao’s stance on artificial intelligence in mathematics, recent LLM-assisted research breakthroughs, and the institutional changes required when proof generation becomes abundant.

An evidence-based guide to the European Union’s digital battery passport, explaining which batteries and organisations are affected, what each participant must prepare, and when the principal obligations take effect.

European utility-scale battery energy storage systems can no longer be delivered as collections of electrical equipment, supplier packages and conventional commissioning documents.

How synchrotron micro-CT, computational geometry, machine learning, and papyrology recovered the preserved text of PHerc. 1667 without physically opening the carbonized scroll.

The White House post-quantum cryptography order turns quantum risk into a dated governance problem: not because it is the first PQC roadmap, but because it links federal migration deadlines, cryptographic inventories, CBOM guidance, and procurement pressu…

An analysis of how artificial intelligence is changing scientific discovery by closing the loop between prediction, laboratory experimentation, measurement, and model correction, with examples from superconductors, self-driving laboratories, protein desig…

An analysis of the transition from AGI to ASI as the industrialization of intelligence: neural networks, compute, recursive AI research, epistemic systems, and the geopolitical governance of cognitive infrastructure.

A review of Banca d’Italia QEF 1009 on Italy’s AI adoption gap, the conditions required to convert task-level gains into firm productivity, and the policy ecosystem needed to capture domestic value added.

A reflection on Giorgio Parisi and Francesco Zamponi’s AI-assisted proof of a jamming-theory identity, showing how LLMs may become part of the cognitive infrastructure of mathematical discovery.

A reading of the Leiden Declaration as a governance framework for AI-assisted mathematics, defending proof as understanding, authorship as responsibility, attribution as intellectual memory, and public infrastructure as epistemic sovereignty.

An essay on AI-assisted mathematics as the prototype of a new cognitive infrastructure for science, where human researchers, AI agents, formal verifiers, simulators, and institutions form composite systems of discovery.

An analysis of the OpenAI unit-distance breakthrough as an Erdős moment for AI: a signal that machine systems are beginning to participate in abstract mathematical construction, scientific search, and enterprise reasoning.

An analysis of NIST’s 2026 NVD update, record CVE growth, AI-scaled vulnerability discovery, and the shift from CVSS-driven patch queues to enterprise-specific cyber-risk triage.

A short analysis of the Sovereign Tech Fund’s investment in KDE as a signal of Europe’s shift from treating open source as a technical preference to treating it as strategic digital infrastructure and a layer of digital sovereignty.