资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
Bitter Lessoned in Automated Theorem Proving
When I began studying machine learning and mathematics in 2013, I quickly came to believe that AI would take over math research: that the great proofs of the future would be written by machines.
LATEST STORIES
最新内容
The Future of Software Is No Code (2018)精选导读
暂无摘要
The Paradox of Contemporary AI: Engineering Success and Institutional Failure精选导读
OpenAI released GPT-3 in June of 2020, though not to the general public. Those who had access to it were variously impressed or stunned: Is this it? Is AI really coming at long last? Though I was not in the direct acces…
Are universities on the brink of an Uber-like revolution?精选导读
This post is part of a series on the challenges posed by the rise of AI.1 I am fairly optimistic about the possible benefits of AI for society, but at the same time, one should appreciate that such a technology has the …
I Believe P=NP精选导读
The only things that matter in a theoretical study are those that you can prove, but it’s always fun to speculate. After worrying about P vs. NP for half my life, and having carefully reviewed the available “evidence” I…
Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)精选导读
On September 8, 2026, we were alerted by a security researcher, Gadi Evron from Knostic, to a tenant isolation issue affecting the GLM-5.3 Workers AI model (@cf/zai-org/glm-5.3) starting on August 27, 2026. We have reme…
Is PHP Running on Your ColdFusion Server? How to Check, and Remove It精选导读
If you run ColdFusion or Lucee on a Windows server with IIS, and you've never installed PHP on purpose, this one's for you. There's a good chance PHP is on your server. It may be left behind by a control panel, a phpMyA…
Rhode Island sues Meta over alleged profits from scam ads精选导读
暂无摘要
Who lost my lap infant? My attempt to reverse engineer a decade-long airline bug精选导读
We knew something was amiss when neither my partner nor I could check in for our flight online. For the past decade, we had made the same annual trip, flying from San Francisco through Frankfurt to Helsinki and back. Th…
A steerable motivation concept influencing persistence in Qwen-3.5-27B精选导读
Introduction - Why do this project / what is it about?