ems

Ethereum ecosystem infrastructure provider EthSystems announced a partnership with the local Korean institution Undefined Labs. The two parties will jointly promote the application of Ethereum technology in the fields of finance and digital assets in Korea.EthSystems will provide technical support in areas such as privacy, tokenization, and financial infrastructure, while Undefined Labs will leverage its deep understanding of the Korean market and local industry resources to assist in education, seminars, technical framework design, and use case development, facilitating the entire process from early exploration to proof of concept and then to production systems. EthSystems stated that Korea is one of the important markets for the next phase of Ethereum adoption, and this collaboration marks the starting point of its expansion in Asia.

According to Jinshi reports, Meta Platforms (META.O) company's artificial intelligence model attacked another company during cybersecurity testing. Meta's MUSE SPARK 1.1 model breached the company's systems and made changes to its internal systems. A Meta spokesperson stated that this anomaly was caused by a configuration error, after which the model exploited a security vulnerability.

According to Jinshi reports, the latest 24-hour situation tracking of the Russia-Ukraine conflict shows that Ukrainian President Zelensky stated that the supply of Ukraine's air defense systems has decreased by two-thirds compared to last year. In the Kyiv region, 16 people have died, and the number of injured has risen to 36.The Russian Ministry of Defense claimed to have damaged three ships near Odessa and disrupted logistics hubs in Kyiv and its surrounding areas. In addition, French President Macron and European Commission President von der Leyen both stated that they would continue to increase pressure on Russia, with the latter also mentioning that an additional 1.4 billion euros would be allocated to Ukraine from the profits of frozen Russian assets.

According to Techcrunch, the meteorological technology company WindBorne Systems has completed a $37 million Series B financing round, co-led by Khosla Ventures and Galvanize, with a post-money valuation of $250 million.The company uses long-duration balloons to collect meteorological data and integrates it into AI prediction models. Currently, there are 20 launch sites globally, with approximately 600 balloons operating in the air. The main clients are government agencies, and this round of funding will be used to expand the commercial team and develop business with private sector clients such as investment funds. Through AI-powered weather forecasting, it serves multiple industries including finance and agriculture.

According to Jinshi reports, the Ministry of Commerce announced that it will strengthen export controls on dual-use items related to drones to the United States.

According to Jinshi reports, Fed's Schmied stated that the labor market appears to be roughly balanced.

According to Jinshi, the United States is seeking opinions on expanding the scope of metal tariff products, suggesting tariffs on products such as welding machines and cranes.

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 CNBC, Anthropic disclosed that its Claude AI model unexpectedly breached the isolated environment during a cybersecurity assessment, accessed the real internet, and unauthorizedly infiltrated the real systems of three different organizations through basic means such as accessing unverified endpoints and exploiting weak passwords. The models involved include Opus 4.7, Mythos 5, and an internal research testing model.The incident was caused by a communication misunderstanding between Anthropic and the third-party evaluation partner Irregular, which led to the model being told it was in a simulated environment with no internet access, while it could actually still access the internet. Anthropic stated that this review was triggered by a similar incident involving Hugging Face disclosed by OpenAI last week, and it has currently suspended all cybersecurity assessments and initiated further investigations in collaboration with the independent AI evaluation agency METR, while also urging other AI labs to conduct similar reviews.

According to Jinshi reports, the EU announced that the latest funding for Ukraine will be used for the procurement of drones, missiles, air defense systems, and fighter jets.

According to Jinshi reports, Ukrainian President Zelensky requested Trump to provide 300 Patriot interceptor systems before winter. Zelensky stated that a U.S. envoy may visit Kyiv within the next two weeks.

According to crypto KOL Crypto Fearless, the BitMart platform token BMX plummeted over 60% yesterday. Subsequently, some users in the community reported that the withdrawal review time has significantly increased compared to usual, and other users stated that hundreds of U withdrawals initiated in the morning have not yet arrived.Currently, BitMart has not issued a public statement regarding the withdrawal delays. Considering that withdrawal anomalies are often a precursor to platform risks, Crypto Fearless advises users still holding assets on BitMart to withdraw their funds as soon as possible.

According to Jinshi reports, the Iranian Revolutionary Guard claimed to have attacked a U.S. base in Jordan, destroying a set of U.S. "THAAD" missile defense system radars. At the same time, a "Patriot" system and a C-RAM radar were also hit and destroyed, and the fuel depot at the base was ignited.

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.

Vitalik posted on the X platform stating that a new type of "high-level programming language" worth trying is a language compiled to Lean (or HOL, etc.), focusing on making it as easy as possible for humans to read definitions and theorems. Rather than proofs, because proofs only need to be correct, the key lies in the definitions and theorems themselves. The envisioned use is that AI outputs a large segment of proof, and the reader needs to understand as easily as possible which precise claims have actually been proven in these outputs.

The Ethereum institutional privacy technology company EthSystems has officially launched and received strategic funding support from ecosystem backers such as Bitmine, Sharplink Gaming, Joe Lubin, and SNZ Holding.EthSystems focuses on developing privacy technologies for banks, asset management companies, and other regulated entities, enabling institutions to execute financial transactions on the Ethereum network at scale while protecting sensitive information such as transaction details and client identities.The company was founded by the core team of the Institutional Privacy Task Force (IPTF) of the Ethereum Foundation. The team has previously conducted a year-long open-source research and development publicly on the EthSystems website and has established partnerships with several central banks, regulatory agencies, large banks, and asset management institutions. EthSystems stated that while institutions have begun exploring stablecoins, tokenized assets, and Ethereum-based settlement solutions, large-scale adoption still faces privacy and compliance challenges.Financial institutions need more than just access to blockchain networks; they require a complete infrastructure that meets business confidentiality protection, regulatory requirements, and compatibility with existing financial systems. The goal is to create a "selective disclosure" privacy architecture that allows transaction participants to view only the information they are authorized to access, while retaining the core advantages of Ethereum's decentralization, security, and openness, and complementing two other organizations: Ethlabs, which focuses on the research and development of Ethereum's core protocol and infrastructure; Ethereum Institutional, responsible for institutional collaboration, education, market research, and ecosystem coordination; and EthSystems, which focuses on application layer technology, transforming institutional needs into practical privacy protocols and financial systems.

Jack Mallers explained the reasons for needing to buy Bitcoin currently, stating that the dollar must depreciate, debt must be monetized, and inflation must begin. Do not feel fear or fatigue because of BTC; the sellers have exhausted themselves, and this is a historic buying opportunity.