BTC $78,824 -0.6%ETH $2,496 -0.1%Fear & Greed 66 Greed

Today at a glance

Hacks and security vulnerabilities dominate today's crypto market, with Liquid Network losing $320M, Cronos rollback reversing $111M exploit, and quantum resistance deadline set.

3 signals
  • Liquid Network exploitLiquid Network lost ~4,000 BTC, with 3,400 BTC returned and ~600 BTC still outstanding.#01
  • Cronos rollbackCronos validators rolled back 10,961 blocks to reverse ~$111.2M from Tectonic exploit, but $9.19M left the network.#02
  • Quantum deadlineEthereum Foundation set December 2029 as non-negotiable quantum-resistance deadline, requiring hard forks every ~7.2 months.#03

Stories are ranked by impact; the first three are the edition highlights. This edition displays 14 of 273 candidates.

#01
CryptoEdition highlightEvent record
9.0

Liquid Network hackers steal $320M in Bitcoin, return most after patch

Attackers exploited a vulnerability in Liquid Network's Elements software to mint unbacked L-BTC and drained roughly 4,000 BTC (~$320 million) from its reserve. About 3,400 BTC were returned on Sept. 7, and Blockstream is negotiating to recover the remaining ~600 BTC after patching bridge nodes and preparing an emergency update.

This is one of the largest exploits involving a Bitcoin sidechain and directly tests how much trust users place in federated pegs and wrapped Bitcoin products. It shows that transaction-validation failures can jeopardize user funds even when no private keys or federation nodes are compromised.

Liquid's reserve fell from about 4,205 BTC to 197 BTC before operations were halted; Liquid said USDT and other Liquid-issued tokens were unaffected by the vulnerability, though users could not transact during the pause. The validation failure occurred at the transaction level before the peg-out was initiated, so SideSwap's node and Liquid's distributed functionary nodes accepted the unbacked L-BTC, and roughly 600 BTC (~$47 million) remains outstanding.

gdelt · siliconangle.com · · 6 sources

Background, discussion, and references

Market impact

The incident directly touches the peg and redemption infrastructure for L-BTC and Liquid-issued assets, so institutions and exchanges relying on Liquid may face liquidity and trust frictions. Market effects, if any, would flow through custody and validator-settlement confidence rather than the Bitcoin base chain; further impact depends on the final recovery and network restoration, not any predetermined direction.

Background

The Liquid Network is a Bitcoin sidechain run by the Liquid Federation, in which a distributed set of functionary nodes manages the mainchain and sidechain. To use it, users send real BTC in a peg-in transaction and receive L-BTC, an asset designed to be backed 1:1 by Bitcoin held by the federation. Peg-out mechanisms allow whitelisted addresses to redeem L-BTC for the reserve Bitcoin. In this incident, the flawed L-BTC was created through a bug in Elements, the open-source software powering Liquid, and then swapped through SideSwap for real BTC.

Discussion

Commentary focused on skepticism about the white-hat designation: Ledger CTO Charles Guillemet called the decision to keep 600 BTC more like extortion than white-hat hacking. The broader discussion also noted that the returned BTC alone does not guarantee full L-BTC backing or restored withdrawal and redemption access while bridge nodes remained down.

References

Tags

#security#bitcoin#Liquid Network#exploit#recovery

#02
CryptoEdition highlightEvent record
8.5

Cronos Rollback Reverses $111M Tectonic Exploit, Erases Two Hours of Transactions

Validators on Cronos halted the network and rolled back 10,961 blocks, discarding 1 hour 54 minutes of transactions to reverse roughly $111.2 million taken in the Tectonic exploit. Block production resumed after about nine hours, but $9.19 million that had already left the network remains unrecovered.

The intervention overrides blockchain finality—the usual guarantee that confirmed transactions are permanent—affecting every legitimate transaction made during the rollback window. It sets a notable precedent for how validators might respond to large DeFi exploits and could shape user trust in Cronos and Crypto.com-affiliated systems.

The attacker inflated TONIC's price on low-liquidity decentralized exchange markets, then borrowed approximately $120.4 million across nine markets against the inflated collateral. Every transaction in the 1-hour-54-minute window was reversed, including unrelated activity, and open positions on live apps were repriced when trading resumed.

rss · Decrypt · · 2 sources

Background, discussion, and references

Market impact

The rollback sets a governance precedent that could make users and developers reassess trust assumptions on Cronos, potentially affecting liquidity and activity in Cronos DeFi markets and related tokens, since finality was overridden. That said, roughly 92% of affected funds were retained on-chain, and any market effects depend on how the ecosystem responds; this is not investment advice.

Background

Cronos is an Ethereum-compatible blockchain network backed by Crypto.com, and Tectonic is a lending protocol built on it where users can borrow crypto by depositing collateral. In this incident, the hacker manipulated TONIC's price on thin markets and borrowed large sums against the inflated value. A blockchain rollback restores the ledger to an earlier state, discarding all blocks and transactions after that point; the alternative—restarting without restoring state—would have left the borrowed assets in the attacker's control.

References

Tags

#security#exploit#cronos#defi#blockchain

#03
CryptoEdition highlightEvent record
8.5

Ethereum sets December 2029 deadline for quantum resistance

On Sept. 7, the Ethereum Foundation's Protocol cluster said the December 2029 quantum-resistance deadline is non-negotiable, reshaping upcoming upgrades. The next post-Glamsterdam upgrade, Hegotá, will protect two headliners, FOCIL and Frame Transactions (EIP-8141), for the post-quantum roadmap.

This marks a major protocol-roadmap decision: Ethereum is planning from a fixed and aggressive security deadline rather than waiting for more certainty about a quantum threat. That shift prioritizes post-quantum engineering over optional features and could determine which Ethereum hard forks make the cut in the coming years.

Developers are weighing moving post-quantum attestations forward from the L* upgrade to K*, while pushing mandatory execution proofs back to L*, trading zkEVM timeline progress for faster quantum hardening, although the swap has not been approved. Reaching full readiness by December 2029 would require hard forks roughly every 7.2 months on average, a cadence the Foundation calls aggressive; a minimum viable post-quantum milestone, MV-PQ, at J* is the fallback if that cadence slips.

rss · CoinDesk · · 3 sources

Background, discussion, and references

Market impact

A fixed 2029 quantum deadline raises the stakes for Ethereum's hard-fork cadence, and any delay or developer disagreement over the K*/L* content swap could influence confidence in the network's upgrade execution. In the longer run, post-quantum attestations and validator-signature changes touch staking security assumptions, a channel through which ETH and staking-related ecosystem assets could be reassessed by market participants as the risk picture evolves.

Background

Quantum-resistant cryptography is being prepared because a sufficiently powerful quantum computer could one day break the public-key cryptography securing today's blockchains. The Ethereum Foundation is not predicting such a machine by 2030; it is treating that date as the earliest possible "Q-day" and working backward from it. Ethereum's planned approach relies on account abstraction and Frame Transactions (EIP-8141) to let individual accounts migrate to post-quantum signatures gradually rather than via a disruptive protocol-wide "flag day." The December 2029 window also broadly matches independent post-quantum migration targets set by Google, Cloudflare, and Microsoft.

References

Tags

#ethereum#quantum-resistance#protocol-upgrade#security

#04
8.5

Liquid Network Bitcoin Hack Drains $320 Million

The Liquid Network, a blockchain settlement layer used by several cryptocurrency exchanges to move Bitcoin, was hacked for $320 million. The network halted all transactions after the exploit, which was reported around September 7, 2026.

This is one of the latest major breaches to shake confidence in digital-asset security, and it exposes risks in the settlement infrastructure exchanges depend on. The incident may lead to stricter scrutiny of sidechain security and affect trust in exchange-related Bitcoin custody and transfer methods.

Liquid Network is a Bitcoin sidechain designed to allow faster and more confidential transfers between exchanges. CoinDesk reported that the hacker made a conditional offer, with the attackers claiming they were 'the good guys.'

gdelt · freemalaysiatoday.com · · Single source

Background, discussion, and references

Market impact

Because Liquid Network is a settlement layer used by exchanges to move Bitcoin, the exploit may disrupt exchange settlement and custody flows that rely on it, and it could dampen sentiment toward Bitcoin sidechains. The transmission channel is operational and reputational risk to crypto infrastructure rather than a direct attack on the Bitcoin mainnet.

Background

Liquid Network is a Bitcoin sidechain: a separate blockchain that runs alongside Bitcoin, allowing exchanges to settle transactions more quickly and privately than on the main blockchain. Users lock bitcoin on the main chain and receive a corresponding balance on Liquid for faster settlement. Because it is an additional layer, a vulnerability in its code can put funds at risk even though Bitcoin's main blockchain itself is not directly compromised.

References

Tags

#bitcoin#hack#security#crypto

#05
8.5

Tether-backed Chilean exchange Orionx freezes withdrawals after $7M custody loss

Chilean crypto exchange Orionx has begun a permanent shutdown and frozen customer withdrawals after a forensic audit found that more than $7 million in customer assets were moved to wallets outside its control. The collapse comes less than a year after Tether invested in Orionx in June 2025, following an earlier investment by affiliated exchange Bitfinex in 2023.

This event highlights how fragile user protections remain in crypto markets, especially where a prominent stablecoin issuer like Tether has backed an exchange. Affected users face uncertain recovery because Chile's CMF says it cannot compel Orionx to repay assets, and the situation may further undermine confidence in custodial exchanges and their backers.

Chile's CMF rejected Orionx's registration and authorization application on June 19, ending the transitional arrangement that had allowed it to operate while the application was reviewed. The failure leaves more than 100,000 registered users in limbo; Orionx has notified prosecutors and filed a criminal complaint against former executives, but its closure tracker remains at the first of five stages, with balance reconciliation and approval of a restitution plan still required.

rss · CryptoSlate · · Single source

Background, discussion, and references

Market impact

The episode could transmit to crypto markets mainly through a confidence channel: Tether is a prominent brand in stablecoin markets, and its backing of Orionx ties the collapse to a well-known industry player, potentially making users more cautious about custodial exchanges and Tether-affiliated ventures in the region. Any effect on asset prices would be indirect and would depend on how market participants reassess counterparty and due-diligence risk, not on Orionx itself being a systemically relevant venue.

Background

Orionx is one of Chile's well-known crypto exchanges and had been allowed to keep operating under a transitional arrangement while applying for registration under Chile's Fintech Act (Ley 21.521). A forensic audit is a detailed, independent review of records and wallet movements, tracing exactly what happened to customer funds rather than merely proving reserves at a moment in time. Chile's market regulator CMF has authority over crypto-asset service providers under that law, but its ability to act is limited when an exchange was not registered or authorized.

References

Tags

#exchange-failure#withdrawal-freeze#custody-loss#Tether#Chile

#06
8.5

22-Year-Old Crypto Ringleader Pleads Guilty to $245M Racketeering Scheme

Malone Lam, a 22-year-old ringleader, pleaded guilty to heading an international social engineering scheme that stole approximately $245 million in cryptocurrency. The guilty plea marks a major breakthrough in the high-profile crypto crime case.

This case underscores the growing scale and sophistication of social engineering attacks targeting cryptocurrency holders, and it demonstrates how law enforcement is using racketeering charges to pursue digital-asset criminals. The outcome could heighten scrutiny on security practices and contribute to stricter regulatory and legal precedents across the crypto industry.

Lam led an international operation that used social engineering tactics such as impersonation and account takeovers to gain access to victims' cryptocurrency wallets. The $245 million figure places the case among the largest crypto theft prosecutions, and the charges reflect the organized, conspiracy-based nature of the scheme.

rss · The Block · · Single source

Background, discussion, and references

Market impact

News of a large crypto theft and a guilty plea can reinforce concerns about crypto crime risks and invite stronger regulatory attention, but direct market transmission is limited because the stolen assets were taken through social engineering rather than an exchange breach. The broader effect is likely on sentiment and on compliance pressure for crypto exchanges and custody providers to improve user protections.

Background

Social engineering is a form of psychological manipulation that tricks people into revealing confidential information or performing actions that compromise their security; in crypto scams it often involves phishing, fake customer support, or SIM-swapping to steal wallet credentials. U.S. authorities, including the Department of Justice and IRS criminal investigation units, have increasingly pursued cryptocurrency criminals under conspiracy and racketeering statutes in addition to traditional wire fraud charges, treating sophisticated theft rings as organized crime.

References

Tags

#crypto-crime#regulation#security#legal

#07
AI & TechEvent record
8.5

OpenAI Claims AI-Generated Navier–Stokes Millennium Prize Solution

OpenAI announced a purported solution to the Navier–Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize Problems, claiming the proof was produced by an internal AI system. The result asserts that the governing fluid equations can develop a singularity in finite time.

This announcement is a high-profile test of whether an AI system can make original progress on a famous open problem that has resisted mathematicians for decades. If the proof holds up, it could reshape expectations about AI-driven mathematical research and force new norms for verification, peer review, and early sharing of scientific work.

The claimed proof has not been independently verified or peer-reviewed, and the announcement is already being compared to previous disputed AI-generated mathematics. Community discussion also flags questions about provenance — including allegations that the work builds on another researcher’s unpublished findings — and notes the extremely short training timeline of the model involved.

hackernews · OpenAI Blog · · Discussion · 3 sources

Background, discussion, and references

Background

In 2000, the Clay Mathematics Institute designated seven Millennium Prize Problems, each with a one-million-dollar prize for a correct solution. The Navier–Stokes problem asks whether solutions to the equations of fluid motion always remain smooth and well-defined for all time, or whether singularities can form in finite time. A rigorous example of finite-time blow-up would resolve the problem negatively, but no such proof has yet been accepted by the mathematical community.

Discussion

The Hacker News discussion mixes heavy skepticism with genuine fascination. Several commenters reference Terence Tao’s warning that premature AI-powered effort around unannounced ideas could discourage researchers from sharing promising directions, while others point to documents claiming the result is built on another researcher’s actual work and prompts. One commenter marvels at the reported pace of capability growth, and another argues the episode raises governance questions about who controls such AI systems and underscores that natural science is not purely computational.

References

Tags

#ai-labs#ai-research#mathematics#openai#navier-stokes

#08
AI & TechEvent record
8.5

AlphaGenome Atlas: AI predictive map of every possible human DNA letter change

Google DeepMind has introduced AlphaGenome Atlas, an AI-powered predictive map of every possible single-letter change in the human genome. The searchable catalogue contains molecular-effect predictions and AVI scores for roughly 9 billion single-nucleotide variants across coding and non-coding regions.

Most disease-associated variants lie in the non-coding 98% of the human genome, which previous tools struggled to interpret at scale. AlphaGenome Atlas turns those predictions into a searchable public resource that could accelerate rare-disease diagnosis, variant prioritisation and drug target discovery.

The underlying AlphaGenome model takes up to 1 megabase of surrounding DNA as input, avoiding the usual trade-off between sequence context length and prediction resolution. The Atlas covers around 9 billion single-nucleotide variants and is freely accessible online without requiring an institutional affiliation.

hackernews · utiiiD · · Discussion · Single source

Background, discussion, and references

Background

The human genome consists of about 3 billion DNA base pairs, and small differences at individual positions (single-nucleotide variants) are linked to numerous diseases and traits. Most computational variant-effect predictors have been limited to short sequence windows or protein-coding regions, leaving long non-coding DNA poorly understood. AlphaGenome builds on DeepMind's broader AI-for-science work and provides a unified DNA model that can reason over much longer genomic stretches.

Discussion

Hacker News readers reacted positively but raised practical questions, such as whether promoter sequences and regulatory grammar are fully represented and whether consumer genomes like 23andMe data can be uploaded for analysis. Others pointed out that the affiliation box is optional and shared a Science blog critique noting that the Atlas's predictions lack broad experimental validation.

References

Tags

#AI#genomics#DeepMind#research

#09
7.5

Tokenized Equities Trade $1 Billion Over Weekend While Stock Market Shut

The 42 largest tokenized equities generated $1.01 billion in combined trading volume on Saturday and Sunday, roughly matching a typical Friday session, with an additional $398.3 million on Labor Day. Robinhood Chain processed $572.8 million of that weekend total.

This milestone underscores the growing demand for 24/7 trading and shows that blockchain rails can handle meaningful volumes of traditional stock-like assets. It signals accelerating convergence between traditional finance and crypto infrastructure, potentially drawing more institutions and retail users into tokenized markets.

A single tokenized Nasdaq-100 fund on BNB Chain accounted for $180.5 million of the weekend volume by itself. Robinhood Chain, an Ethereum-compatible Layer-2 built on the Arbitrum Orbit stack, handled more than half of the weekend trading.

rss · The Defiant · · Single source

Background, discussion, and references

Market impact

The weekend trading volume illustrates that tokenized equity products can draw activity even when traditional exchanges are closed, reinforcing the viability of public blockchains as trading venues. Chains hosting these assets, such as BNB Chain and Robinhood Chain, could see increased usage and fee generation, while crypto exchanges and platforms offering tokenized stocks may benefit from elevated attention and inflows.

Background

Tokenized securities are traditional financial instruments, such as stocks, bonds, or fund interests, represented as crypto assets recorded on a blockchain or distributed ledger. Regular stock exchanges typically close on weekends and holidays, which creates an opening for tokenized versions that can trade around the clock. Robinhood Chain is a permissionless, Ethereum-compatible Layer-2 designed for onchain financial services, while BNB Smart Chain is a high-performance, EVM-compatible Layer-1 blockchain.

References

Tags

#tokenized equities#crypto markets#24/7 trading#Robinhood Chain#BNB Chain

#10
7.5

Bybit Adds 24/7 FX Majors to Crypto Derivatives Account

Bybit has expanded its crypto derivatives account to include 24/7 trading of major FX pairs, allowing users to trade traditional currencies alongside digital assets. The announcement was reported by TradingView.

This move bridges traditional forex and crypto derivatives, giving traders diversified exposure without leaving a crypto-native platform. It reflects a wider trend where crypto exchanges are integrating traditional assets to attract institutional and retail liquidity.

Bybit's FX offering includes majors such as EUR/USD, GBP/USD, USD/JPY, AUD/USD, and USD/CAD, accessible within the derivatives account. The platform also supports CFD trading on currencies, metals, indices, and stocks via MetaTrader 5, with competitive fees and 24/7 customer support.

google_news · TradingView · · Single source

Background, discussion, and references

Market impact

The integration of FX into a crypto derivatives account lets traders use crypto collateral or margin for forex exposure, potentially increasing demand for stablecoins and exchange-native tokens used as margin. It also expands the exchange's addressable market, though direct price effects on crypto assets are indirect; the more relevant impact is on Bybit's competitive positioning against hybrid and traditional brokers.

Background

Traditionally, forex markets trade nearly 24 hours a day during the business week but close on weekends. Bybit, primarily a crypto derivatives exchange, now extends 24/7 access to FX pairs through its derivatives infrastructure, eliminating the weekend gap. Other exchanges such as BitMEX have also launched 24/7 FX perpetual swaps, highlighting a convergence of crypto and traditional trading products.

References

Tags

#Bybit#FX trading#derivatives#exchange expansion#crypto-fiat integration

#11
7.5

Robinhood takes minority stakes in Crypto.com, OG.com in prediction-markets deal

Robinhood announced a multi-year deal with OG.com to route its prediction-market event contracts through OG.com's CFTC-regulated derivatives exchange and clearinghouse. As part of the arrangement, Robinhood received minority equity stakes in both Crypto.com and OG.com, with the rollout beginning Tuesday for eligible US customers.

The deal links a major US retail brokerage with Crypto.com's ecosystem and CFTC-regulated event-contract infrastructure, giving prediction markets deeper institutional backing. It also underscores how quickly Robinhood's prediction-markets business has grown, with event contracts overtaking equities and crypto transaction revenue in the second quarter.

Robinhood's stakes are priced at valuations set by an earlier Citadel Securities investment in the platforms, though the size and value of the holdings were not disclosed. OG.com was recently spun off from Crypto.com at a $5 billion valuation and plans to expand beyond prediction markets into futures and perpetual contracts.

rss · Cointelegraph · · 4 sources

Background, discussion, and references

Market impact

The announcement coincided with a roughly 3.4% premarket gain in HOOD shares and a move in Crypto.com's CRO token toward a weekly high near $0.063. The partnership ties Robinhood's event-contract volume to Crypto.com-affiliated infrastructure, making CRO sentiment sensitive to adoption and regulatory developments in US prediction markets.

Background

Prediction markets let users trade event contracts, a type of financial derivative tied to outcomes such as elections, awards, or sports results. In the US, these products are often offered through CFTC-regulated exchanges and clearinghouses. Robinhood launched its prediction-markets hub in March 2025 with Kalshi, and the business has grown rapidly. The space is facing legal challenges, with states such as Nevada and New Jersey seeking to apply gambling laws to sports-related contracts.

References

Tags

#Robinhood#Crypto.com#prediction markets#CFTC#event contracts

#12
7.5

Visa Ties VisaNet Data to Onchain Lending for Stablecoin Cards

Visa announced on Tuesday it is combining VisaNet settlement data with blockchain-based lending infrastructure, allowing lenders to use transaction records to finance stablecoin-linked card programs' working capital needs. Visa cited Credit Coop, which has financed over $2.5 billion in settlement volume since 2023, as an early example.

The initiative marks a significant step in institutional adoption by linking onchain credit with mainstream card payment settlement, effectively expanding decentralized lending beyond crypto-native markets. If successful, it could give fintechs and card programs easier access to working capital and deepen stablecoin's role in real-world commerce.

Visa reported that stablecoin settlement volume through its network has surpassed a $20 billion annualized run rate, more than 15 times year-ago levels, and that stablecoin-linked payment volume is up nearly 200% year over year across over 160 card programs. The company also noted that onchain lending protocols have processed more than $694 billion in stablecoin loans since 2020, citing Visa's analytics dashboard.

rss · Cointelegraph · · 3 sources

Background, discussion, and references

Market impact

The primary transmission channel is operational and infrastructure-based: linking Visa settlement data to onchain credit could raise stablecoin transaction volumes, increase usage of payment-focused stablecoins such as USDC and USDT, and potentially deepen demand for the blockchains used in settlement. Actual market outcomes remain contingent on lender adoption and program growth, not on any direct asset buying or selling signal.

Background

VisaNet is Visa's global payment processing network that handles authorization, clearing and settlement for card transactions. Stablecoin-linked card programs let users spend stablecoins like USDC or USDT at merchants, with the underlying value converted to fiat at settlement. Visa is increasingly integrating with stablecoin infrastructure; it has also joined OpenStandard, a consortium planning to issue the OpenUSD stablecoin. By feeding VisaNet settlement data into blockchain lending protocols, lenders gain an additional, trustworthy data source for underwriting credit.

References

Tags

#stablecoins#Visa#blockchain lending#payments#institutional adoption

#13
7.5

White House Modifies Scope of Tariffs on Canadian Motor Vehicles

The White House has issued a proclamation modifying the scope of Canadian products subject to additional duties first imposed under Proclamation 11048 of July 20, 2026. The duties were adopted to counter what the US determined to be Canada's discriminatory tariffs on US motor vehicles.

This action continues US enforcement against Canadian automotive trade practices and will affect automakers and parts suppliers whose supply chains cross the border. It also signals that Washington is willing to keep using Section 338 of the Tariff Act as leverage in bilateral trade disputes.

The proclamation operates under Section 338 of the Tariff Act of 1930 (19 U.S.C. 1338). Proclamation 11048 had found that Canada's United States Surtax Order (Motor Vehicles 2025), SOR/2025-118, imposed tariffs only on US motor vehicles while treating other countries more favorably. The new proclamation refines the list of affected Canadian products.

rss · White House Presidential Actions · · Single source

Background, discussion, and references

Market impact

Because the measure applies narrowly to Canadian motor-vehicle products, its direct effect on crypto markets is limited. Any impact would come indirectly through changes in broader trade-war risk sentiment and risk appetite across global markets.

Background

Section 338 of the Tariff Act of 1930 allows the President to impose added duties on imports from countries that discriminate against US commerce. In July 2026, Proclamation 11048 applied additional duties to Canadian motor vehicles after Canada's Surtax Order targeted US-built vehicles. This latest proclamation adjusts the product scope of those duties, reflecting continued friction between the two neighbors over automotive trade despite their broader USMCA partnership.

References

Tags

#trade policy#tariffs#US-Canada#macro-regulation#automotive

#14
AI & TechEvent record
7.5

OpenAI Claims Navier-Stokes Breakthrough; Rival Mathematician Disputes Credit

OpenAI announced that its internal AI models, coordinated as roughly 10,000 agents over 88 hours, produced a Lean-verified proof that the Navier-Stokes fluid equations can blow up. Hours earlier, NYU mathematician Tristan Buckmaster accused OpenAI of trying to claim priority for work he and Anthropic's Levent Alpöge had already completed.

The Navier-Stokes problem is one of the Clay Mathematics Institute's seven Millennium Prize Problems, each worth $1 million, so a verified blow-up proof would be a landmark in mathematics and a striking demonstration of AI in formal reasoning. The priority dispute also raises important questions about research ethics and how AI labs handle unpublished work in a competitive research environment.

Buckmaster stated that he shared details of his unpublished proof with an OpenAI mathematician in September, after which OpenAI's Sébastien Bubeck allegedly offered to coordinate publication but then pressured him, mentioning an internal 100-page proof of forced Navier-Stokes blow-up. OpenAI, Bubeck, and Sam Altman deny the allegations, and Bubeck published text messages that he says demonstrate good-faith offers for a coordinated release.

rss · Decrypt · · Single source

Background, discussion, and references

Background

The Navier-Stokes equations describe the motion of fluids, and the Navier-Stokes existence and smoothness problem asks whether smooth solutions always exist in three dimensions or can break down, such as via 'blow-up' where the math predicts infinite velocity. Lean is an open-source proof assistant that verifies every step of a mathematical proof, so a Lean-verified result is considered formally checkable. Buckmaster is a professor at NYU's Courant Institute who received the 2019 Clay Research Award for related work on Navier-Stokes equations.

References

Tags

#OpenAI#AI#mathematics#Navier-Stokes#research ethics