Hilke Schellmann & Mihir Kshirsagar from Princeton CITP on findings from a convening on information integrity, authentication and verification in the age of AI.
We're not taking the fact-checking powers of AI seriously enough. It's past time to start.
Some notes on the Nobel Prize hallucination that wasn't
The Case Against Formal Verification, 50 Years Later - Ivan Gavran
Writings on software correctness, AI, formal verification, and other technical topics.
Deepfakes, Scams, and the Age of Paranoia
As AI-driven fraud becomes increasingly common, more people feel the need to verify every interaction they have online.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering mainstream.
AI Age Checks Are Here—And They’re Not Fair To Everyone
archived 2 Feb 2026 17:48:49 UTC
Age verification is coming for the internet — and it’s already raising red flags
Legislative efforts to age-gate parts of the internet are gaining traction. Some experts warn of compliance complications and data security breaches.
Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazine
Mathematicians have started to prepare for a profound shift in what it means to do mathematics.
Top AI Security Incidents of 2025 Revealed | Adversa AI
Discover how AI systems are being hacked in the wild — from prompt injection to agent abuse — with real breaches, lessons, and defenses in Adversa AI’s 2025 report.
A Collectivist, Economic Perspective on AI
Information technology is in the midst of a revolution in which omnipresent data collection and machine learning are impacting the human world as never before. The word ``intelligence'' is being...
The Age Of Artificial Intelligence: Americans' AI Use Increases While Views On It Sour, Quinnipiac University Poll On AI Finds; 7 In 10 Think AI Will Cut Jobs With Gen Z The Most Pessimistic | Quinnipiac University Poll
"The contradiction between use and trust of AI is striking. Fifty-one percent say they use AI for research, and many also use it for writing, work, and data analysis. But only 21 percent trust AI-generated information most or almost all of the time. Americans are clearly adopting AI, but they are doing so with deep hesitation, not deep trust," said Chetan Jaiswal, Ph.D., Associate Professor of Computer Science and Associate Chair, Department of Computing, Quinnipiac University School of Computing and Engineering.
Age verification needs better privacy protections, report says
New America’s Open Technology Institute called for the use of zero-knowledge proofs, which verify a user’s age without disclosing any personal information.
AI, Artifice, And Authenticity
The era of badly-automated homogenized engagement slop is upon us. I desperately want to believe there's a renaissance for authenticity on the other end.
Security incident disclosure — July 2026
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
Refine — AI Verification Trusted by World-Class Experts
Good decisions require verified quality. Refine devotes hours of frontier compute to protect your work and reputation from fixable mistakes.
