solv

OpenGradient co-founder Matthew posted that his market maker (MM) team's funds on the BitMart trading platform are currently unable to be withdrawn, with the reason suspected to be related to the platform's insolvency. Matthew stated that BitMart still required token holders to lock their assets on the platform a week before halting related services, an action that he described as "shocking."He believes that BitMart's previous push for users to lock their assets was essentially just to gain liquidity. Currently, BitMart has not responded to these related accusations. This incident has raised community concerns about the security of funds on centralized trading platforms, asset custody, and liquidity management risks.

According to official news, OpenAI has released research results stating that its next-generation AI model Astra has made progress in the fields of mathematics and theoretical computer science, involving areas such as high-dimensional geometry, coding theory, group theory, quantum complexity, post-quantum cryptography, and extremal combinatorial mathematics. The 10 published results include: the high-dimensional sphere packing problem, binary and spherical coding problems, non-sofic group problems, Connes rigidity conjecture, arithmetic circuit complexity problems, quantum parallel repetition problems, nearest vector problems, Ehrhart volume conjecture, multi-color Ramsey number problems, and extremal graph theory conjectures.It is reported that these results were derived using an internal version of the Astra model, with the computational cost of finding solutions amounting to approximately $2000 (calculated based on Sol API prices).Subsequently, human researchers used the same model to assist in compiling the results into a paper and generated verifiable proof certificates through the Lean formal proof system.

According to Jinshi, the People's Bank of China held a work meeting for the second half of 2026, pointing out that the financial risks in key areas continue to be resolved, and significant results have been achieved in financial support for the resolution of financing platform debt risks.The meeting emphasized that the operation of the financial market is in good condition and monitored and assessed the bond market operation from a macro-prudential perspective, strengthening regulatory enforcement in the bond market.

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.

Rob Nichols, the President of the American Bankers Association, stated in an interview that the banking industry's lobbying group hopes for the passage of the CLARITY Act, but issues surrounding stablecoins still need to be resolved.The bill is about 600 pages long, and the banking industry only suggests making minor and precise modifications to two sections to prevent stablecoins from replacing bank deposits. They are referred to as payment stablecoins for a reason, not deposit stablecoins. However, he does believe that the cryptocurrency industry and the banking industry can coexist.

According to official news, Base Build announced the launch of Base Verify Onchain to address the issue of witch attacks in the blockchain ecosystem. This feature has been launched on the Base Sepolia test network, allowing developers to implement the "one real user, one claim" rule in smart contracts. Base Build stated that traditional airdrop mechanisms are easily manipulated by bulk wallets, and a large number of rewards are often obtained by professional airdrop farmers, while users who genuinely participate in product development can only receive limited benefits.Base Verify Onchain helps project teams identify multiple wallets controlled by the same user by generating a stable identity hash for each real user, without needing to obtain users' names, account information, or other private data. Users can complete verification through existing accounts such as Coinbase, Instagram, X, and TikTok. The system then returns a verified identity credential to the smart contract, which automatically enforces rules such as claim limits, voting restrictions, or quota controls. Currently, Base Verify has been used over 300,000 times and serves collaborative projects such as Base App, Cody, Scratch, and Bracket. Base Build stated that Verify Onchain will provide fairer airdrops, token distributions, governance voting, and user incentive mechanisms for decentralized applications. Developers can use this technology to limit the number of claims per real user, allocate rewards based on real identities, or convert real-world signals into on-chain credibility, thereby reducing the impact of bots and multi-wallet manipulation on the fairness of Web3 applications.

The UK plans to issue its first tokenized sovereign bond by early 2027, with the current key prerequisite being the resolution of on-chain cash settlement issues. This problem has limited the use of digital bonds by institutions for years.Industry experts indicate that the plan may have received sufficient support from the UK Treasury, the Bank of England, and regulators to continue advancing after recent political changes, and it could potentially increase the demand for UK debt. Current progress is constrained by the lack of standardized on-chain payment methods, mature pound stablecoins, and regulatory clarity.

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.

Solv Protocol announced on platform X that on July 13, the BTC+ contract on the BNB Smart Chain suffered a security incident. After investigation, it was found that the attacker compromised the deployer's private key and upgraded the BTC+ minting proxy contract on BSC, minting unauthorized BTC+ tokens. The team completed the emergency response within three hours, isolating the malicious contract and freezing, destroying, or isolating all unauthorized BTC+. All underlying BTC assets are safe.As a precaution, the subscription and redemption of BTC+ have been suspended, with a recovery expected within two weeks. BTC+ has never established an official liquidity pool on any DEX, and users should only obtain and hold BTC+ through official Solv channels. The team has upgraded the deployer's security measures, rotated all affected access credentials and signing keys, and initiated a comprehensive external re-audit, with a detailed post-incident analysis report to be released subsequently.

Binance founder CZ recently posted on social media that artificial intelligence (AI) and Bitcoin (BTC) serve different functions; AI drives productivity improvements, while Bitcoin is used to combat inflation and protect wealth. CZ stated, "AI is great, but it cannot protect you from the effects of inflation; Bitcoin can."CZ believes that the market often views AI and Bitcoin as two major hot investment themes, but their natures are fundamentally different. AI is a technology that enhances business efficiency and economic productivity, while Bitcoin is a digital asset with a fixed supply. He pointed out that the AI industry is rapidly developing, with global companies continuously investing billions of dollars in AI software, data centers, chips, and other infrastructure, driving transformations in various sectors such as healthcare, finance, and manufacturing. However, AI companies can issue more shares and raise funds for expansion, and their investment value still depends on business performance and market competition. In contrast, Bitcoin has a total fixed supply of 21 million coins, and holders possess a non-dilutable scarce asset. CZ believes this characteristic gives Bitcoin long-term value storage properties, providing protection when the purchasing power of fiat currency declines due to inflation.CZ has also previously stated that the AI boom may attract some funds that would have originally flowed into the Bitcoin market. As AI companies like OpenAI and Anthropic gain more capital attention, some investors may sell other assets to allocate to AI-related investments. However, CZ believes that AI and Bitcoin are not in competition; rather, they should be viewed as complementary assets: AI drives technological advancement and productivity improvements, while Bitcoin offers a way to store value that is unaffected by supply expansion.

According to Onchain Lens monitoring, the ResolvLabs attacker has transferred funds again after stealing approximately $25.9 million in March.In the past few hours, 580 ETH has been transferred, worth about $1,090,000, and is being routed through a mixer.

According to The Block, Mizuho Bank analysts pointed out that Circle has received approval from the Office of the Comptroller of the Currency (OCC) to establish a national trust bank. While this helps enhance its compliance reputation, it is not enough to address the current core pressures—namely, the continuous shrinkage of USDC's market value and the increasingly fierce competition from Open USD, which still poses a significant drag on the $CRCL stock price.

Injective's official account posted on the X platform, stating that recent media reports have covered news about "potential security risks involving the Injective npm package." This issue has been promptly identified and resolved. User funds have never been at risk and have not suffered any losses.The official statement indicated that its security monitoring system detected the issue immediately and quickly marked the affected package version as deprecated, while replacing it with a new version, thus blocking the risk before the malicious package could be downloaded.As a result, the download volume of the malicious package is zero, and it has not affected users; the security of user funds has also not been threatened. Injective's npm package is one of the most widely used SDKs in the cryptocurrency field, and the official team has now implemented optimization measures to ensure that such attack attempts cannot occur again.

According to token unlock data from the Crypto asset data platform RootData, Solv Protocol (SOLV) will unlock approximately 37.896 million tokens at 0:00 Beijing time on July 17, worth about 1.04 million USD.

Galaxy Research Director Alex Thorn stated that the capital management adjustments announced by Strategy on Monday mark an important turning point. In the weeks prior, the "digital credit" system of Strategy's preferred shares faced pressure, with the preferred share STRC falling below its $100 par value and hitting a historical low of $71.25 on June 26, leading the market to question how the company would pay the increasingly high preferred share dividends.Strategy subsequently announced a new digital credit capital framework, including a board-approved dollar reserve policy, a revised STRC dividend policy, a $1 billion preferred securities repurchase authorization, a $1 billion MSTR common stock repurchase authorization, and a BTC monetization plan. At the same time, the board raised the annual dividend rate of STRC from 11.5% to 12%, applicable to semi-monthly dividends for record dates on or after July 1. Following the announcement, MSTR rose 12.6% to about $92.70 on Monday, while STRC increased by 12.2% to about $83.70.Thorn believes that Strategy's approach is wise, but it may not permanently resolve structural issues. The company still has a large preferred share system and ongoing payment obligations, and it will face $6.7 billion in convertible bonds maturing in 2027 and 2028. The market is not truly concerned about Strategy's lack of assets, but rather whether it has sufficient dollar liquidity to pay dividends without harming BTC holders, MSTR common stock shareholders, or preferred shareholders. By raising over $1 billion in cash through the sale of common stock, setting a minimum cash reserve policy for 12 months, and increasing the current cash coverage ratio to about 17 months, Strategy has bought itself time.The most controversial aspect is the BTC monetization plan, which seems to clearly indicate that Strategy may sell BTC from time to time. Thorn does not want to see Strategy sell Bitcoin, as the company's identity and the MSTR premium are built on its narrative as a long-term BTC exposure tool, and selling BTC would undermine that story.However, he also believes that if selling a small amount of BTC can prevent a disorderly spiral in the capital structure, protect preferred shares, and wait for a better market environment, this path can be justified. Strategy should explore how to generate income from its BTC assets without directly selling spot BTC, including conservatively lending a small amount of isolated BTC or using options strategies to capture volatility gains.

According to The Defiant, ENS community member Christoph Jentzsch proposed on the X platform that the ENS DAO dissolve itself, stating that "the ENS DAO has collapsed," and suggested destroying the ENSv2 Universal Router keys and reallocating the remaining funds, officially transforming ENS into a public infrastructure. Jentzsch, who wrote code for "The DAO" in 2016 and currently operates Tokenize.it, stated that he does not hold any formal position in ENS governance.Previously, ENS co-founder Nick Johnson unilaterally vetoed the security council renewal vote using about half of the active voting power of the protocol, while about two weeks ago he supported another proposal to expand the ENS Foundation's control over the treasury by delegating nearly half of the active voting power to himself.

According to Thaiger, Thai police arrested 8 suspects in Bangkok. The gang is suspected of robbing a 35-year-old Chinese man of 196,000 Thai Baht during an offline cryptocurrency exchange.It is reported that the victim went to a gas station café in the Bang Khen district of Bangkok to complete the exchange of Thai Baht for cryptocurrency as agreed online. After receiving the cash, the suspects fled on motorcycles. A total of 9 people were involved in the case, using 6 motorcycles to escape, and 1 suspect is still at large. Police seized vehicles, clothing items related to the case, and 81,000 Thai Baht in cash. The 8 arrested individuals have been charged with robbery, aiding in escape, and conspiracy to commit a crime, and the case has been transferred to the local police station for further investigation.

According to token unlocking data from the Crypto asset data platform RootData, Solv Protocol (SOLV) will unlock approximately 81.982 million tokens at 0:00 Beijing time on June 17, worth about 2.68 million USD.