These essays were supposed to be about architecture. Read them back and notice what they actually did: they kept issuing rules. Approvals are not data;…
Tag: AI Security
Axiom Math’s AI Verifies the 246 Prime-Gaps Theorem in Lean
Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps between prime numbers: the…
From AI Copilots to Agent Swarms
The impact of AI on software development has been both profound and ever-evolving. Last year, I wrote about AMD’s plans to use AI not just for generating…
Changing Font Colors Can Hijack AI Reasoning
A new study finds that ordinary formatting can quietly steer AI reasoning, causing it to overlook words, misread meaning, and reach different conclusions…
Local AI pre-screening for human triple-blind peer review in health sciences
arXiv:2608.14625v1 Announce Type: cross Abstract: Academic peer review is under mounting strain: NeurIPS 2025 received 21,575 submissions, ICLR 2025…
AI Used to Verify Toughest Mathematics Proof Yet
Representing a significant milestone in AI-assisted mathematical research, a team at Axiom Math has automatically verified the proof of a theorem relating…
Understanding AI Anxiety in the Workplace: A Multimethod Investigation Using Fear Acquisition Theory and the Technology Acceptance Model
arXiv:2608.14609v1 Announce Type: cross Abstract: As artificial intelligence (AI) rapidly diffuses and concerns about job displacement intensify, the…
From Reactive to Autonomous: Evolution of AI Operations in Cloud Network Infrastructure
arXiv:2608.14574v1 Announce Type: cross Abstract: The operational model for cloud network infrastructure has undergone a fundamental transformation over…
Orbital AI Computing: Carbon Tradeoffs Across Satellite Scale
arXiv:2608.14557v1 Announce Type: cross Abstract: Low Earth Orbit (LEO) computing is emerging for low-latency, globally distributed AI services, enabled…
When Agents Coordinate: Measuring Coordination in Multi-Agent AI Coding
arXiv:2608.16801v1 Announce Type: new Abstract: We study how teams of AI coding agents coordinate while solving programming tasks. Current evaluations…