Series – Random Bits of Knowledge

AI and the transformation of mathematics

Last updated 2026-09-19 · 10 articles

AI Agents Are Solving Open Problems and Changing What Mathematics Is For

Navier–Stokes, machine-scale mathematical search, and the changing meaning of mathematical progress

machine learning

A technical and institutional analysis of the 2026 Navier–Stokes breakthrough, the rise of multi-agent mathematical discovery, and the transition from proof scarcity to search abundance, with consequences for verification, provenance, attribution, research incentives, and mathematical judgment.

Antonio Montano

Modified	Sep 19, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert
Difficulty	advanced

When Formalization Became Industrial

Fermat’s Last Theorem, Prove2Me, and the transition from proof abundance to formalization abundance

machine learning

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, interpretation, curation, and governance.

Antonio Montano

Modified	Sep 6, 2026
Keywords
Audiences	practitioner, researcher, subject-matter-expert, technical specialist
Difficulty	intermediate

After Proof Abundance: Palomar and the New Infrastructure of Mathematical Trust

Formal verification, provenance, semantic fidelity, and institutional governance in machine-scale mathematics

machine learning

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.

Antonio Montano

Modified	Aug 23, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate

The Industrialization of Mathematical Intelligence: Beyond Proof Abundance to Open Questions of Governance

Jacob Tsimerman, Timothy Gowers, and the changing roles of human judgment, agency, and mathematical culture

machine learning

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 mathematical intelligence.

Antonio Montano

Modified	Aug 19, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate

When AI Failure Became a Theorem: What the Grothendieck Constant Breakthrough Reveals About Human–AI Mathematical Collaboration

How a long-horizon research system, human judgement, and rigorous verification turned a stalled search into new bounds for one of mathematics’ most elusive constants

machine learning

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.

Antonio Montano

Modified	Aug 15, 2026
Keywords
Audiences	practitioner, researcher, subject-matter-expert, technical specialist
Difficulty	advanced

AI Mathematics Crosses the Systems Boundary

A technical commentary on proof abundance, research agents, and the infrastructure now inside the experiment

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

Antonio Montano

Modified	Aug 2, 2026
Keywords
Audiences	practitioner, researcher, subject-matter-expert, technical specialist
Difficulty	advanced

When the Proof Checker Becomes Part of the Experiment

Lean, Collatz, and the epistemology of proof abundance

machine learning

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.

Antonio Montano

Modified	Aug 2, 2026
Keywords
Audiences	researcher, technical specialist
Difficulty	advanced

Proof Abundance and the New Practice of Mathematics

Terence Tao on AI, LLM breakthroughs, and the bottleneck of mathematical understanding

machine learning

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.

Antonio Montano

Modified	Jul 30, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert, technical specialist
Difficulty	advanced

The New Cognitive Infrastructure of Science

AI, mathematical thought, and the rise of automated research

machine learning

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.

Antonio Montano

Modified	Jun 2, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate

The Erdős Moment of AI

When a language model entered frontier mathematics and why this changes more than mathematics

machine learning

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.

Antonio Montano

Modified	May 24, 2026
Keywords
Audiences	practitioner, researcher, subject-matter expert, technical specialist
Difficulty	intermediate

Cyber Resilience Act reporting

Last updated 2026-08-22 · 4 articles

VEX Standards from First Principles

From software inventories to defensible vulnerability-exploitability decisions

regulation and compliance

software engineering

A technical tutorial on SBOMs and Vulnerability Exploitability eXchange, covering CISA semantics, CSAF, CycloneDX, SPDX, OpenVEX, Log4Shell, automation, interoperability, and practical use under the EU Cyber Resilience Act.

Antonio Montano

Modified	Aug 22, 2026
Keywords	SBOM, VEX, Vulnerability Exploitability eXchange, CISA, CSAF, CycloneDX, SPDX, OpenVEX, CVE-2021-44228, Log4Shell, Cyber Resilience Act, CRA, vulnerability management, software supply chain
Audiences	practitioner,technical specialist,analyst,consultant
Difficulty	intermediate

A CVE Is Not an Article 14 Report: What Actually Makes a Vulnerability Reportable?

How to distinguish identifiers, severity scores, exploitation signals, product evidence, and the CRA reporting threshold

regulation and compliance

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.

Antonio Montano

Modified	Aug 17, 2026
Keywords
Audiences	analyst, practitioner, subject-matter-expert, technical specialist
Difficulty	intermediate

Does the CRA Require Vulnerability Scanning from 11 September 2026? No, but It Does Require a Reporting Decision Process

What manufacturers must have ready for Article 14, what customers can legitimately expect, and how scanners, SBOMs, telemetry, and threat intelligence fit

regulation and compliance

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 OT.

Antonio Montano

Modified	Aug 16, 2026
Keywords
Audiences	analyst, subject-matter-expert, technical specialist
Difficulty	intermediate

Cyber Resilience Act: The New Product-Security Baseline

Scope, legal roles, secure design, conformity, reporting, and lifecycle assurance across the digital-product supply chain

regulation and compliance

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 assurance governance.

Antonio Montano

Modified	Aug 9, 2026
Keywords	Cyber Resilience Act, CRA, Regulation (EU) 2024/2847, products with digital elements, cybersecurity regulation, EU product law, product security, secure by design, secure by default, cybersecurity risk assessment, essential cybersecurity requirements, vulnerability management, vulnerability handling, security updates, support period, software bill of materials, SBOM, remote data-processing solutions, RDPS, conformity assessment, CE marking, EU declaration of conformity, notified bodies, harmonised standards, important products with digital elements, critical products with digital elements, manufacturer obligations, importer obligations, distributor obligations, system integrators, economic operators, product lifecycle security, component due diligence, software dependencies, free and open-source software, FOSS, open-source software stewards, substantial modification, Article 14 reporting, actively exploited vulnerabilities, severe security incidents, ENISA, Single Reporting Platform, market surveillance, administrative fines, product liability, CRA compliance, cybersecurity assurance, procurement assurance, lifecycle governance, technical documentation, continuing conformity
Audiences	analyst, executive, manager, subject-matter-expert, technical specialist
Difficulty	intermediate

Post-quantum cryptography transition

Last updated 2026-08-09 · 7 articles

The Withdrawal of HAWK

How a Galois involution cut the effective key-recovery dimension and ended a NIST post-quantum signature candidate

machine learning

quantum computing

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 reparameterize, and the role of AI-assisted cryptanalysis.

Antonio Montano

Modified	Aug 9, 2026
Keywords
Audiences	analyst, researcher, subject-matter-expert, technical specialist
Difficulty	advanced

Quantum Cryptography at the Edge of Feasibility: Resource Estimates, Architectural Divergence, and Systemic Risk

An analysis of the Google and Oratomic results on Shor’s resource estimates and their implications for the convergence of quantum circuit optimization, error correction, and hardware architectures

quantum computing

Updated resource estimates from Google Quantum AI and Oratomic show that the quantum threat to public-key cryptography cannot be reduced to a single qubit threshold. This article analyzes how circuit optimization, error-correction efficiency, hardware connectivity, and execution speed jointly determine the feasibility of Shor-based attacks, and explains why the resulting compression of uncertainty makes post-quantum migration an immediate architectural and governance problem.

Antonio Montano

Modified	Apr 11, 2026
Keywords
Audiences	analyst, executive, practitioner, subject-matter expert, technical specialist
Difficulty	intermediate

Quantum-Safe HTTPS Certificates: Google’s Structural Innovation, Technical Foundations, and Governance Implications

Engineering quantum resistant web authentication through Merkle commitments, transparency logs, and scalable trust infrastructure

quantum computing

A technical analysis of Google’s Merkle Tree Certificate proposal for quantum-safe HTTPS. The article explains how Merkle commitments and Certificate Transparency logs can amortize large post-quantum signatures across millions of certificates, preserve efficient TLS handshakes, and transform WebPKI authentication from repeated signature verification into compact membership proofs, while introducing new operational and governance dependencies around global transparency infrastructure.

Antonio Montano

Modified	Mar 5, 2026
Keywords
Audiences	analyst, practitioner, researcher, subject-matter-expert, technical specialist
Difficulty	advanced

Quantum Computing Threats and the Advantage of Acting Now

Why trust expires before systems fail, and how early remediation becomes a strategic program rather than an emergency rewrite

enterprise risk management

quantum computing

Quantum computing threatens more than encrypted data: it can undermine signatures, certificates, software provenance, secure boot, and other long-lived foundations of digital trust. This article explains why trust can lose its evidentiary value before systems visibly fail, and why early action on cryptographic inventory, trust segmentation, lifecycle design, and algorithmic agility is commercially rational even under uncertain quantum timelines.

Antonio Montano

Modified	Dec 31, 2025
Keywords
Audiences	analyst, executive, practitioner, subject-matter expert, technical specialist
Difficulty	intermediate

When Digital Trust Expires: Quantum Computing and the Collapse of Signature-Based Security

How quantum attacks turn long-lived signatures into silent integrity and impersonation risks

enterprise risk management

quantum computing

A technical analysis of how quantum computing can invalidate long-lived digital signatures, trust anchors, and encrypted archives without causing visible system failure. The article distinguishes delayed decryption, delayed forgery, trust-anchor abuse, and retroactive supply-chain compromise, then develops a cybersecurity and governance programme based on cryptographic discovery, agility, limited authority, segmented trust, evidentiary preservation, and post-quantum migration.

Antonio Montano

Modified	Dec 26, 2025
Keywords	post-quantum cryptography, quantum computing risk, digital signatures, cryptographic trust, delayed forgery, store now forge later, long-lived trust anchors, supply-chain security, cryptographic agility, quantum readiness, cybersecurity governance, enterprise risk management
Audiences	analyst, practitioner, subject-matter-expert, technical specialist
Difficulty	intermediate

Quantum Key Distribution and Post-Quantum Cryptography

Concepts, roles, and correct use

quantum computing

Quantum Key Distribution and post-quantum cryptography are often presented as alternative responses to quantum computing, although they solve different problems. This article separates confidentiality, key establishment, authentication, digital signatures, and long-term verifiability to show why PQC is the structural basis of quantum-safe digital trust, while QKD remains an optional mechanism for distributing symmetric keys under restrictive physical and operational assumptions.

Antonio Montano

Modified	Jul 1, 2023
Keywords
Audiences	practitioner, subject-matter expert, technical specialist
Difficulty	advanced

Cybersecurity in an Era with Quantum Computers: Interpreting Mosca’s Risk Inequality

Why x plus y greater than z turns quantum readiness into a present day governance problem

quantum computing

risk management

Mosca’s risk inequality reframes the quantum threat as a present-day governance problem: the lifetime of protected assets plus the time required to migrate cryptography must remain shorter than the time until current public-key systems become breakable. This article explains the model and derives practical implications for data classification, cryptographic inventories, signing systems, vendor requirements, and migration planning.

Antonio Montano

Modified	Apr 11, 2022
Keywords
Audiences	analyst, practitioner, subject-matter expert, technical specialist
Difficulty	intermediate