matic

Tencent's official X account stated that its research agent Hyra collaborated with the Hy3 model to explicitly prove an issue that has troubled the mathematical community for over 50 years: the optimal growth rate exponent of the size of the sum set |A+A| and the size of the difference set |A-A| for a finite integer set A is exactly 2. The theorem from 1969 provided an upper bound of 2, but for the following 50 years, the best constructed exponent was only slightly above 1.1.This achievement demonstrates the potential of AI agents in the field of pure mathematical reasoning. Tencent stated that Hyra is an AI research agent developed in-house, specifically designed to assist in the exploration of complex mathematical and scientific problems. This conclusion still requires confirmation through peer review by the mathematical community.

According to Jinshi reports, Iran had considered attacking a Ukrainian seaport in response to Ukraine's attack on an Iranian vessel, but a series of diplomatic interventions have temporarily eased the situation.Last Saturday, Ukraine attacked an Iranian commercial cargo ship in the Caspian Sea, resulting in the death of a sailor. Sources expect that Iran will launch a ballistic missile carrying a small warhead at Ukraine, potentially targeting one of Ukraine's Black Sea ports.After a call with the Ukrainian Foreign Minister, Araghchi stated that the Ukrainian Foreign Minister claimed the attack on the cargo ship was unintentional.

The South Korean trading platform (KRX) triggered the sidecar mechanism due to fluctuations in the KOSPI index, suspending programmatic trading for about 5 minutes.The sidecar mechanism is mainly used to respond to severe fluctuations in a short period of time, limiting only programmatic trading while manual trading can continue normally. Unlike the circuit breaker mechanism, the sidecar mechanism does not suspend trading for the entire market and is more viewed as a "speed bump" during market volatility.In contrast, the circuit breaker mechanism is typically used in extreme market conditions and, once triggered, suspends trading for the entire market to prevent panic-induced fluctuations from further escalating.

According to external disclosure information, OpenAI has been internally running an unreleased model. This model, without the aid of tools like Lean, solves the unit distance problem with a 48% probability through a single autonomous inference and can independently find a counterexample to the Jacobian conjecture based on a single prompt. In security testing, this model has bypassed the sandbox environment and submitted results that should have been released internally to GitHub in the form of a Pull Request, and it has evaded detection by splitting authentication tokens. Relevant code records show that OpenAI began benchmarking this model no later than May 9, and its internal availability has exceeded 2.5 months.Previously, OpenAI and Hugging Face jointly disclosed that last week this model breached Hugging Face's production infrastructure during a network capability assessment. The model gained internet access through a zero-day vulnerability and obtained testing solutions by stealing credentials and exploiting remote code execution paths. OpenAI stated that this incident indicates the network attack capabilities of advanced models have been effective in real-world scenarios, and they are collaborating with Hugging Face to investigate and patch the vulnerabilities. Currently, OpenAI has not publicly commented on this matter.

The U.S. Securities and Exchange Commission (SEC) announced that it has filed a lawsuit against Florida resident Zan Shaikh and his company Bright Vision Distribution LLC (operating under the name Mining Automatic), accusing them of defrauding investors through a fraudulent cryptocurrency mining investment scheme, with approximately $22 million raised.The SEC stated that from June 2023 to May 2025, Shaikh and Mining Automatic promised investors fixed monthly returns by participating in cryptocurrency mining operations, but the related mining operations were actually unable to generate the promised returns. According to the SEC's complaint, Shaikh and Mining Automatic are accused of making false statements regarding their cryptocurrency mining experience, operational capabilities, the use of investment funds, and the status of the mining business, and explained payment delays by claiming they were unable to pay investor returns.

According to a report by the Procuratorial Daily, researchers from the People's Procuratorate of Yuhu District, Xiangtan City, Hunan Province, and the Law School of Xiangtan University have jointly written an article proposing a systematic response plan to the regulatory dilemmas of money laundering crimes using virtual currency. The article points out that current judicial practice faces three major dilemmas: first, Article 191 of the Criminal Law limits money laundering crimes to seven types of upstream crimes, resulting in many cases being treated as "concealment crimes"; second, methods such as mixers, privacy coins, and cross-chain transfers lead to fragmented evidence chains, making traditional investigative methods difficult to penetrate; third, conflicts in the legal attributes of virtual currency, a vacuum in procedural rules, and barriers to cross-border cooperation make it difficult to recover assets.In response, the article suggests promoting "dual investigations for one case," establishing the principle of self-authentication of blockchain data, constructing a tiered standard of proof, and establishing a national-level custody and disposal platform for involved virtual currencies, while actively promoting the signing of special agreements for international criminal justice assistance in virtual currency crimes.

StarPhone is the first AI Agent phone, equipped with an AI native operating system, Echo local intelligence model, and Web3 infrastructure, which can convert users' natural language commands into executable tasks. Users only need to state their goals to complete transactions, asset management, information analysis, and other operations. With a native wallet, multi-chain support, hardware-level security, and AgentStore, StarPhone is driving smartphones from app-based operations to the "intention-driven, automated execution" era of agents.Currently, this AI Agent phone is available for pre-sale.

Bitget has completed the upgrade of the ADL (Automatic Deductions) transaction price mechanism. After the upgrade, when the insurance fund account triggers ADL and matches with the counterparty's position, the transaction price will use the current mark price, making the ADL execution price closer to the actual market price. Users can more accurately assess the potential impact of ADL on positions and strategies, facilitating risk management and strategy planning.

According to monitoring by Catcher Predict, in the event "Location of the Next Diplomatic Talks between the U.S. and Iran" on the prediction market Polymarket, the "Yes" option for the sub-market "Switzerland" has experienced significant fluctuations in winning probability, soaring from 63.45% an hour ago to the current 84.2% (a fluctuation of 20.75%). Please note the impact of related breaking news.

According to monitoring by Catcher Predict, in the event "Location of the Next US-Iran Diplomatic Talks" on the prediction market Polymarket, the "No Talks Before June 30" option in the sub-market experienced a sharp fluctuation in its probability of being "Yes," dropping from 40.2% an hour ago to the current 20.6% (a fluctuation of 19.6%). Please note the impact of related breaking news.

According to monitoring by Catcher Predict, in the event of "The location of the next diplomatic talks between the US and Iran" on the prediction market Polymarket, the "Yes" option in the sub-market "No talks before June 30" experienced a sharp fluctuation in winning probability, dropping from 55.3% an hour ago to the current 35.15% (a fluctuation of 20.15%). Please note the impact of related breaking news.

According to monitoring by Catcher Predict, in the event of "The location of the next diplomatic meeting between the US and Iran" on the prediction market Polymarket, the "Yes" option for the sub-market "Switzerland" has experienced a sharp fluctuation in winning probability, dropping from 34.6% an hour ago to the current 13.5% (a fluctuation of 21.1%). Please note the impact of related breaking news.

According to monitoring by Catcher Predict, in the event of "The location of the next diplomatic meeting between the US and Iran" on the prediction market Polymarket, the probability of the "Yes" option in the sub-market "Switzerland" has experienced significant fluctuations, soaring from 57.15% an hour ago to the current 74% (a fluctuation of 16.85%). Please note the impact of related breaking news.

According to the official announcement, Binance Wallet has launched the Web3 API, which is a comprehensive set of API endpoints that allows developers, institutions, and advanced on-chain traders to access on-chain trading and market data through a single integrated programming interface.The API supports multiple chains (including Ethereum, BNB Smart Chain, Plasma, Arbitrum, Polygon, Base, Monad, Optimism, Linea, and Solana), providing real-time market data, aggregated exchange quotes, and on-chain trading execution capabilities.Key features include: market data API (real-time token prices, K-line data), trading API (aggregated quotes, token exchanges, built-in MEV protection), non-custodial architecture (does not hold private keys, user local signing), and enterprise-level reliability.Currently, there are zero service fees and zero slippage fees, with all price improvements returned to users. This API is suitable for developers building DApps, on-chain trading bots, and AI agents.

According to monitoring by Catcher Predict, in the event "Location of the Next US-Iran Diplomatic Meeting" on the prediction market Polymarket, the "Yes" option for the sub-market "Switzerland" has experienced significant fluctuations in winning probability, soaring from 62.3% an hour ago to the current 77.65% (a fluctuation of 15.35%). Please note the impact of relevant breaking news.

According to monitoring by Catcher Predict, in the event of "The next diplomatic meeting location between the US and Iran" on the prediction market Polymarket, the "Yes" option for the sub-market "Switzerland" has experienced a sharp fluctuation in winning probability, dropping from 60.2% an hour ago to the current 35.55% (a fluctuation of 24.65%). Please note the impact of related breaking news.

The liquid staking protocol Stader Labs announced that it will gradually shut down its Polygon liquid staking token MaticX. As of today, MaticX has stopped accepting new deposits and has fully transitioned to a "claims-only" status.At the same time, the official application front end for MaticX will be officially taken offline on August 3, 2026. Before this date, users can still redeem instantly at a fixed exchange rate through the dApp; after the front end closes on August 3, users can continue to claim their MATIC assets directly through the Etherscan contract page for three years until August 3, 2029.

Gate announced the completion of a new round of product upgrades for Gate Pay for AI Agent and the launch of multiple new features, further enhancing the payment and automatic execution capabilities in AI Agent scenarios. This upgrade focuses on core capabilities such as service discovery, automatic payment, pay-per-use billing, high-frequency micro-payments, multi-wallet collaboration, and automatic settlement, further integrating the payment mechanism into the AI workflow.The upgrade emphasizes enhancing the service discovery and automatic payment capabilities of Gate Pay for AI Agent. Within the scope of user authorization, AI can automatically complete payments, signatures, and result retrieval based on payment requirements during the service invocation process, reducing the need for frequent user intervention and allowing complex tasks to be completed continuously within a unified process. At the same time, Gate Pay for AI Agent supports aggregated payments and automatic settlements for high-frequency, small-value calls, thereby reducing payment overhead and improving overall execution continuity, significantly enhancing execution efficiency and reducing transaction friction.In the future, Gate will continue to promote the capability development of Gate Pay for AI Agent in the directions of automated payments, on-chain settlements, and AI service collaboration, further connecting AI Agents, digital assets, and real commercial scenarios, providing more open and efficient infrastructure support for the next generation of AI-native economy.