# The Log, issue 4: the bill, the proof, the banks (slim) > Issue 4 of The Log, the week in AI for people who don't follow it every day. Anthropic filed to list and Alphabet lost $500 billion in a day, OpenAI said its models proved three things nobody has checked yet, and Canada's banks shut the door on personal agents a week after Walmart opened one. - Full: https://www.anchorterminal.com/blog/the-log/issue-4-the-bill-the-proof-the-banks.md (~3,550 tokens) · this version ~1,430 tokens · JSON https://www.anchorterminal.com/blog/the-log/issue-4-the-bill-the-proof-the-banks.json · canonical https://www.anchorterminal.com/blog/the-log/issue-4-the-bill-the-proof-the-banks - Index: https://www.anchorterminal.com/llms.txt · API: https://www.anchorterminal.com/api/v1/index.json · MCP: https://www.anchorterminal.com/mcp · Updated: 2026-11-01 - Licence: CC BY 4.0, credit Anchor Terminal and link this page (https://www.anchorterminal.com/terms/#data) By Vlad Cealicu, 1 November 2026. 1,589 words, about 7 min to read. At 1:48am on Sunday 1 November I pushed every grade on this site to Hugging Face as a dataset, 1,381 rows, and then sat down to write this, which is the part of the week I like least (the dataset is at [AnchorTerminal/grades](https://huggingface.co/datasets/AnchorTerminal/grades), and it updates itself now, so at least that bit is done). ## The bill arrives from both ends Anthropic's S-1 went up on EDGAR at 9am New York time on Monday 26 October, to list on Nasdaq as ANT [[1]](#ref-1). Three days later the other end of the same bill came due. I think the two stories are one story. ## Three proofs, none checked On Monday 26 October OpenAI said its internal models had produced three results, a proof of the local smoothing conjecture in every dimension, which would settle the Kakeya conjecture along the way, a disproof of the Exponential Time Hypothesis, and a proof that quantum chromodynamics exists as a mathematical object [[4]](#ref-4). None of the three has been checked by the wider community. ## The banks shut the door Walmart opened In [issue 3](/blog/the-log/issue-3-found-leaked-let-in) Walmart said it would let shopping agents in through its own gateway. I don't think they're wrong, yet. ## Also this week Google DeepMind announced Genie 4 on Tuesday, a world model that builds a scene from a description and lets you change it while it runs, with sound, for trusted testers only [[7]](#ref-7). ## What we published - Mon 26. Anthropic's S-1 is a document about agents. I asked an agent to buy a train ticket to Edinburgh. Why does an AI agent need a different inbox anyway?. - Tue 27. Genie 4. OpenAI's models say the Exponential Time Hypothesis is false. Can you run GLM-5.3-Flash locally?. AI passes 37% of real engineering tasks. Slopcore will be a thing. - Wed 28. Is the best coding model better than a principal engineer?. Can you run Qwen3.8-27B locally?. - Thu 29. Your cousins, the open models an agent can start on spare hardware. - Fri 30. Five new things in agent tooling that nobody compares yet. The agent projects trending on GitHub, November 2026. Google ran Gemma 4 on a TPU in orbit. - Sat 31. We already have AI judges. Our grades, over DNS. Red-teaming that gets better when you add compute. The great software expansion. Two million page views took two years last time, and a month this time. - Sun 1. The Log, issue 4. The week of 26 October to 1 November 2026 Nineteen posts, which is too many, and I'm aware of it. On the site, every listing's grade is now a DNS record, so `dig TXT mapbox.grade.anchorterminal.com` answers from inside a box that can't reach the web [[9]](#ref-9). What isn't done. --- More in [The Log](https://www.anchorterminal.com/blog/the-log/index.md) · Previous issue [The Log, issue 3: found, leaked, let in](https://www.anchorterminal.com/blog/the-log/issue-3-found-leaked-let-in.md) - Older: [We already have AI judges, but not at the top courts yet](https://www.anchorterminal.com/blog/ai-judges-not-at-the-top-courts-yet.md) - All posts: https://www.anchorterminal.com/blog/index.md ## References Read on 31 October and 1 November 2026. Quotes are as published. [1] Anthropic, PBC, Form S-1 Registration Statement, filed with the U.S. Securities and Exchange Commission on 26 October 2026. Source for the ticker, the revenue by year and half, the glossary terms, the $80.7 billion net loss and the $72.4 billion fair-value change, the $693 million operating loss, the compute and channel-partner figures and the 49.9% vote. [2] The Motley Fool, Alphabet just lost $500 billion in market value, 29 October 2026, on Alphabet's third-quarter report of 28 October. [3] Implicator, Alphabet loses $500 billion as AI spending pushes cash flow negative, 29 October 2026, citing the Wall Street Journal and the Financial Times. [4] OpenAI, Working with academic communities to build scientific understanding, 26 October 2026. Source for the three results, the Lean formalisations and which are public, the hundreds of papers that assume the Exponential Time Hypothesis, and the six weeks. [5] Ana Maria Constantin, OpenAI says its AI model has disproved the Exponential Time Hypothesis, The Next Web, 26 October 2026. Source for the reviewers being the people who proposed the hypothesis, the open letter and the concern about credit. [6] Daniel Johnson, The Canadian Press, Some Canadian banks blocking personal AI agents amid security concerns, 28 October 2026, as carried by CP24. Source for the six banks' positions, the reason they gave and Dave McKay's line. [7] Google DeepMind, Genie 4, a new generation of world simulation, 27 October 2026. Source for what Genie 4 does, the sound, the trusted-tester preview and the Gemini model planning alongside it. [8] Travis Beals, We've received our first response from the Project Suncatcher prototype satellite, Google, 30 October 2026. Source for Gemma 4 on a TPU in orbit, the haiku and the downlink over Svalbard. [9] Anchor Terminal, dig TXT mapbox.grade.anchorterminal.com, our grades over DNS, 31 October 2026. Source for the DNS records, the IPv6-only zone and the secondaries.