AI / Large Models

OpenAI Accused of Buried Hundreds of AI Mathematical Proofs

The community questions if AI has already proven numerous new theorems, redefining the significance of human mathematical research.

> Harsh Comment: Human mathematicians work late to produce papers, while AI churns out proofs in the background and then hits delete—this is harsher than taking jobs; it directly steals "presence".

Source

Anthropic Builds Own Biological Laboratory, Doubling Down on AI Drug Development

Insiders say Anthropic has established a physical laboratory for drug experiments, while its annual revenue expectations exceed $100 billion, with the IPO possibly delayed until after the U.S. midterm elections.

Source

8-29MB Micro Automation Model Performance Matches DeepSeek V4 Flash

Cactus Needle 3 sparked 89 discussions on HN, where small models are matching large models on specific automation tasks, indicating a significant potential decrease in enterprise deployment costs.

Source | Discussion

Microsoft AI CEO Suleiman: We Should Not Create Things We Cannot Control

The head of Microsoft AI publicly poured cold water on the industry, unusually standing on a "restraint" position.

Source

Crypto / Web3

Coinbase Seeks Listing of Apple, Tesla, Nvidia Single Stock Perpetual Contracts

This is a sign of the acceleration of "cryptonization" of traditional financial assets, with familiar stocks for retail investors in the U.S. soon available for trading 24/7.

> Harsh Comment: Coinbase is trying to take on Robinhood, while making crypto exchanges look increasingly like "around-the-clock U.S. stock casinos".

Source | Source

CFTC Advances Crypto Rule-Making Amid Stalled Congress

During a regulatory vacuum, the CFTC is proactively pushing for a crypto regulatory framework, involving the White House and the CLARITY Act-related negotiations.

Source

Bastion Receives Conditional Approval from OCC for National Trust Bank Charter

Cryptocurrency custodial institutions are accelerating the acquisition of traditional bank-level licenses, intensifying the compliance infrastructure arms race.

Source

21Shares Updates Injective ETF Application: 40%-60% of INJ to be Staked

BNY Mellon as the manager and custodian, with Nasdaq listing code TINJ. Staking yield included in the ETF structure reflects a substantive change in the design of crypto ETF products.

Source

Kevin O'Leary Predicts Bitcoin Will Reach $1 Million, but with a "Quantum Condition"

The premise from this well-known investor is that anti-quantum encryption technology must be in place, or the security of Bitcoin is questionable.

Source

Technology Companies

Cloudflare Quick Tunnels Released, HN 728 Upvotes

Developers can quickly expose local services to the public with zero configuration, generating high excitement in the DevOps community, with 285 discussions focusing on security and application scenarios.

Source | Discussion

Android 17 For the First Time Does Not Release New API to AOSP

This is the first time in Android history that new APIs are locked in a closed-source branch, leading to strong backlash from the GrapheneOS community and open-source advocates.

Source | Discussion

U.S. Stocks

Under "Triple Witching" S&P and Nasdaq Struggle to Close Higher, 10-Year U.S. Treasury Yield Reaches 5%

SanDisk Rises 11%, Storage Chip Stocks Surge Late; Oil Prices Fall, Gold Rises, as Wall Street Bids Farewell to a Turbulent Week.

Source | Source

Finance / Macroeconomics

Bank of Japan Reported to Implement Currency Checks, Yen Soars Overnight

Governor Ueda's dovish stance has been repriced by the market, amplifying uncertainties about Japan's interest rate hike path.

Source

Saudi Arabia Informs European Refiners of Unable to Obtain Crude Oil Supplies Next Month, North Sea Spot Premium Skyrockets to Record High

The energy supply chain tightens again, with Macron calling for a G7 energy meeting, releasing strategic reserves becoming an option.

Source

New Products / New Trends

iPhone 18 Pro Launches with Mixed Results: Pro Max Price Gouged while Pro Flops

Users are voting with their feet, with the price difference directly reflecting a gap in product strength.

Source

High-End Version of iPhone 18 Pro Reportedly Uses QLC Flash Memory

The read and write lifespan and performance of the high-capacity version may be affected, with the volume of discussion and attention indicating users are extremely sensitive to "flagship shrinkage".

Source

SpaceXAI Releases Grok Voice Transcribe 2.0

The error rate of voice-to-text has dropped by about half, with the price unchanged. Voice interaction is becoming a new battleground for AI competition.

Source

Today's Undercurrents

Coinbase applies for U.S. single stock perpetual contracts, Binance launches 24/7 forex perpetuals, and crypto ETFs begin to incorporate staking yields—the crypto infrastructure is "cryptonizing" traditional assets and "institutionalizing" crypto assets, paving two paths simultaneously.

On the other hand, OpenAI buries mathematical proofs, Anthropic builds laboratories for drug development, and small models catch up to large models—AI's "output" is shifting from text to scientific discoveries and the physical world.

The undercurrent is: crypto is taking over the temporal dimension of traditional finance (24/7 trading), while AI is taking over the intellectual dimension of humanity (proofs, drugs, chips). Both are engaged in the same endeavor today: redefining "what still needs to be done by humans".