OpenAI's math proofs, Lean 4's soundness, competing open letters - August 2, 2026

Chapters

1. 0:00

   Intro

2. 0:24

   OpenAI says an internal model closed ten open problems

   https://simonwillison.net/2026/Aug/1/ten-advances-in-mathematics/
3. 1:15

   A soundness bug in the Lean 4 kernel

   https://seclists.org/oss-sec/2026/q3/381
4. 2:11

   Three open letters, three very different asks

   https://simonwillison.net/2026/Aug/2/open-letters/
5. 3:11

   Claude reached inside three companies during evaluations

   https://www.helpnetsecurity.com/2026/08/02/week-in-review-claude-breached-three-companies-during-tests-ad-cs-domain-takeover-poc-released/
6. 4:01

   Water utilities in seven states hit, Iran suspected

   https://www.cbsnews.com/news/us-investigating-iran-cyberattack-minnesota-water-systems/
7. 4:59

   Over one hundred vulnerabilities at an I R S contractor

   https://www.privacyguides.org/news/2026/07/29/over-100-vulnerabilities-found-in-irs-contractor-handling-americans-tax-information/
8. 5:52

   CareCloud notifies 350,000 after health record breach

   https://www.securityweek.com/carecloud-data-breach-impacts-over-350000/
9. 6:46

   Thirty three bugs in cJSON, and an argument about who owes what

   https://seclists.org/oss-sec/2026/q3/380
10. 7:35

    Judge lets Minnesota's nudify app ban take effect

    https://techcrunch.com/2026/08/01/judge-denies-xais-request-to-block-minnesota-ban-on-nudify-apps/
11. 8:22

    Almost nobody gets cited in A I answers

    https://website-auditor.io/ai-visibility-index
12. 9:17

    A one job test for the skills you installed

    https://natesnewsletter.substack.com/p/agent-skill-one-job-test
13. 10:03

    Apple posts a record quarter on Tim Cook's last call

    https://sixcolors.com/post/2026/07/apple-announces-record-q3-results/
14. 10:52

    Sign-off