AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Related
OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First
NYU's Tristan Buckmaster accuses OpenAI's Sébastien Bubeck of racing to claim credit for a Navier-Stokes proof after learning about his unpublished work with Anthropic's Levent Alpöge.
Zcash is nearing completion of its mathematical proof to prevent hidden issuance vulnerabilities; ZEC rises 12%.
According to Odaily Odaily, Zcash's native token ZEC rose more than 12% on Tuesday after the team responsible for developing its privacy pools said they were close to completing a mathematical proof to confirm that there was no undetectable forgery or over-issuance vulnerability in the latest Zcash shielded pools. This verification work is being carried out by Project Tachyon, targeting Zcash's upcoming Ironwood shielded pool. Zcash founder Zooko Wilcox stated that the project is on the verge of producing a mathematical proof, aiming to demonstrate that the latest Zcash privacy pool does not have undetectable proliferation vulnerabilities. This development stems from the disclosure last month of a serious forgery vulnerability in Zcash Orchard's shielded pool. At the time, this vulnerability caused market concerns that Zcash's privacy system might have undetectable hidden inflation risks, causing ZEC to fall by more than 40% within two days. Developers say that with the help of AI-assisted formal verification, proof work that might have previously taken years can now be compressed into weeks. This news pushed the ZEC back above $500, its highest level since early June. (The Block)
AI Is Solving Math's Best Problems Faster Than They Can Be Replaced, Terence Tao Warns
The Fields medalist points to a real race between OpenAI and Anthropic as proof: AI can now flatten a hard problem the moment someone starts working on it.
Goldman Sachs: South Korean stocks are expected to see a broad-based rally in the second half of the year; maintains KOSPI target of 12,000 points.
According to Mars Finance, on July 6th, Goldman Sachs released a new research report stating that the upward trend in the South Korean stock market in the second half of the year is expected to spread from AI storage leaders such as Samsung Electronics and SK Hynix to more sectors including energy, raw materials, and industrial manufacturing. Overseas funds are gradually positioning themselves in the upstream and downstream of the AI industry chain and other independent investment opportunities. Regarding market concerns about a bubble in the South Korean stock market, Goldman Sachs believes that the current increase in margin balances is mainly due to the growth of leveraged ETF net asset value, rather than new borrowing by investors. South Korean residents' assets are still mainly in real estate, cash, and overseas stocks, and the domestic stock market still has room for incremental capital inflows. Goldman Sachs predicts that South Korean companies' overall net profit will increase by approximately 320% year-on-year in 2026 and will maintain a growth rate of approximately 35% in 2027. It maintains its 12-month target of 12,000 points for the Korea Composite Stock Price Index (KOSPI), representing an upside of over 20% from current levels, but expects increased market volatility in the future.
Naver's $9.9 billion stock swap deal with Dunamu has been delayed again until the end of the year, while South Korea's digital asset law remains unresolved.
According to BlockBeats, on July 7, Naver Financial and Dunamu postponed the completion date of their full share swap transaction to December 31, marking the second delay in the deal. The deal to merge Dunamu, the operator of South Korea's largest crypto exchage Upbit, into Naver's financial sector was originally scheduled to close on September 30. Dunamu disclosed a new timeline on the 6th through corrections to its initial filing last November, but incomplete digital asset legislation and pending antitrust reviews remain major uncertainties. The company has postponed its extraordinary general meeting of shareholders from August 18 to November 19, and the shareholder confirmation date has been reset to October 22. Several government approvals are still required before the transaction can be completed, including approval from the Korea Fair Trade Commission (FTC) for the merger, approval for the change of Naver Financial's largest shareholder under credit information regulations, and acceptance of the filing for the change of Dunamu's largest shareholder under specific financial transaction information laws. Dunamu stated that progress at any of these stages could further extend the timeline or even cause the transaction to change. Dunamu also pointed out that the Digital Assets Basic Law, currently under consideration in Congress, is a real variable affecting the progress and outcome of transactions. As this bill is being enacted, regulators are also simultaneously considering implementing bank-style no-fault liability rules for exchanges, requiring platforms to compensate users for losses caused by hacker attacks.
Analysis: Strategy sold off its first large-scale BTC transaction in five years, but the market did not show excessive panic.
According to BlockBeats, on July 7th, Crypto Quant analyst Axel Adler Jr. reported that Strategy (formerly MicroStrategy) recently sold 3,588 BTC, worth approximately $216 million, marking the company's largest Bitcoin sale in history. However, the market did not experience a significant drop, with the BTC price remaining around $63,000. This is Strategy's first large-scale net sale since December 2022. The sale was completed in two batches: 1,363 BTC were sold between June 29th and 30th at an average price of approximately $59,256, generating $80.8 million; 2,225 BTC were sold between July 1st and 5th at an average price of approximately $60,773, generating $135.2 million, for a total of approximately $216 million. This sale is primarily intended to pay preferred stock obligations and replenish dollar reserves, and does not represent a change in Strategy's long-term Bitcoin strategy. The company currently holds approximately 843,775 BTC and approximately $2.55 billion in dollar reserves. This sale represents only about 0.4% of its holdings, indicating more liquidity management than a signal of divestment. From the derivatives market perspective, the news of Strategy's sale led to a significant cooling of sentiment in the Bitcoin futures market. The composite market index fell from the bullish zone of around 80 on July 6th to 32.6, entering the bearish zone, and at one point approached 20, indicating that leveraged funds began to shift towards a defensive stance. However, the Bitcoin price reacted only moderately, currently remaining above its 30-day fair value. The market tends to view this sale as a passive liquidity operation rather than a systematic exit from Bitcoin by Strategy. The market is currently in a "neutral to cautious" state, with relatively stable price performance, but derivatives positions have clearly weakened. If the overall market index rises back above 55, it may indicate a recovery in market risk appetite; if it remains below 45 for an extended period, it could further drag BTC down below its fair value.