Quick take: Systems become trustworthy when claims meet checks: hospital capacity reveals the real scale of disease, payment rules expose industrial power, formal proof makes AI output testable, and aviation restarts only after ash risk is measured.
Bangladesh’s dengue surge is exhausting hospital capacity
Bangladesh recorded its highest daily dengue admissions of 2026 on 6 September: 1,558 people entered hospital and four died, according to Health Ministry data reported on 7 September. The year’s totals had reached 42,590 hospitalisations and 117 deaths, with cases reported in all 64 districts. This is not simply a higher case count. Families in Dhaka are struggling to find beds while hospitals also confront a national measles outbreak. The government’s nationwide clean-up campaign is promising because removing stagnant water attacks the Aedes mosquito’s breeding cycle; experts caution that untargeted fogging alone is insufficient. Official figures also capture hospitalised cases rather than every infection, and forecasts of a worse September remain projections, not results. For residents, dengue can become dangerous as fever subsides, so access to timely assessment matters as much as prevention. A practical response is to empty or cover standing-water containers weekly, use physical mosquito barriers and follow local health guidance on warning signs rather than self-managing a deteriorating illness. Reuters, 7 September; WHO dengue guidance.
China closes loopholes in carmakers’ 60-day payment promise
Chinese regulators introduced stricter supplier-payment rules on 7 September after major automakers’ voluntary promise to pay within 60 days failed to end lengthy delays. The machinery matters: payment time must now start from a clearer point, acceptance procedures receive deadlines, engineering and service providers are included, and carmakers are discouraged from forcing suppliers to accept commercial bills or supply-chain notes instead of cash. Companies with large unpaid balances, deliberate delays or repeated complaints can face joint regulatory interviews, required correction and legal penalties. Semi-annual and annual reporting, plus independent annual assessments, should make hidden working-capital pressure more visible. That could protect smaller firms and their employees from financing the industry’s price war. The uncertainty is enforcement: regulators did not specify penalties, and “discouraging” non-cash instruments is weaker than prohibiting them. Suppliers should preserve delivery, acceptance and invoice dates and use complaint channels when deadlines are manipulated. Consumers and fleet buyers can also ask manufacturers to disclose average supplier-payment times alongside vehicle prices and environmental claims. Reuters, 7 September.
AI turns Fermat’s Last Theorem into checkable code
Anthropic reported on 4 September that a Claude-based agent system produced an end-to-end formalisation of Fermat’s Last Theorem in Lean, and Nature independently highlighted the result on 7 September. The achievement is verification, not a new mathematical proof: Andrew Wiles proved the theorem in 1995, while the new work translates a proof path into code whose logical steps a small trusted kernel can check. Anthropic says dozens of agents worked largely autonomously for 11 days, generating 13 million lines and 29,500 intermediate theorems used in the final argument. The public artifact and a review by mathematician Kevin Buzzard make the claim unusually inspectable. Yet size is also the limitation. The code is far longer than a human exposition, depends on existing community libraries and still deserves reproducibility and security scrutiny; a green check does not explain why the mathematics is insightful. The useful lesson extends beyond mathematics: when using AI for consequential technical work, ask whether its output can be tested by an independent verifier rather than merely reviewed as persuasive prose. Anthropic, 4 September; Nature, 7 September.
Jakarta’s airports reopen, but Anak Krakatau remains active
What is materially new: after the eruption and closures covered in the 6 September review, Jakarta’s two main airports and three regional airports reopened just after midnight on 8 September. Authorities allowed operations to resume only after judging conditions safe and requiring aircraft inspections. The two-day interruption affected 2,961 flights, including 622 international services, and about 341,000 passengers—showing how rapidly a geological hazard can become a network-wide transport problem. Reopening is promising because it reflects observation-led operational decisions rather than a fixed timetable. It does not mean the hazard has ended. Anak Krakatau produced further eruptions on Tuesday morning, remained at Indonesia’s second-highest alert level, and retained a three-kilometre exclusion zone; volcanic ash can damage aircraft engines even when it is difficult to see from the ground. Travellers should therefore treat the published schedule as provisional: verify directly with the airline and airport before leaving, keep essential medication and documents accessible, and follow official rerouting or cancellation instructions rather than relying on social-media images of apparently clear skies. Associated Press, 8 September.
