Library

2,554 published verifications avg. score 5.6/10 1,246 rated true or mostly true 1,065 rated false or mostly false

“The United States annexed Hawaii in 1898.”

True

The historical record supports this claim. Official U.S. records and standard historical references identify 1898 as the year Hawaii was annexed, with the Newlands Resolution enacted on July 7 and the formal transfer occurring on August 12. The main caveats concern the exact milestone being referenced and the contested legitimacy of the process, not the year itself.

“The United States acquired Guam after the Spanish-American War.”

True

The evidence shows Guam became a U.S. possession as a result of the Spanish-American War. Spain formally ceded Guam to the United States in the 1898 Treaty of Paris, the peace settlement that ended the conflict. A timing nuance remains: Guam was militarily seized during the war, but legal transfer came in the treaty.

“The United States gained control of the Philippines after the Spanish-American War.”

True

The historical record shows that Spain ceded the Philippines to the United States in the 1898 Treaty of Paris, which ended the Spanish-American War. In that standard legal and political sense, the United States gained control after the war. The important caveat is that U.S. authority was immediately contested, leading to the Philippine-American War.

“The acquisition of Guam provided a refueling and communication station for the United States Navy.”

Mostly True

The evidence strongly supports Guam’s importance as a naval refueling/coaling stop after its 1898 acquisition. It also supports Guam’s communications value, but that role was less immediate and more fully developed later. A reasonable reading is that the acquisition enabled both functions, though the wording can overstate the existence of a fully operational communications station at the time of acquisition.

“Vladimir Lenin argued that imperialism was the highest stage of capitalism, characterized by monopolies and large corporations seeking colonies to maximize profits and dominate global markets.”

Mostly True

The claim accurately summarizes Lenin’s core argument. In his 1916 work, Lenin explicitly described imperialism as the highest or monopoly stage of capitalism and tied it to monopolies, finance capital, and the division of the world among major powers. The main caveat is that his theory was more specific than “large corporations seeking colonies,” emphasizing finance capital and capital export.

“In the United States, a birth certificate is a bond worth millions that is traded on the stock market as collateral for the U.S. national debt.”

False

The claim is not supported by any credible evidence and is directly contradicted by U.S. financial authorities. Official sources describe “birth certificate bonds” and related secret-account stories as fictitious instruments used in fraud schemes. U.S. national debt is financed through Treasury securities, not by trading birth certificates as collateral on any stock market.

“Every semialgebraic function defined on the unit interval [0,1] is real analytic on [0,1] except possibly at finitely many points.”

True

The claim matches a standard one-dimensional semialgebraic geometry result. Such functions can be partitioned into finitely many subintervals where they are real analytic, with any failures of analyticity confined to finitely many boundary points. Those exceptional points may include genuine discontinuities or cusps, so the statement is about piecewise analyticity, not global analytic extension.

“As of Q1 2026, frontier AI coding models exceed expert human performance on real-world software engineering tasks, as demonstrated by SWE-bench Verified and HumanEval+ results.”

Mostly False

Available evidence does not show that frontier AI coding models outperform expert humans on real-world software engineering as of Q1 2026. Very high scores on SWE-bench Verified and HumanEval+ are not direct expert-versus-model comparisons, and HumanEval+ is a weak proxy for real software engineering. Independent analyses also report contamination, benchmark artifacts, and many supposedly successful patches that human maintainers would reject.

“Fuel prices in South Africa have increased significantly in 2026.”

Mostly True

Fuel prices did rise sharply in South Africa in 2026, with official data showing large increases in April-May and record petrol prices by May. However, the increase was concentrated in those months rather than across the whole year, and a temporary levy cut softened some of the consumer impact. The central claim is accurate, but its timing is broader than the evidence supports.

“Enzymes in the human body have changed their chemical structures in order to survive in an OH⁻-rich internal environment.”

False

The claim is not supported by biochemistry or human physiology. The human body is tightly buffered and is not generally an OH⁻-rich environment, and excess alkalinity tends to impair or denature enzymes rather than help them "survive" by changing structure. Enzyme adaptation to different pH conditions occurs through evolution across generations, not by individual enzymes chemically redesigning themselves inside the body.

“The AGS cell line is derived from human gastric adenocarcinoma.”

True

The available evidence consistently identifies AGS as a human gastric adenocarcinoma cell line. Authoritative repositories, especially ATCC and Cellosaurus, state this directly, and the cited research literature uses AGS with that same provenance. The remaining caveat is only that many downstream sources rely on repository records rather than original 1979 pathology documents.

“New York City's FY2027 budget was balanced without raising property taxes, slashing services, or drawing down the City's Rainy Day Fund or Retiree Health Benefit Trust reserves.”

Mostly False

The budget was balanced without tapping the City’s main reserves, and the evidence does not show broad service slashing as the way it was closed. But the claim overreaches on taxes: New York City did add a new pied-a-terre surcharge on certain high-value non-primary homes, generating about $500 million annually through property tax bills. That makes the blanket statement about “without raising property taxes” materially misleading.

“The administration of New York City Mayor Zohran Kwame Mamdani secured $7.6 billion in New York State aid for New York City through a partnership with New York Governor Kathy Hochul.”

Mostly True

The evidence supports the core point that New York City received a very large state aid package after coordinated action by Mayor Mamdani and Governor Hochul. Credible reporting puts that support at about $7.6 billion, while primary official statements usually describe it as nearly $8 billion. The main caveat is that state legislative leaders were also central to the package, so the claim slightly oversimplifies who secured it.

“Zohran Mamdani's administration eliminated New York City's budget deficit without laying off workers.”

Mostly True

The administration did close the immediate FY2027 budget gap without formal layoffs. Reporting and official budget materials indicate the balance was achieved through state aid, pension-payment restructuring, hiring restraint, and attrition rather than worker terminations. The caveat is that this was a one-year budget balance, not a permanent end to New York City's longer-term fiscal pressures.

“Zohran Mamdani, as Mayor of New York City, enacted a tax on wealthy individuals that raises $0.5 billion per year for New York City.”

Mostly True

The evidence indicates that a Mamdani-backed pied-à-terre tax was enacted and is officially projected to raise about $500 million a year for New York City. The main caveat is that this is not a general tax on wealthy people; it specifically targets luxury second homes. The revenue figure is also an estimate, not yet a confirmed annual amount collected.

“Zohran Mamdani's proposed mayoral budget plan includes hiring 1,000 additional teachers in New York City.”

True

The available evidence shows the executive budget proposal does include funding to hire 1,000 additional teachers. That figure appears in official budget presentations and is corroborated by several independent local outlets. The main caveat is that this is a proposed FY27 budget item, so final adoption and timing can still change.

“As a New York City mayoral candidate, Zohran Mamdani proposed allocating $122 million for New York City Public Schools in his campaign budget plan.”

False

The evidence does not support the claim as stated. Reliable reporting and official New York City budget documents tie the $122 million schools figure to Mamdani’s FY2027 executive budget as mayor, not to a campaign budget plan proposed while he was a candidate. That timing and context are the core of the claim, and they are wrong.

“Mars was much more volcanically active early in its history than it is today.”

True

Evidence strongly supports a major decline in Martian volcanism over time. Early Mars built enormous volcanic provinces and experienced widespread, high-volume eruptions, while the best evidence for later activity is limited to smaller, localized, geologically recent flows. Recent volcanism does not overturn the basic comparison; it confirms Mars became much less active than in its early history.

“Improving a firm's image does not qualify as Further Production in economics when determining whether something is a producer good.”

True

Standard economics usage supports the claim. In classifying producer goods, “further production” refers to goods used as inputs in manufacturing, processing, or resale, not to marketing or reputation-building activities such as improving a firm’s image. Broader notions of business production do not change that narrower classification rule.

“Artificial intelligence methods can be used to select the optimal mining method for a given mineral deposit.”

True

Published mining-engineering research shows that AI methods, including expert systems, fuzzy logic, and neural networks, have been used to recommend or select the most suitable mining method for specific deposits. The claim is supported as a capability statement. The main caveat is that “optimal” usually means best under defined criteria and constraints, not an absolute universal optimum.