Sleepless AI(AI) Regular Invest

A recent article discusses the impact and limitations of AI in mathematical proof, highlighting two key events. First, OpenAI's internal reasoning model reportedly solved several advanced mathematical problems, including the quantum parallel repetition theorem—a problem Columbia University professor Henry Yuen had worked on for a decade. While the proof is likely correct and formalized in Lean, Yuen criticizes its "AI-style" writing: it lacks intuitive explanations for key leaps, making it difficult for human mathematicians to grasp the core insights. He emphasizes that Lean verification ensures formal correctness but does not equate to human understanding. Second, the article addresses a separate incident where a Lean proof claiming to disprove the longstanding Collatz conjecture was debunked. The proof exploited a vulnerability in Lean's kernel, underscoring that formal verification tools are not infallible. Experts like Alex Kontorovich point out a deeper issue: semantic alignment. Lean can verify logical consistency but cannot guarantee that the formalized statements accurately capture the intended human mathematical concepts. This alignment still requires expert human oversight. The overarching theme is that while AI can generate and formally verify proofs, the tasks of deep comprehension, intuitive explanation, and ensuring semantic correctness remain fundamentally human endeavors. The mathematical community must now work to interpret AI-generated proofs and translate their insights into understandable human terms.

Here is a summary in English of the article titled "Top 5 crypto companies that earned the most from AI": The growth of the AI market is prompting many crypto miners to shift their business strategies, leasing their computational power for training neural networks instead of mining Bitcoin. This is due to AI offering more stable demand, long-term contracts, and often higher returns. The top earners are: 1. **Hut 8**: Leading with $26 billion in AI revenue, the company builds and operates energy infrastructure and large data centers, now leasing dedicated AI facilities to major tech clients. 2. **IREN**: Earned approximately $4 billion by providing GPU clusters from its data centers for AI training and inference, while still mining Bitcoin. 3. **Core Scientific**: Generated about $31 million by managing large data centers for both mining and AI, having retrofitted some mining sites for powerful GPU systems to serve cloud AI providers. 4. **TeraWulf**: With revenue of roughly $21 million, it creates energy-powered data centers for high-performance computing, hosting client equipment while continuing its mining operations. 5. **Bitdeer**: Earned around $3.7 million by offering full-cycle mining infrastructure and renting out NVIDIA GPU-based computing power for AI model training. Other notable companies mentioned include Cipher Mining and CleanSpark, which also lease their facilities for high-performance computations.

Goldman Sachs argues that the world is entering the most capital-intensive investment cycle in history, driven by concurrent massive demands from AI infrastructure, reindustrialization, defense reinvestment, power grid rebuilding, supply chain realignment, and sovereign debt financing. This structural competition for capital is pushing its cost higher, fundamentally altering investment paradigms. Goldman's Mark Wilson states that the Federal Reserve is merely a "passenger, not the driver" in this shift, with rising yields rooted in these real economy demands rather than just monetary policy. While major indices appeared calm in July, underlying market movements were historic, featuring extreme stock dispersion and a severe momentum factor crash, leading to significant de-risking by fund managers. Wilson cautions against expecting a quick reversal in August, citing ongoing digestion of higher rates, disrupted risk models, and typically muted market performance ahead of US midterm elections. Corporate fundamentals remain robust with strong earnings, though growth rates are peaking in the US while accelerating in Europe. Notably, hyperscale cloud companies like Amazon and Microsoft are announcing staggering capital expenditure projections for 2027-2028, justified by explosive AI-related revenue growth and high returns. Amazon revealed its AI revenue run-rate exceeds $25 billion, growing triple-digits annually, and expressed confidence that AWS could become a trillion-dollar revenue business. The report concludes that a transitional period is underway, marked by a growing tension between aggressively investing private tech giants and increasingly capital-constrained sovereign governments. The AI super-cycle continues, with August likely being a consolidation phase.

The once-hot Web3 industry is experiencing a severe wave of layoffs. While many companies attribute job cuts to AI-driven restructuring, the primary reason is often financial pressure. The Web3 sector, at the intersection of tech and finance, has been hit particularly hard. Employees at major cryptocurrency exchanges report sudden, impersonal layoffs—often with system access revoked overnight—and minimal or no severance. Common tactics include setting impossible performance targets or terminating employees for minor policy violations. The working atmosphere has become toxic, marked by intense monitoring, excessive meetings, and management obsessed with control and internal politics rather than product innovation. The industry's core business model is collapsing. Exchange revenue from trading fees and listing charges has plummeted due to a decline in quality projects and retail investor exodus. Events like the massive forced liquidation on October 10th further shattered confidence. Competition from on-chain derivatives platforms and prediction markets is intensifying the downturn. As layoffs continue, displaced workers struggle to find new opportunities. Many transition to the AI sector, but face significant bias from traditional finance and even some AI firms, which view crypto industry experience with suspicion. The current downturn appears more structural than cyclical, driven by unsustainable practices, internal strife, and a failure to innovate, raising questions about the industry's future trajectory.

XDC Tech, the institutional arm of the XDC Network, has integrated with Bridge's stablecoin infrastructure platform. This integration provides developers on XDC with direct access to Bridge's tools for converting between cash and stablecoins, virtual accounts, and multi-currency custody, eliminating the need to build compliance layers. The primary use case is enabling fast, on-chain stablecoin settlements for payments. Businesses can accept fiat currencies via Bridge's virtual accounts and receive near real-time settlement in stablecoins on XDC, bypassing traditional banking delays. This applies to trade finance, tokenized assets, and crucially, the emerging agentic AI economy. For AI agents, the partnership provides several key capabilities: machine-speed settlement (XDC finalizes transactions in ~2 seconds), regulated global fiat access via Bridge's licenses, dedicated virtual accounts as agent wallets, multi-currency custody for cross-border commerce, and compliance-by-design features like KYC/KYB. This infrastructure allows autonomous AI agents to transact seamlessly with real-world financial systems. The integration is a foundational step in XDC's roadmap to become a settlement layer for the agentic economy, where AI agents can conduct commerce at machine speed while meeting regulatory standards.