# Error Related Articles

HTX News Center provides the latest articles and in-depth analysis on "Error", covering market trends, project updates, tech developments, and regulatory policies in the crypto industry.

Claude Crashes Three Times a Day, API, App, Cowork All Down, Workers Left in the Dark

On August 24th, Anthropic's AI assistant Claude experienced three major outages, crippling its API, web app (claude.ai), Claude Code, and Cowork features for users. The main failure, lasting nearly three hours, displayed a "529 Overloaded" error, indicating a systemic overload rather than simple throttling. This was the 13th day in August with recorded incidents for Claude. Following the initial repair, the login system failed again twice in the early hours of August 25th. Despite official status pages showing recovery, many users reported persistent issues like white screens on key pages. A monitoring service noted Claude has accumulated 184 incidents since January 2026. The outages disrupted workflows significantly, with one user reporting a nine-hour automated process being lost. Beyond reliability, users and developers express concerns about a perceived decline in Claude's performance ("ran out of compute"), citing slower task completion and reduced reasoning depth in models like Opus 5 compared to earlier versions or competitors. AMD's AI director shared data showing a 75% drop in Claude Code's "thinking" character count from January to March, coinciding with the feature hiding its reasoning process from users entirely. While Anthropic claims 90-day availability rates above 99.3% for its services, this falls short of the 99.9% enterprise standard. More critically, for users running long AI agent tasks, an interruption means losing all prior processing time and context, a cost not reflected in simple uptime metrics. The root cause of the August 24th outage remains undisclosed by Anthropic.

marsbit08/26 04:21

Claude Crashes Three Times a Day, API, App, Cowork All Down, Workers Left in the Dark

marsbit08/26 04:21

Mathematicians Refute Open AI's Claim of Proving Connes Rigidity Conjecture Within 24 Hours: 'AI Proved Every Sentence Correct, but They Are No Longer About the Original Conjecture'

Mathematician Refutes OpenAI's Claim of Disproving Connes Rigidity Conjecture in 24 Hours OpenAI claimed its next-generation AI model solved 10 world-class problems, including disproving the Connes Rigidity Conjecture. The next day, mathematician J. L. Nielsen from the University of Kansas published a paper refuting the AI's counterexample. Nielsen meticulously reviewed OpenAI's publicly released 37,000 lines of Lean 4 code, mapping each object back to its mathematical origin. He identified two independent failure paths in the AI's argument. He concluded that one of the two groups constructed by the AI does not satisfy the required conditions (specifically ICC and Kazhdan's property (T)) necessary to serve as a valid counterexample to the original conjecture. This means the AI may have successfully proven something about its constructed objects, but that statement is not equivalent to disproving the Connes Rigidity Conjecture itself. The incident highlights a crucial limitation of formal verification tools like Lean. While Lean's kernel can verify the logical correctness of a proof's steps, it cannot verify whether the formal statement being proven correctly corresponds to the intended mathematical conjecture. Human oversight remains essential to ensure the alignment between the formalized problem and the original research question. This case exemplifies what researchers call "successfully proving the wrong statement." The Connes Rigidity Conjecture, concerning the uniqueness of group von Neumann algebras under certain conditions, remains an open problem.

marsbit08/04 08:46

Mathematicians Refute Open AI's Claim of Proving Connes Rigidity Conjecture Within 24 Hours: 'AI Proved Every Sentence Correct, but They Are No Longer About the Original Conjecture'

marsbit08/04 08:46

An AI Uncovers a 15-Year-Old Linux Vulnerability in 5 Seconds, While Another AI Turns an Innocent Journalist into a Car Thief Suspect

AI Discovered a 15-Year-Old Linux Bug but Also Wrongly Targeted a Journalist An AI security tool, VEGA, identified "GhostLock" (CVE-2026-43499), a severe Linux kernel vulnerability hidden for 15 years since 2011, affecting nearly all distributions. Exploiting a flaw in the kernel's lock management, an attacker could gain root privileges in about 5 seconds from a standard user account. This demonstrates AI's growing ability to find complex bugs humans missed. In a stark contrast, another AI system caused a dangerous police confrontation. Automotive journalist Joel Feder was surrounded by four police cars after Flock Safety's automated license plate recognition (ALPR) cameras mistakenly flagged his vehicle. The error originated from a typo in a national stolen vehicle database ("34 03 DTM" was entered as "34 DTM"). Feder's manufacturer plate, "34 10 DTM," was misread due to its small font, triggering a nationwide alert. Police, with hands on holsters, detained Feder for an hour before resolving the mistake. The two cases highlight the dual nature of AI in security. On one hand, it can efficiently uncover critical software vulnerabilities, enhancing safety. On the other, it can exponentially amplify human errors—like a simple data entry mistake—when deployed in automated, large-scale surveillance systems without adequate human oversight. The incident underscores the critical need for robust review mechanisms in AI-driven decision systems, especially in high-stakes areas like law enforcement. The greatest vulnerability in the AI era may not be in code, but in the unchecked delegation of final judgment to automated processes.

marsbit07/13 12:25

An AI Uncovers a 15-Year-Old Linux Vulnerability in 5 Seconds, While Another AI Turns an Innocent Journalist into a Car Thief Suspect

marsbit07/13 12:25

Planck Retracted? The Father of Quantum Tripped by an Algorithm

The recent discovery that two articles (published in 1940 and 1942) by Max Planck, the Nobel laureate and founder of quantum theory, are marked as "retracted" on Springer's digital platform highlights a curious clash between historical publishing practices and modern automated systems. An investigation suggests these retractions are algorithmic errors, not due to fraud or misconduct. The papers, philosophical reflections on science published in *Die Naturwissenschaften*, were likely flagged by the platform's systems. One article, a republished lecture, may have been mistaken for duplicate publication. Another, sharing a title with a prior article by a different author (a common practice for continuing debates at the time), may have triggered a similar automated check. The digital versions have even been replaced with blank pages, contrary to normal practice of preserving retracted texts. This incident underscores how contemporary digital infrastructure, built around concepts like "self-plagiarism" and strict copyright, can misclassify and obscure legitimate historical scholarly communication. It serves as a warning that digital archives are not neutral mirrors of the past but are filtered by platform rules, potentially distorting the scientific record. As AI systems increasingly rely on such databases, such erroneous metadata could propagate, affecting how future tools interpret and access historical knowledge.

marsbit06/30 12:44

Planck Retracted? The Father of Quantum Tripped by an Algorithm

marsbit06/30 12:44

活动图片