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
Guest Post — Research Needs a Shared Standard for AI Disclosure - The Scholarly Kitchen
Today's guest post presents outcomes of the WCRI's (World Conferences on Research Integrity) Focus Track to address this gap in clarity and standardization of AI disclosure.
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.
Lessons from National Digital ID Systems for Privacy, Security, and Trust in the AI Age
CJ Larkin and Renée DiResta surface lessons from existing national ID schemes relevant to the evolution of digital identity in the age of AI.
Guest Post — AI Can Find the Article. Can It Tell Which Version It Used? - The Scholarly Kitchen
In this AI era, establishing trust and validating article versions with persistent identifiers (PIDs) is more important than ever.
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.
AI helped produce two proofs for the same cryptography problem
Last Thursday Massachusetts Institute of Technology graduate student Seyoon Ragavan sent a new quantum cryptography proof to his friend Yao-Ting Lin, a doctoral student at the University of California...
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.
Alex Veremeyenko on Twitter / X
MIT published a brutally honest report on what AI is doing to students.A committee of professors and students spent five months studying how AI changed learning on campus, and the findings read like a warning to every university on the planet.Study groups are disappearing.… pic.twitter.com/kSxKk4h06o— Alex Veremeyenko (@alex_verem) September 12, 2026
