cryptodiffer | Cryptocurrency

Telegram-канал cryptodiffer - CryptoDiffer News

24194

CryptoDiffer.com https://twitter.com/CryptoDiffer Contact @makscryptodiffer 🗣CHAT https://t.me/joinchat/Brbs51k5cWoRBKtsgmb6Ew

Subscribe to a channel

CryptoDiffer News

Etherscan Flow Turns Transactions Into Maps

Etherscan launched Etherscan Flow, a tool that turns a tangle of onchain transactions into one clear visual map of how funds moved, with every hop verified against live onchain data.

Users can build a flow from scratch or hand the job to an AI agent through the new Etherscan Flow agent skill, part of the explorer's Build with AI suite. The skill queries Etherscan's live API and produces a structured Flow Case file that imports into etherscan.io/flow for visual inspection, working across more than 60 EVM-compatible chains.


The release pushes Etherscan past the plain block explorer toward investigation tooling, letting analysts, auditors and everyday users trace and share money trails without stitching together raw transaction logs by hand.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

First Staked TRON ETF Debuts in the US

Canary launched a staked TRON ETF, TRXS, which begins trading on Cboe today as the first US fund tracking TRON's TRX while staking the tokens it holds.

TRXS earns extra TRX through TRON's proof-of-stake system: the trust stakes substantially all of its holdings, staking fees are capped at 20% of rewards, and the remaining 80% is retained and folded into the fund's daily net asset value instead of being paid out separately. The annual sponsor fee is 1.10%, accruing daily and payable in TRX or cash. BitGo Bank & Trust custodies the TRX, U.S. Bank handles cash, and U.S. Bancorp Fund Services runs administration.


The launch lands as TRON cements its role in stablecoin settlement: the network processed $2.1T in USDT transfers in Q2 and has crossed 15B lifetime transactions. TRXS joins Canary's growing crypto lineup alongside its XRP, Litecoin and HBAR products.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

DeFi Dev Corp Closes $11M SOL-Backed CHAD Offering

DeFi Dev closed its CHAD offering, an $11M SOL-backed preferred stock it bills as the first digital credit instrument of its kind to trade on a major exchange.

The Nasdaq-listed treasury company (DFDV) priced 1.375 million shares of its Variable Rate Series C Perpetual Preferred Stock at $8 apiece, carrying a 13% initial annual dividend. Modeled on Strategy's preferred-stock playbook, CHAD lets DeFi Dev raise capital to buy more SOL without diluting common shareholders. The offering drew participation from Fundstrat's Tom Lee, and follows the firm's recent purchase of about 19,000 SOL that lifted its holdings to roughly 2.33 million SOL and SOL equivalents.


The instrument extends the digital-asset treasury model, pioneered in Bitcoin by Strategy, into Solana, giving equity investors a yield-bearing, SOL-linked security rather than direct token exposure.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Cryptomarket Check-In. Major Events & Headlines

The week AI stopped hedging and TradFi stopped waiting: OpenAI declared AGI, while banks and exchanges bought their way deeper onchain.

Five that actually mattered:
— Circle to acquire payments firm Tazapay for $400M
— OpenAI launches GPT-6 Astra, a model it calls the onset of AGI
— Revolut wins conditional US approval to form a national bank
— Cronos rolled back its chain to reverse a $120M Tectonic exploit
— Bitget launches 24/7 H100/B200 GPU-compute perps at up to 10x

Читать полностью…

CryptoDiffer News

Tether Freezes $39.3M USDT Linked to Xinbi Guarantee

Tether has frozen approximately 39.27M USDT across 10 TRON addresses that blockchain intelligence platform MistTrack identified as linked to Xinbi Guarantee, a Chinese-language Telegram-based guarantee marketplace.

Xinbi Guarantee emerged on Telegram around 2022 and has been identified as a major marketplace serving scam operators and money-laundering networks across Southeast Asia. Research from Elliptic found that the platform had received more than $8.4B in USDT, while TRM Labs estimates its total transaction volume at approximately $24.2B.


The marketplace has hosted vendors offering services including money laundering, stolen personal data and infrastructure used in fraud schemes such as “pig butchering” scams. Xinbi was also sanctioned by the UK in March 2026.

The affected addresses were identified on TRON, where USDT remains one of the most widely used stablecoins for transfers and settlement.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Kolo Enters the Euro-Card Race with IBAN transfers

What sets it apart — BTC cashback with no token to hold and no stake, plus 0% FX on stablecoins. The tradeoff is real: Wirex sends free, Kolo charges €1. But on rewards and FX, Kolo leads the table.

Try Kolo → get.kolo.xyz/p704299

Читать полностью…

CryptoDiffer News

Robinhood Taps Crypto com for Prediction Markets

Robinhood has struck a deal to bring Crypto.com's yes-or-no event contracts into its prediction-markets hub and take an equity stake in the crypto exchange, in a move first reported by The Wall Street Journal.

The partnership adds Crypto com to Robinhood's growing roster of contract suppliers, which already includes Kalshi, Interactive Brokers' ForecastEx and Rothera, the prediction exchange Robinhood launched with Susquehanna in 2025. Plugging in another CFTC-registered venue widens the range of outcome-based markets Robinhood's retail users can trade without leaving the app, while the equity stake ties the two firms together as prediction markets become one of the fastest-growing corners of retail trading.


Prediction markets have turned into a competitive battleground this year, with brokers and exchanges racing to lock in contract supply. Crypto com tie-up deepens Robinhood's bid to be the default destination for event-contract trading in the US.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Ethereum Targets a Quantum-Resistant L1 by 2029

Ethereum Foundation has set a December 2029 target to make Ethereum's base layer quantum-resistant, publishing a research roadmap that spans the chain's execution, consensus and data layers alongside its first unified tier list for a network upgrade.

In a parallel post, the cluster graded all 62 EIPs proposed for the Hegota upgrade, drawing 397 assessments from about 60 protocol specialists across nine teams. Two proposals earned the top S-tier "must ship" rating: EIP-7805 (FOCIL), a fork-choice enforced inclusion-list design that hardens the chain against censorship, and EIP-8141 (Frame Transactions), a core account-abstraction change. Another 15 were rated A-tier "expected to ship", while 28 were rejected outright.


Beyond the next fork, the roadmap names five cross-upgrade research areas that will shape Ethereum for years: fast finality, post-quantum security, privacy, state, and zkEVM, with post-quantum cryptography flagged as the defining challenge.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Bitget Launches H100 & B200 GPU Compute Perpetuals

Quoted in USD per GPU-hour and settled in USDT, the perps trade 24/7 with leverage of up to 10x, letting traders take a view on compute prices without buying GPUs or signing cloud rental agreements.

The contracts follow the H100 and B200 GPU Rental Price Indices from Silicon Data, which standardize the average hourly rental cost of each chip across multiple cloud and compute providers. The move turns one of the core input costs of AI into a directly tradable market.


The launch lands ahead of CME Group, which is scheduled to list its own H100 and B200 GPU rental-price futures in October, and extends Bitget's "Universal Exchange" model beyond crypto, equities and commodities into compute.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Cari Raises $32.5M From a Consortium of US Banks

Cari has raised $32.5 million in the first tranche of its initial funding round, entirely from banks. Glacier Bank joined the six original design-partner banks: First Horizon, Huntington, KeyBank, M&T Bank, Old National and SouthState.

Cari runs a permissioned Layer 2 governed by its member banks, letting chartered institutions issue tokenized versions of their own commercial bank deposits, liabilities that stay on the bank's balance sheet rather than moving to an outside stablecoin issuer. The network already counts more than 30 committed banks representing over $10 trillion in combined assets, with roughly 40 more in talks. Cari reached a minimum viable product in March and delivered its full product suite in July, though it remains in pre-production.


The all-bank cap table is unusual for a crypto-adjacent startup and underlines Cari's pitch: give regional and community banks a way to move money on-chain, in real time and around the clock, without ceding control to third-party stablecoins. Full production is targeted for the end of 2026.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Hunter Biden to Launch LAPTOP Meme Coin on Base

The Wall Street Journal reports that Hunter Biden plans to launch LAPTOP, a memecoin named after the 2020 laptop episode, on Coinbase's Base network on September 9, with a total supply of one billion tokens.

The token's structure is pointed. Founders including Biden will receive 30% of supply, barred from selling for six months and released in installments over two years. Another 20% is set aside in part for holders of President Trump's Official Trump (TRUMP) token, a move widely read as a jab at Trump as he and his family expand their own crypto ventures. Biden has framed decentralized digital assets as an inevitable future.


It is the latest sign that political branding has become its own memecoin category, following TRUMP and a wave of imitators. Whether LAPTOP finds durable demand or fades like most celebrity coins should be clear within days of the September 9 launch.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Binance Opens Early Access to Binance AI

Binance has opened early access to Binance AI, its new in-app AI assistant, inviting a limited number of users to test the beta before a wider rollout. Spots are capped, and interested users sign up through Binance's announcement for a chance to try it first.

The beta is built around three pillars. A personalized experience reshapes the interface around each user, surfacing the information most relevant to them. Intelligent market insights layer AI-powered context onto price moves across both crypto and traditional assets. And a cut-through-the-noise feed delivers concise, timely updates, so users can focus on the signals that matter most.


It is Binance's broadest consumer AI push yet, following the March debut of its AI Pro trading agent, and points to a wider race among major exchanges to fold AI copilots directly into the trading experience.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Harmony to Sunset Its Layer 1 and Migrate ONE to Ethereum

Harmony has proposed shutting down its Layer 1 network and airdropping new ONE tokens to holders on Ethereum, ending one of the earlier sharded proof-of-stake chains. Balance will be snapshotted at the final block, with new ONE issued 1:1 on Ethereum and no claim required.

The proposal follows an August exploit in which an attacker minted trillions of unauthorized ONE, months after the roughly $100M Horizon bridge hack in 2022. Harmony framed the decision bluntly, saying the threats posed by state actors and AI agents are too great to keep operating a standalone chain. Validators can begin ceasing node operations on September 10, and those who sunset on time, keep their stake and serve as governors will share a one-time $1.372M compensation pool paid in four quarterly instalments.


Emissions that once secured the chain will instead fund a new AI video remix project, where a small group of creators publish prompts and assets that fans can fork while AI agents turn each branch into more clips.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Tether-Backed Chilean Exchange Orionx Shuts Down After $7M Asset Shortfall

Chilean crypto exchange Orionx has begun a permanent shutdown and suspended all withdrawals after a forensic audit found more than $7 million in customer assets moved to wallets outside the company's control. Tether had exclusively led the exchange's Series A round in June 2025.

Orionx has filed criminal complaints against co-founders Roberto Zibert and Joaquin Diaz over alleged transfers of BTC, ETH, XRP and POL between 2018 and 2021, both of whom deny any wrongdoing. Chile's financial regulator had already rejected the exchange's registration application in June 2026, and Tether's original announcement of the investment is no longer available on its website.


The shutdown is a rare stumble for a Tether-backed venture, and it leaves Orionx users facing frozen withdrawals, a rejected local registration and an unresolved criminal case over the missing assets.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Liquid Network Paused After $320M in Bitcoin Exits in Purported White-Hat Move

The Bitcoin sidechain Liquid Network has paused after roughly 4,200 BTC, worth about $320 million, exited in a single coordinated peg-out, with the movers leaving an on-chain message claiming to be white hats.

Liquid is secured by a federation of fifteen companies that hold the signing keys, with eleven signatures required before coins can leave the network, so an unauthorized exit of this size points to compromised functionaries or a flaw in that trust model. The transaction carried an OP_RETURN note reading, in effect, "we are whitehats, contact us on chain." Blockstream, which operates Liquid, has not said whether the withdrawal was an authorized rescue, an insider operation or a theft dressed up as one.


Until Blockstream confirms the funds are safe, the episode is a stark reminder that federated Bitcoin sidechains concentrate custody in a handful of keyholders, and that a coordinated move on those keys can shift hundreds of millions in minutes.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Meta Launches Muse, a Personal AI Agent

Meta launched its personal agent Muse, a consumer AI agent now live in the US that works around the clock to understand a user's goals and complete tasks on their behalf.

Muse can send emails, book travel, make purchases and run multi-step projects with the permissions a user grants it. Each account gets its own dedicated cloud computer, the Muse Secure VM, where the agent, connected data and credentials live in isolation. A separate Sentinel layer monitors everything leaving that VM: it either matches the action to a policy the user has already authorized or pauses to ask for approval. Credentials go into secure storage, so Muse can use passwords and payment methods without ever seeing them. A Muse Confidential VM, encrypting the whole machine with a key only the user holds, is due later in 2026.


Muse is rolling out across iOS, Android, muse ai and WhatsApp, with Stripe checkout built in from day one. Meta is pitching it as a secure-by-design answer to the trust problem facing consumer AI agents.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

OpenAI Launches ChatGPT Images 2.5

OpenAI launched ChatGPT Images 2.5, a new state-of-the-art image model with sharper detail, more precise editing and generation up to 50% faster than Images 2.0.

The model preserves reference subjects more faithfully, renders more natural lighting and textures, and follows editing instructions reliably across multiple turns without degrading quality. In ChatGPT it adds Sketch, which turns a rough drawing into a finished image, ready-made templates for formats like posters and merch, comments placed directly on an image for focused edits, and shareable prompts. For developers, two API models ship alongside: GPT-Image-2.5 Flare, the new default at higher quality and 50% lower latency, and GPT-Image-2.5 Sunburst for premium, tightly controlled work.


Images 2.5 is rolling out today to all ChatGPT, ChatGPT Work and Codex users across desktop, mobile and web, arriving as OpenAI users generate more than 3 billion images every week, with C2PA metadata and invisible watermarking on outputs.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

ZKsync Open-Sources Prividium as Bundesbank Tests It

Matter Labs open-sourced Prividium, the permissioning engine behind its ZKsync institutional chain platform, and Germany's Deutsche Bundesbank became the first institution to test it.

Prividium lets a regulated firm run a permissioned chain from public code inside its own environment, keeping smart-contract and token data on-premises while zero-knowledge proofs verify correctness. Publishing the core as open source means institutions can inspect, run and modify it themselves rather than depend on a single vendor. Matter Labs said the change followed feedback from regulated institutions, which argued that a commercial-only core created a single-vendor dependency they could not accept, and that independent control of the code was a precondition for adoption.


The Bundesbank test signals growing central-bank interest in production-grade, privacy-preserving infrastructure, and positions Prividium as a template for how regulated finance might run blockchains without ceding control to a single provider.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Plume Brings RWA Yield to Institutional MPC Wallet Fordefi

Plume has launched its Vaults on Fordefi Earn, bringing real-world credit-backed yield directly to the institutional MPC wallet and custody platform, which processes around $120B in monthly onchain volume.

The first Vaults now live on Fordefi are nOPAL, backed by Brazilian credit receivables, and nFXCF, offering FalconX structured credit exposure.


The integration allows institutions to access RWA yield while keeping assets within the custody and security controls they already use, creating a new distribution channel for tokenized real-world credit.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Visa Taps Onchain Lending to Finance Stablecoin Card Programs

Visa is combining its VisaNet settlement data with onchain lending infrastructure to help stablecoin-linked card programs access working capital, as stablecoin settlement volume surpasses a $20B annualized run rate, up more than 15x YoY.

More than 160 stablecoin-linked card programs are now live on Visa’s network, with payment volume growing nearly 200% YoY. The company says early-stage programs often struggle to secure traditional working capital needed to fund daily settlement obligations.


Visa is working with decentralized lending platform Credit Coop to use settlement data alongside onchain transaction records for credit underwriting, while smart contracts can automate collateral management, disbursements and repayments.

Credit Coop has financed more than $2.5B in cumulative settlement volume since 2023, processing over 3,000 borrow events and 9,000 repayment events onchain with zero defaults.


The initiative could make settlement financing more accessible to smaller stablecoin card issuers while creating a data-driven path for programs to graduate from onchain revolving facilities to larger institutional credit lines.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Circle to Acquire Cross-Border Payments Firm Tazapay

Circle has signed a definitive agreement to acquire Tazapay, a Singapore-based B2B cross-border payments company, in a move to push USDC deeper into global business settlement.

Tazapay brings more than $25 billion in annualized payment volume, 60-plus banking and fintech partners, and local payout rails spanning over 100 markets, with roughly 60% of its transaction volume already touching stablecoins. Circle plans to fold those rails into its own network to originate and terminate cross-border payments around the clock, a step CEO Jeremy Allaire framed as accelerating worldwide USDC adoption. Tazapay has been a design partner for Circle Payments Network since 2025.


The deal is expected to close in 2027, subject to customary conditions and regulatory approvals including the Monetary Authority of Singapore. Circle says Tazapay customers should see no disruption to service, APIs, pricing or support in the meantime.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Mapping Summer Gainers. Coins That Actually Grew

Two ways to read top gainer, and they barely overlap. By price, the summer went to Akedo and Bitway. But a lot of that is just a small base moving. Rank by actual dollars added to FDV and the board flips: Bitcoin, Ethereum and XRP.

One name shows up on both sides, Zcash, +182% in price and +$12.5B in value. Worth keeping both columns in mind before calling anything the "best" performer.

Читать полностью…

CryptoDiffer News

Cronos Rewinds Its Chain to Undo $120M Tectonic Hack

Cronos rolled back its blockchain to reverse a $120M exploit of lending protocol Tectonic, restoring most affected balances but confirming in a post-mortem that $9.19 million had already left the network and cannot be recovered.

On August 30, an attacker manipulated the price of TONIC, Tectonic's governance token, and used the inflated asset as collateral to borrow $120.4 million across nine lending markets. Validators halted the chain, then rolled it back to block 90,896,188, the last block before the attack, discarding 10,961 blocks, about one hour and 54 minutes of history. The reorg restored roughly $111.2 million of impacted value to its pre-exploit state.


The $9.19 million that escaped before the halt, about 7.6% of the affected funds, is beyond the rollback's reach. Cronos did not name the attacker or say what will happen to the missing money.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

Soul Protocol Prepares Its Cross-Chain Mainnet Launch

Soul Protocol, the LayerZero-based cross-chain lending network, is preparing to launch its mainnet next month, moving into production after a testnet that drew more than 182,000 users and 80,000 wallets and processed over 463,000 cross-chain transactions.

Soul's pitch is to fix DeFi's liquidity fragmentation. Rather than bridging assets or minting wrapped tokens, it uses LayerZero messaging to let users lend and borrow native assets directly across chains such as Ethereum, Base, Arbitrum, Optimism and Avalanche. At mainnet the team runs its token generation event, converting testnet Seed points into the $SO token. Soul has raised roughly $10 million to date, including a $4M private round backed by angels from Coinbase, LayerZero and Flowdesk.


If the launch lands on schedule, Soul joins a wave of omnichain money markets betting that the next phase of DeFi is chain-agnostic, with liquidity that follows the user rather than the network.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

PONS Surges 40% After Uniswap Labs Takes Stake, Hits $0.75 ATH

Uniswap Labs has purchased PONS, the token of the memecoin launchpad on Robinhood Chain, citing “long-term alignment” with the project.

The deal sent PONS up more than 40% to a new all-time high of $0.75, extending its two-week gain above 1,769% and monthly rally beyond 2,713%.


Neither Uniswap Labs nor Pons disclosed the size, price, or structure of the purchase, while it remains unclear whether the tokens were bought on the open market or received through an allocation.

ℹ️ Pons has also seen significant activity growth:

• $5.95M in fees generated over the past 24 hours
• $28.83M in fees over the past 7 days
• 63%+ of Robinhood Chain launchpad volume
• 29.34% of total PONS supply reportedly burned
• ~80% of protocol fees used for PONS buybacks and burns

Robinhood Chain now accounts for 56.3% of Uniswap's total trading volume across all supported networks, with $901.5M in 24-hour volume.

The development comes as Uniswap operates its own launchpad, Pools trade, on the same chain, creating an interesting overlap between the two ecosystems.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

FOMO: The $1.26B Wipeout

FOMO sells itself as social trading that levels the playing field. On-chain data says the opposite.

Dune analysis by MidCurveMortal tracked all 292,531 wallets that traded FOMO on Solana over 90 days. Only 6.16% ended in profit — the other 93.84% lost money or broke even. As a group, traders are down $1.26 billion. The median trader is down $120.

And the "winners" barely won: 88% of profitable wallets made under $100. Just 25 wallets cleared $10,000.

Meanwhile top 20 wallets took home $82.38M combined, one trader (Unipcs) alone banked $14.26M on a single 108x PONS position. The house always wins; everyone else funds the pot.


For perspective: sportsbooks let ~37% of users come out ahead. FOMO gave you roughly 6x worse odds than a casino.

Читать полностью…

CryptoDiffer News

Just Launched: 6 Activities Worth Your Time

Hundreds of "early" plays flood your feed every week. We kept only the ones with real backers. Six live right now:

— Jupiter Vaults: DeFi Yield · Solana
— bStocks: Tokenized Stocks / RWA · BNB Chain
— Alphea Network: AI L1 / DePIN · $5M raised
— Bullbit: Perp DEX L1
— Polaris: DeFi Stablecoins · Ethereum
— Base: Creator Grant

Full step-by-step breakdown for each 👇
cryptodiffer.com/feed/other/we-filtered-the-noise-6-crypto-activities-worth-your-time

Читать полностью…

CryptoDiffer News

Claude Delivers the First Machine-Verified Proof of Fermat's Last Theorem

Anthropic's Claude has produced the first complete, computer-checked proof of Fermat's Last Theorem, working largely autonomously over 11 days to write the formalization in the Lean programming language. It is a milestone the mathematical community had expected to take years.

Fermat's Last Theorem, stated in 1637, resisted proof for over 350 years until Andrew Wiles published a 129-page solution in 1995 that itself took months to verify. Turning that reasoning into a form a computer can check line by line was the open challenge. Guided only by occasional high-level hints from Anthropic researcher Tianyi Peng, dozens of Claude agents defined concepts and proved ever harder statements, ultimately writing 13 million lines of Lean code and proving over 29,500 supporting theorems used in the final proof. The result is more than 5x the size of Mathlib, the main community library the theorem builds on.


Kevin Buzzard of Imperial College London, who leads the community effort to formalize FLT, called it an extraordinary achievement and noted the proof rests on no assumptions beyond the axioms of mathematics. As AI produces ever more results, easy formalization could make it faster to trust new mathematics, a process that today can take years.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

WooX Users Report Withdrawals Stuck as BitMart Ties Draw Scrutiny

Multiple verified WooX users report withdrawals stuck in pending over the past three days, and the exchange has stayed publicly silent. WooX was acquired in Q4 2025 by FusionX Digital, whose global strategic committee added BitMart founder Sheldon Xia, drawing scrutiny after BitMart's own collapse this summer.

BitMart announced on July 26 that it would cease operations and restructure, leaving users without access to millions in stuck funds. Its founder has published only vague assurances that user assets are safe, claims that remain independently unverified. WooX, which was incubated by Kronos Research before the FusionX deal, has so far issued no statement on the pending withdrawals.


The concern is contagion: a BitMart insider now sits on WooX's strategic committee while user withdrawals stall, with no timeline or explanation offered. WooX publishes a live proof-of-reserves dashboard, though that alone does not confirm withdrawals are being processed.

Partner Offers | Get Your Instant BTC Cashback | Your Gateway To Crypto | Arcus Private Whitelist

Читать полностью…

CryptoDiffer News

MAJOR UPCOMING EVENTS THIS SEPTEMBER!

A full list of Major Upcoming Events, to be updated
👉 https://cryptodiffer.com/events

Читать полностью…
Subscribe to a channel