# AI Related Articles

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

After Riemann Hypothesis, Claude Shatters Another Century-Old Conjecture

After decades of steadfast belief in classical geometric conjectures, a significant breakthrough has arrived via artificial intelligence. In a collaborative effort, mathematician Levent Alpöge and Anthropic's Claude have constructed a counterexample that falsifies the century-old Carathéodory conjecture in differential geometry, while simultaneously disproving the related Loewner index conjecture. The Carathéodory conjecture, first formulated in 1924, posited that any sufficiently smooth, closed, and convex surface in three-dimensional Euclidean space must possess at least two umbilical points—points where the surface's curvature is the same in all directions, making it locally spherical. This assertion, intuitively supported by examples like spheres (with infinitely many) and ellipsoids (with two), had remained unproven and unchallenged for over 100 years. The parallel Loewner conjecture imposed a theoretical limit of 1 on the index of any isolated umbilical point. The pivotal counterexample is an explicit, mathematically rigorous construction of a convex body that is infinitely smooth (C∞) yet contains only a single umbilical point, directly contradicting Carathéodory's requirement of at least two. Furthermore, this solitary umbilical point possesses an index of 2, violating the Loewner conjecture's stipulated upper bound of 1. This achievement follows Alpöge's earlier use of Claude to propose a counterexample for the three-dimensional Jacobian conjecture, signaling a paradigm shift in mathematical research. AI is evolving from a mere computational tool into an "intuition amplifier," capable of exhaustive exploration and construction in domains where human intuition reaches its limits. This human-AI collaborative model is demonstrating its power to resolve—or dismantle—longstanding problems, marking a new era where the next fallen conjecture may only be a collaboration away.

marsbit18h ago

After Riemann Hypothesis, Claude Shatters Another Century-Old Conjecture

marsbit18h ago

Fidelity Assesses the Limits of AI's Influence on the Crypto Market

Fidelity Analysts Assess the Limits of AI's Impact on the Crypto Market Fidelity Digital Assets senior analyst Max Waddington notes that AI agents could become a new source of activity in the digital asset sector, from payments to trading and lending. However, the benefits will likely be distributed unevenly. Fidelity's study of over 100,000 GitHub developers shows AI coding assistants increased commit counts by up to 180% and releases by 30%. These tools enable smaller teams to build blockchain applications faster, though critical financial software still requires manual code review. In the crypto industry itself, developer counts fell in 2026 amid lower prices, but commits per developer continued to rise. Waddington cautions that more applications don't guarantee success; user adoption, liquidity, compliance, and trust remain key. Autonomous AI agents, capable of payments, trading, liquidity provision, and lending, are emerging as another driver. Blockchains are suitable due to 24/7 operation and programmable settlements. According to Keyrock, AI agents had already conducted over 176 million transactions worth more than $73 million by May, predominantly using USDC. Infrastructure is developing, with Coinbase launching tools like the x402 protocol and 'Coinbase for Agents'. However, Fidelity expects agents to use multiple platforms (both public blockchains and traditional finance systems) based on cost and convenience. A surge in AI-driven transactions may not proportionally boost blockchain revenue. Payments, while numerous, generate low fees and can be batched or moved to cheaper Layer 2s. Capital-intensive activities like trading are far more lucrative for networks; over 180 days, trading generated 49x more revenue per dollar of volume for Ethereum's base layer than payments did, with additional revenue from MEV. Therefore, analysts see greater potential in AI agents involved in trading, lending, and liquidity provision. Widespread automated payments would primarily benefit stablecoin issuers and infrastructure providers rather than native blockchain tokens. This aligns with earlier comments from Bernstein and Franklin Templeton on AI agents driving crypto payments and being key to stablecoins' future.

cryptonews.ru19h ago

Fidelity Assesses the Limits of AI's Influence on the Crypto Market

cryptonews.ru19h ago

Terence Tao's Remote Dialogue with Wang Hong: Mathematics Must Learn to 'Digest' AI

Two Fields Medalists, Terence Tao and Maryna Viazovska, share a common view on the flood of AI-generated proofs in mathematics: the community must learn to "digest" them. While AI can rapidly produce and even formally verify proofs, Tao argues that a correct proof is only the first step. For a result to become usable knowledge, it must be understood, absorbed, and integrated into the existing mathematical framework by human mathematicians. He illustrates this by spending several days "digesting" an AI-assisted proof of the long-standing Sendov conjecture. His process involved tracing sources, identifying key ideas, simplifying the argument, and rewriting it into a human-readable narrative. This digestion not only verified the proof but also revealed it could solve a stronger conjecture and be presented with more elementary tools. Tao criticizes the current race for priority based solely on who announces a proof first, often skipping verification and explanation. He proposes shifting value to the crucial work of interpreting, reviewing, and consolidating results. In his recent ICM talk, he emphasized that if authors cannot explain their AI-generated proof to peers, it shouldn't be published. To facilitate this new workflow, Tao introduced "Palomar," a registry for Lean-verified results. It serves as a digestion hub, cataloging problems, proof code, and AI involvement, aiming to coordinate efforts and ensure completeness. Under this model, full credit for a result would require multiple milestones: generation, verification, explanation, and final publication. The core message is clear: as AI transforms the front end of mathematical discovery, the irreplaceable role of mathematicians will be to synthesize, contextualize, and communicate these advances, turning raw outputs into enduring knowledge.

marsbit19h ago

Terence Tao's Remote Dialogue with Wang Hong: Mathematics Must Learn to 'Digest' AI

marsbit19h ago

The Five Paradoxes of Artificial Intelligence

**Five Paradoxes of Artificial Intelligence** Artificial intelligence (AI) is an era filled with paradoxes, which we navigate as we advance. **1. The Prediction Paradox** AI experts, from pioneers like Marvin Minsky to contemporary figures like Geoffrey Hinton and Demis Hassabis, have a history of inaccurate forecasts regarding AI's capabilities and timelines, such as achieving human-level machine intelligence or surpassing radiologists. Predictions about Artificial General Intelligence (AGI) vary wildly between optimistic entrepreneurs and skeptical academics, highlighting the inherent unpredictability of technological futures. **2. The Employment Quantification Paradox** Despite numerous studies from institutions like the OECD, IMF, and McKinsey attempting to quantify AI's impact on jobs, estimates of affected employment range from 0.4% to 67%, revealing vast inconsistencies. This paradox arises because isolating AI's effect from other economic, social, and technological factors is virtually impossible, and forecasts depend on static assumptions about a dynamically evolving technology. **3. The Productivity Paradox** While AI is a transformative General Purpose Technology, significant productivity growth has not yet materialized in major economies like the EU and has only matched historical averages in the US. This disconnect between rapid innovation and slow productivity gains, reminiscent of the "Solow Paradox" from the computer age, is often explained by time lags. History shows it takes decades for such technologies to diffuse and trigger complementary innovations that boost productivity. **4. The Data Value Paradox** Data is hailed as the "new oil" and critical for AI, yet its economic value is paradoxical. Its worth is realized only in use, not in straightforward trade. Despite policy emphasis and initiatives for data asset recognition on corporate balance sheets in China, the monetized value remains negligible—accounting for only about 0.06% of major telecom operators' total assets—highlighting the gap between perceived utility and financial valuation. **5. The Industrial Revolution Paradox** For decades, nearly every major new technology, from the internet and nanotechnology to blockchain and now AI, has been proclaimed as the driver of a "Fourth Industrial Revolution." This constant reassignment suggests prior labels were premature. True industrial revolutions are typically identified in hindsight, not in real-time. Furthermore, the coexistence of such a proclaimed transformative revolution with ongoing economic crises would be historically anomalous. Whether AI truly defines a new industrial revolution remains a narrative for the future to decide.

marsbit20h ago

The Five Paradoxes of Artificial Intelligence

marsbit20h ago

HSBC Research Report Analysis: Behind 12 Million Starlink Users, the Space Economy is Feeding Back to Earth

HSBC Research Report Analysis: The 120 Million Starlink Users and How the Space Economy is Fueling Earth's Industries. The core value of the new space race is returning to Earth, driving industrial upgrades across multiple sectors, according to an HSBC report covering 12 industries. Key developments include: SpaceX’s Starlink has surpassed a critical scale with 10,200 satellites, 12 million broadband users, and 7.4 million direct-to-cell devices. It is evolving from a backup solution to default infrastructure in maritime, aviation, trucking, and remote areas, complementing rather than competing with terrestrial telecom operators. Starship aims to reduce launch costs to $100-$300 per kilogram, a 95%+ reduction from historical averages. This drastic cost compression is reshaping the economics of satellite manufacturing, in-orbit services, and future ventures like asteroid mining. SpaceX’s plans for orbital AI data centers (100 GW by 2040) and the Terafab vertically integrated semiconductor foundry (a joint venture with Tesla and xAI) represent strategic shifts. While orbital data center costs are currently triple those on Earth, they offer a policy-independent backup for power-constrained AI growth. Terafab poses a potential challenge to the traditional fabless-foundry model. The report warns that aggressive capacity expansion by SpaceX and others could lead to a compute surplus by the late 2020s, potentially commoditizing LLMs and pressuring hardware vendors. The space race is most directly reshaping three core industries: 1. **Power/Utilities:** AI data centers are boosting annual U.S. electricity demand growth. Renewable energy and grid infrastructure are clear beneficiaries. 2. **Semiconductors:** Demand is created for "low-Earth orbit optimized" chips, while the vertically integrated Terafab model threatens traditional foundries. 3. **Robotics/Industrial:** Technologies for space mining, lunar construction, and in-orbit servicing are advancing with direct feedback to terrestrial applications in autonomous machinery and navigation. In conclusion, the space economy is already acting as an accelerator for Earth's industries through Starlink's scale, Starship's cost curve, and strategic projects like Terafab, with the most immediate impacts felt in power, semiconductors, and robotics.

marsbit22h ago

HSBC Research Report Analysis: Behind 12 Million Starlink Users, the Space Economy is Feeding Back to Earth

marsbit22h ago

Just Now, For the First Time in Human History, AI Cures Cancer

A Historic Leap: First AI-Designed, Personalized mRNA Cancer Therapy Succeeds in Phase 3 Trial In a landmark achievement for oncology, Moderna and Merck announced that their personalized mRNA cancer vaccine, intismeran autogene, has met its primary and key secondary endpoints in a global Phase 3 trial for high-risk melanoma. This marks the first successful Phase 3 result for an mRNA cancer therapy and a pioneering example of AI-driven, individualized medicine. The trial involved 1,137 patients with surgically resected stage IIB-IV melanoma. Participants received either the personalized mRNA vaccine combined with Merck's PD-1 inhibitor Keytruda or Keytruda alone. The combination therapy demonstrated a statistically significant and clinically meaningful improvement in recurrence-free survival (RFS) and distant metastasis-free survival (DMFS). The breakthrough lies in the "one-patient, one-therapy" approach. After tumor removal, AI algorithms analyze the patient's tumor DNA to identify up to 34 unique neoantigens—protein fragments specific to their cancer cells. Moderna's automated platform then designs and manufactures a custom mRNA vaccine encoding these targets. When administered, the vaccine trains the patient's immune system to recognize and destroy residual cancer cells expressing those neoantigens, while Keytruda helps activate the immune response. This success validates a powerful platform technology. Moderna and Merck are already expanding trials to other solid tumors, including non-small cell lung cancer and pancreatic cancer. With regulatory submissions planned, the therapy could be available for patients as early as 2027. The achievement signifies a new era where AI and mRNA technology converge to create highly targeted, effective cancer treatments.

marsbit23h ago

Just Now, For the First Time in Human History, AI Cures Cancer

marsbit23h ago

UBS Research Report Analysis: Murata's MLCC Factory Opens to the Public for the First Time in 20 Years, 20% Production Increase Potential from Optimization of Existing Assets

On August 18, UBS analysts visited Murata's Fukui Takefu factory, its first public opening in about 20 years. As the global MLCC leader with ~35% market share, this plant serves as the mother factory for advanced MLCCs used in AI servers and premium smartphones. UBS confirmed key findings: deep technical barriers remain, existing equipment holds ~20% latent production capacity, and physical expansion is nearing its limits. Murata's competitive edge lies in a closed-loop system encompassing proprietary ceramic material uniformity control, capacitance-maximizing self-developed technology, and self-built production equipment—a "black box" model difficult to replicate. Its flexible segmented production system efficiently manages over 50,000 product types. With new facility construction constrained and equipment lead times lengthening, optimizing existing lines becomes a crucial, lower-cost path to increase output. Murata's strategy involves shifting generic production to overseas sites like Thailand while focusing Japanese facilities on advanced, high-margin products. UBS projects significant operating margin expansion from 15.4% in FY2026 to 37.6% in FY2029, driven by this product mix upgrade toward high-capacitance, small-size MLCCs for AI and smartphones. Primary risks include U.S. economic slowdown, technology diffusion in Asia, and circuit integration trends. UBS maintains a positive industry outlook, noting potential for guidance upgrades, and sets a 13,200 yen target price based on a 30x FY2029 P/E, implying ~76% upside contingent on successful MLCC product structure advancement.

marsbitYesterday 04:35

UBS Research Report Analysis: Murata's MLCC Factory Opens to the Public for the First Time in 20 Years, 20% Production Increase Potential from Optimization of Existing Assets

marsbitYesterday 04:35

活动图片