Author: 行政
OpenAI’s latest mathematics breakthrough could bring automated theorem proving closer to smart-contract security workflows.On Sept. 8, the AI company said that roughly 10,000 concurrent AI agents produced a solution addressing the Navier-Stokes fluid-motion problem after about 88 hours. Formalization and verification in Lean, a software proof assistant, required another 17 hours using GPT-6 Astra.The system generated an analytical proof showing that an initially smooth fluid can develop a singularity in finite time while retaining finite energy, establishing cases C and D of the Millennium Prize formulation. OpenAI released both the proof and its Lean formalization for independent scrutiny. Related ReadingOpenAI…
Consensys announced plans on Sept. 9 to operate MetaMask separately from its Ethereum infrastructure business, giving the consumer wallet and the protocol builder distinct management and investment priorities. For holders of ether, the split puts a practical question at the center of the growth story: how much activity will reach the networks that use ETH?The clearest example is already inside MetaMask. Its Money Account runs on a separate blockchain, Monad, while the new Consensys will include software used for both public Ethereum and private institutional networks. The economic effect depends on where transactions happen and who receives the fees.Under the…
Every card payment creates a timing problem for the company behind it. A card program may owe Visa through daily settlement before money arrives from its customers, leaving a short but recurring funding gap.Visa’s onchain lending initiative, announced Sept. 8, targets that gap. Credit Coop, an onchain credit protocol, supplies revolving stablecoin facilities that can fund settlement and sweep later cardholder payments toward repayment.The design brings a conventional form of receivables finance onto blockchain rails. Smart contracts handle draws, cash-flow control and repayment, while authorized Visa settlement files remain central to underwriting and facility sizing. The result is a hybrid…
US exchange-traded funds tied to Ethereum, XRP, and Solana attracted almost $59 million on Sept. 9 as Bitcoin products lost $120.24 million, offering another example of how capital is shifting between regulated crypto exposures.The wider market barely reflected that rotation. BlockchainCenter’s Altcoin Season Index stood at 37, well below the 75 threshold at which three-quarters of the largest eligible tokens are outperforming Bitcoin over 90 days.That divergence is becoming a defining feature of the expanding crypto ETF market. Investors have more ways to move beyond Bitcoin, but their money remains concentrated in a handful of large assets rather than cascading…
A Superfluid bug let an attacker drain more than $100,000 from GoodDollar reserves by creating excess G$ on Celo.GoodDollar said on Sept. 9 that 86,588 cUSD was exchanged out of its Celo reserve and another $20,857 from its XDC reserve after a malicious Super App bypassed Superfluid’s liquidation safeguards. External G$ liquidity pools were also affected, though neither project has disclosed the losses there.GoodDollar is a decentralized universal basic income protocol that distributes G$ tokens daily to registered users. Its reserve is backed by stablecoins, with yield generated through DeFi investments used to support G$ issuance and UBI distributions.GoodDollar’s dashboard…
India’s Financial Intelligence Unit, the agency enforcing anti-money laundering reporting rules for crypto services, has issued non-compliance notices to 15 providers and separately sought the takedown of their apps and URLs from public access in India.The Sept. 9 announcement says the services were operating without meeting relevant requirements under the Prevention of Money Laundering Act. The practical risk is loss of public app and website access, but the release does not say that every service is already blocked or that customer accounts, balances or withdrawals have been frozen.FIU-IND named both the consumer-facing brands and their associated entities. The first six…
XRP Ledger (XRPL) crossed 5 billion transactions, with new data showing activity increasingly concentrated among a small group of accounts.Bitquery found that 793 sender accounts generated 75.98 million of XRPL’s 81.56 million transactions in August, or 93.2% of the month’s activity. The firm classified 767 of those accounts as machines, responsible for 92% of all transactions, while 26 exchange hot wallets contributed another 1.1%.The concentration extends beyond transaction counts. Evernorth Research found that XRPL order-book trading volume rose 79% from a year earlier in the second quarter even as the number of accounts initiating those trades fell about 40%.Together, the…
US authorities have escalated their crackdown on Xinbi Guarantee, restraining more than $52 million in crypto and seizing key infrastructure.A federal court authorized the seizure of Telegram channels tied to the Chinese-language marketplace on Sept. 7, while investigators seized two wallets holding about $12 million and sought restraint of 47 additional addresses linked to vendors and suspected money laundering.The Treasury Department simultaneously designated Xinbi a significant transnational criminal organization and sanctioned SafeW Technology and Anwen Technology, companies tied to messaging and payment infrastructure used by the marketplace.The measures extend beyond individual wallets. Xinbi had begun shifting merchant coordination and alleged…
The United States Mint begins accepting preorders today for 2026 Semiquincentennial Enduring Liberty half dollars carrying a special NEVER FORGET 9/11 privy mark. Ordering starts at noon ET, with the Philadelphia-struck coins offered in rolls and bags only through Sept. 25 at 3 p.m. ET. Illustration of the 2026 Enduring Liberty half dollar obverse with an enlarged view of the NEVER FORGET 9 11 01 privy mark They carry a P mint mark for the Philadelphia Mint and pair the one-year-only Enduring Liberty design and dual date 1776 ~ 2026 with a privy of 9-11-01 encircled by the words NEVER…
The US Securities and Exchange Commission has approved a Nasdaq Texas rule that gives qualifying commodity-linked trusts more flexibility over what they can hold while allowing actively managed strategies.Under the Sept. 3 approval order, a qualifying Commodity-Based Trust Share must keep at least 85% of its net asset value in cash, cash equivalents, or commodities, commodity-based assets, and securities that meet the rule’s eligibility tests. The remaining 15% can include specified digital commodities or securities that do not meet those tests.In practice, that means a trust can put up to 15% into otherwise ineligible assets without losing access to the…