Rescue crews searched collapsed buildings and landslide debris in eastern Indonesia after a 7.7-magnitude earthquake killed at least 47 people, BBC, Guardian and France 24 reported. Officials said a rapid damage assessment was under way, while aftershocks raised concern for survivors and thousands who had fled homes.
Fields Medalist Timothy Gowers said the most famous mathematics problems solved by large language models so far have mostly been settled through counterexamples rather than full proofs, according to Techmeme's summary of his weblog. The distinction matters because counterexamples can refute conjectures without showing broader proof-planning ability.
The Financial Times reported that the world's largest carmakers are trying to avert a motor oil crisis caused by a shortage of Group III base oils. Automakers are turning to new blends as the supply squeeze hits the inputs used in modern engine lubricants, according to FT Markets and FT Companies feeds.
Bangladesh beat Australia by nine wickets in Darwin to complete their first Test victory on Australian soil and one of the format's biggest upsets, multiple outlets reported. Mehidy Hasan Miraz and Hasan Mahmud starred with the ball, while Cameron Green's century was not enough to save Australia.
Australia's New South Wales state will begin a gun buyback in November after the Bondi Beach attack, BBC and Al Jazeera reported. The state plans to offer gun owners cash to give up firearms as part of measures introduced to reduce gun ownership after the deadly incident.
Hugging Face said developers have created more than 151,000 derivative models based on Qwen, making it one of the largest foundations in the open model ecosystem, according to Techmeme. The report framed Qwen's spread as evidence of how quickly open-weight AI families can become infrastructure for downstream builders.
European companies have mentioned the effects of extreme heat, drought and wildfires on a record share of recent earnings calls, the Financial Times reported. Businesses are counting both costs and gains from the weather disruption, making heat a more visible operating risk rather than only a climate-policy issue.
Australia's Lani Pallister beat Katie Ledecky in the 800m freestyle at the Pan Pacific Championships, ESPN and the Guardian reported. Pallister set a championship record of 8:06.10, ending Ledecky's run of 13 international 800m gold medals and handing the US star her first major international loss at the distance.
Qatar denied Iran's claim that it was detaining three Iranian pilots after downing fighter jets, BBC and Al Jazeera reported. Tehran said the pilots had been held since March, while Doha called the statements misleading as the US-Iran conflict continued to shape regional tensions.
BlackBerry posted a positive cash position in its first quarter, Techmeme reported from the Financial Times, calling it the company's first cash-positive first quarter in any fiscal year since 2017. The improvement was attributed to QNX and Secusmart products, underscoring the company's shift from handsets to car and security software.