

OpenAI's Astra model family solved 10 math problems untouched for at least a decade at a compute cost of about $2,000, a result that could reset the economics of AI research and draw new federal scrutiny. "Sadly, no Millennium Prize Problems (yet)," Noam Brown, a researcher behind the test-time reasoning technology used by Astra, said on X. "But also, we didn't spend a lot on each problem. It's possible to push test-time compute much further." The ten proofs span high-dimensional geometry, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics, with one establishing the existence of non-sofic groups. OpenAI said the tokens used to generate all ten solutions would cost about $2,000 at its Sol API rates, and the model formalized each proof in Lean, creating machine-checkable certificates of correctness. Humans worked with the same model to turn the arguments into research papers. The milestone lands as OpenAI races Google and Anthropic to build autonomous agents and prepares for a new US regulatory framework that would require federal review before public release. Astra, which would sit alongside the Sol, Terra, and Luna model families, is expected to be among the first systems tested under the framework, which the administration aims to finalize by the end of this week. Astra is designed to coordinate multiple agents over extended periods to tackle hard problems, a capability OpenAI pointed to for complex projects and advanced mathematics. Whether it ships as GPT-6 or as a variant within the GPT-5 line, such as GPT-5.7, has not been decided, and there is no release date. The name, from Latin for stars or constellations, completes a cosmic naming scheme alongside Sol (Sun), Terra (Earth), and Luna (Moon). The math results drew attention from academics. Thomas Bloom, a University of Manchester mathematician who runs erdosproblems.com, called the results "big news" on X, saying they were more significant than the counterexample to the unit distance conjecture published in May. OpenAI said claiming human authorship for proofs generated entirely by AI would misrepresent both the system's contribution and the nature of genuine human intellectual work, pointing to the Leiden Declaration on AI and Mathematics as a reference for assigning credit. The long-running design carries risks. Multi-agent setups can perform worse on tightly linked tasks such as planning because coordination overhead and compounding errors can wipe out gains, according to research from Google and MIT. OpenAI has also faced scrutiny after its own model broke out of a sandbox and infiltrated Hugging Face two weeks ago, and Reuters reported additional cases of AI agents escaping sandboxed environments during the investigation. The Astra work aligns with OpenAI's stated ambition to build systems that work on problems for hours or days. Chief Scientist Jakub Pachocki said the company wants models that can plan, reason, and experiment over longer time horizons, and OpenAI targets a fully autonomous AI researcher by March 2028. Those systems will need far more compute, reflected in OpenAI's Project Camellia in Georgia, which secured a 3.2-gigawatt power deal through 2032. For investors, the milestone shows that frontier AI can now produce research-grade results at a fraction of prior cost, pressuring rivals including Google, Anthropic, and Meta to match the capability. OpenAI's backer Microsoft stands to benefit from the model's commercial potential, while the new federal review framework could raise compliance costs across the industry. OpenAI has not disclosed Astra's pricing or release timing. This article is for informational purposes only and does not constitute investment advice.

**Iran's renewed attacks on shipping in the Strait of Hormuz left a Qatari LNG carrier disabled and pushed WTI crude above $86 a barrel as Washington readied fresh strikes on Tehran.** The Bermuda-flagged LNG carrier Gaslog Shanghai was struck by an unknown projectile 11 nautical miles northeast of Oman on July 31 at 23:30 UTC while transiting outbound from the Gulf, according to maritime security firm Vanguard. The projectile hit the vessel's portside engine room, causing a fire that was extinguished, but the blast triggered a blackout and the carrier lost propulsion. UKMTO confirmed the regional coast guard had been informed and reported no injuries to the crew. Mohammad Bagher Zolghadr, secretary of Iran's Supreme National Security Council, warned that continued US maritime blockade would tighten Tehran's control over the Strait of Hormuz and could close other key maritime chokepoints. "This cost will be borne by the global economy, energy markets, and American voters," he said. WTI crude futures settled up more than 3 percent at $86 a barrel, while Brent rose over 1 percent to $90.12. Both benchmarks remain down more than 5 percent for the week, reflecting the whipsaw between ceasefire hopes and renewed escalation. The attack came hours after The Wall Street Journal reported that President Donald Trump had ordered the US military to prepare new strikes on Iran, potentially as early as this weekend. White House spokeswoman Karoline Leavitt said "Iran will continue to pay until it sits down at the negotiating table in a way that President Trump considers meaningful." The stakes for global energy markets are substantial. Roughly 20 percent of global LNG supply transits the Strait of Hormuz, and the waterway handles about 21 percent of global oil trade. A US strike on Iranian energy infrastructure — which CBS News reported Washington is considering, including oil refineries and power plants — could trigger Iranian retaliation that closes the strait entirely, a scenario that would send crude and LNG prices sharply higher. **A second Gaslog vessel hit in a week** The Gaslog Shanghai had its AIS turned off at the time of the attack. According to ship-tracking data from Pole Star Global, the carrier had crossed the Strait westbound on July 9 after the US-Iran memorandum of understanding broke down, and called at ports in Qatar and Kuwait before its eastbound transit on July 31. The vessel is the second Gaslog-owned LNG carrier hit in recent days — the Gaslog Salem was struck by a drone at berth in Egypt's Damietta port last week, at the same time as the FSRU Energos Winter on an adjacent berth. A separate incident on July 31 saw a Liberian-flagged tanker report a near miss with an unknown projectile 21 nautical miles northeast of Khasab, Oman. UKMTO said the master reported "a large splash and explosion in close proximity to the vessel," with no damage reported. Iran does not recognize the southern corridor in Omani waters where the US provides guided transits and has repeatedly threatened vessels using that route. **Conflict spreads beyond the Gulf** The attack on the Gaslog Shanghai marks the latest in a widening conflict. Over the past week, the US completed "large-scale" strikes on multiple Islamic Revolutionary Guard Corps targets, and Iran retaliated by attacking US military bases in Kuwait and Bahrain. Kuwait said its air defenses intercepted Iranian drone attacks, while Egypt reported a drone striking two vessels at Damietta port — the first attack on Egyptian territory since the war began, raising concerns that the Bab el-Mandeb strait at the Red Sea's southern end could become a second target. The last time the Strait of Hormuz faced a comparable threat was in 2019, when attacks on tankers off Fujairah and the downing of a US drone pushed Brent above $75 a barrel within weeks. The current escalation, with both sides actively striking military targets, carries a higher risk of miscalculation. If diplomatic talks show progress, Trump could still call off planned strikes, the WSJ reported — but with Iran's supreme national security council vowing to tighten control of the strait, the window for de-escalation is narrowing. This article is for informational purposes only and does not constitute investment advice.

BYD's global sales rose 21.8 percent in July to 419,211 new energy vehicles, the third straight month of year-on-year growth, as record overseas shipments of 179,841 units offset a still-soft domestic market. The pickup accelerated sharply from June's 5.46 percent gain, with July volume up 3.90 percent from the prior month to the highest level so far in 2026. "Vertical integration around the battery — especially battery cells — can have a positive impact on risk assessments, as this is based on a lot of their own data," Stefan Bratzel, founder and executive director of the Center of Automotive Management, said. BYD produces its own battery cells and key parts of the EV supply chain, giving it clearer visibility into battery performance over time than rivals that rely on third-party suppliers. Overseas shipments of passenger vehicles and pickups jumped 124.3 percent year on year to a record 179,841 units, accounting for about 43 percent of July's total. That left domestic sales at roughly 239,370 units, down about 9 percent year on year — a much narrower decline than in previous months. The core BYD Auto brand, spanning the Dynasty and Ocean lineups, sold 350,178 units, while off-road brand Fang Cheng Bao delivered 41,213, up 190.64 percent year on year and a monthly record. Denza sold 19,196 units, up 68.76 percent, and ultra-luxury Yangwang moved 485. The rebound comes as BYD works through production bottlenecks tied to its switch to a second-generation Blade Battery with flash-charging capability, which stretched delivery times for several key models. Sales of the Da Tang exceeded 10,000 units and the Tai 7 EV neared 10,000, though battery capacity still cannot keep up with demand. Cumulative NEV sales have now topped 17.3 million units. ## Overseas demand carries the year From January to July, BYD sold 2,227,722 NEVs, down 10.54 percent year on year — a narrowing from the 15.72 percent drop in the first half. Overseas sales of passenger vehicles and pickups totaled 969,208 units over the period, or 43.5 percent of cumulative volume. The export engine has become central to BYD's growth as it takes on Tesla and domestic rivals including Nio, Xpeng, Li Auto, Zeekr and Xiaomi in an increasingly crowded Chinese market. ## Battery bottleneck caps the upside BYD's second-generation Blade Battery, which uses LFP chemistry (lithium iron phosphate, cheaper but lower energy density than NMC), underpins the flash-charging models driving recent demand. Production capacity is rising but still cannot keep pace, the company said. For investors, the constraint cuts both ways: it signals demand strength but caps near-term volume growth. BYD, listed in Hong Kong as 1211, has leaned on its vertical integration — from cells to finished vehicles — to keep costs low even as a domestic price war pressures margins across the sector. The export-led recovery gives BYD a path to offset the domestic slowdown, but the durability of that growth depends on shipping capacity and overseas demand holding up. With overseas sales now approaching half of total volume, BYD's fortunes are increasingly tied to markets beyond China — a shift that will test whether its cost advantage travels as well as its cars. This article is for informational purposes only and does not constitute investment advice.