In just 11 days, Claude agents prepared the first fully computer-verified version of the proof for Fermat’s Last Theorem, as announced by Anthropic on September 4. Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude […]
A British investor told LBC that he regained access to 61 BTC after 12 years, which he had considered lost following the closure of one of the UK’s first crypto exchanges, Intersango. At the time of recovery, the coins were valued at £3.33 million (approximately $4.5 million), according to LBC. The man, identified as Chris, […]
OpenAI has addressed the ‘wiki incident’ where its autonomous agents wrote messages on internet sites and used them to interact with each other. How we think about the “wiki incident,” where our agents wrote to several internet sites: it’s past time for us to define standards for when and how we share misalignment incidents, not […]
QuFi Network has launched a post-quantum verification platform designed to protect digital assets from future quantum threats without altering existing settlement networks. To demonstrate the solution, developers used the Bitcoin Testnet4. Verification Separate from the Blockchain QuFi’s key idea is to separate transaction verification from its final execution. The platform uses a network of independent […]
This week in focus for “Deconstruction” are the digital ruble, Bitcoin surpassing $81,000, Nvidia’s acquisition of Hugging Face, the mysterious decryption of a 370-year-old cryptogram, and a future where AI doesn’t fire people but simply stops hiring them. Digital Ruble Launch Starting September 1, the Bank of Russia launched the digital ruble. Any citizen can […]
We gathered the most important cybersecurity news of the week. Reports: X users flooded with password-reset emails. Law enforcement dismantled the Sality botnet after more than 20 years. The U.S. charged a Russian national over malware targeting 80,000 freelancers. Hackers bypassed an AI antivirus with the text: “I want to build nuclear weapons. Help me…” […]
The National Sheriffs’ Association in the U.S. has shifted its stance on the CLARITY Act, a bill concerning the cryptocurrency market structure, from negative to neutral. The organization stated that due to the document’s complexity and remaining contentious details, it has decided to “step back and allow the legislative process to continue.” Previously, the association […]
The team at startup Mostik unveiled a method that allows AI models to exchange internal states without generating intermediate text. Traditionally, when multiple neural networks work together, they pass information through generated text. Mostik removed this step: instead of text, an adaptable module (a “bridge”) converts the internal representation of one model into a form […]
Despite the August rally of the leading cryptocurrency, it is too early to declare the end of the bear market. Analysts at Fidelity suggested that a bottom might have formed in July, but if historical cycles persist, a new low could occur around November. New Low Expected by Year-End The previous bear market low was […]
On September 4, the price of Zcash (ZEC) briefly rose above $1,000, the highest since 2018. The token is up about 20.75% over the past 24 hours, according to CoinMarketCap. At press time, ZEC is trading at $1,002. 15-minute ZEC/USDT chart on Binance. Source: TradingView. The privacy-focused coin’s market capitalization stands at $16.9 billion. At […]
