AI Is Solving Math's Best Problems Faster Than They Can Be Replaced, Terence Tao Warns
Related
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)
Opinion: Neocloud and memory sectors are experiencing position clearing; pullbacks often present the best buying opportunities.
According to BlockBeats, on July 3rd, renowned analyst degentrading stated that the current market is experiencing a sustained sell-off, with IREN and CIFR leading the decline in the Neocloud sector. Even memory stocks, considered the "ultimate momentum factor," have not been spared, with Micron (MU) falling below the $1000 mark reminiscent of its price action after its last earnings release. Meta (META) has also given back some of its previous gains, as the market has soberly assessed the substance of its plans, dampening previous expectations. Degentrading believes that such position clearing is usually drastic and rapid, and he does not believe he has the ability to accurately time the "absolute bottom." However, he emphasizes that this is precisely why investors should conduct in-depth research themselves. Only in this way can they maintain confidence in holding positions during periods of increased market volatility. Degentrading also cautions that leveraged instruments are not suitable for long-term holding, but only for short-term trading over a few days; otherwise, they will face volatility attrition. He advises investors to ensure they can withstand drawdowns, as position clearing, while brutal, often presents the best opportunities to establish new positions.
AI-based formal verification company Pramaana Labs has raised $27 million in seed funding to introduce LEAN mathematical proofs to solve illusions.
According to Beating, Pramaana Labs, a startup dedicated to introducing mathematical formal verification into AI, has announced the completion of a $27 million seed funding round. The round was led by Khosla Ventures, with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. The funds will be used to build deterministic verification layers for highly sensitive and error-tolerant industries such as law, drug development, and tax filing. While Pramaana Labs' system still runs on a traditional LLM (Linguistic Modeling) to maintain flexibility in handling complex problems and natural language, its core innovation lies in building a deterministic verification mechanism on top of LLM. This mechanism borrows from the open-source LEAN programming language used for verifying mathematical theorems, codifying industry rules specific to each field. To build LEAN-style formal verification systems for different vertical industries, Pramaana has invited numerous domain experts to supervise and endorse the process. In the area of taxation, the company is collaborating with former IRS Commissioner Danny Werfel; in cybersecurity and drug discovery systems, the team is led by professors from the Indian Institutes of Technology (IITs) Delhi and Madras and the University of California, Berkeley.
This Guy Cloned Sam Altman, Elon Musk, and Zuckerberg Into AI Bots. They Immediately Started Fighting
Kun Chen built chatbot versions of four AI CEOs on SpaceXAI's new Grok Bot templates, locked them in one chat, and told them to debate the AI race until they agreed on something.
‘White hats’ take 4000 BTC from Liquid, ETFs see best week of 2026: Hodler’s Digest
Purported white hat hackers have taken 4000 Bitcoin from the Liquid sidechain in a major security breach. The Bitcoin ETFs see the best three weeks of inflows in 2026.
Token buybacks are booming. But are they good for crypto projects?
Crypto projects are spending hundreds of millions buying their own tokens. But are buybacks creating lasting value — or just making tokens look more valuable than they really are?