Evening Edition No. 12
Google DeepMind's AI Proves Signal's Locks Hold, Voyager 1 Nears One Light-Day From Home, and Robot Boats for the Marines
Covers Monday, November 9, 2026, 6:00 PM ET to Tuesday, November 10, 2026, 6:00 PM ET
Google DeepMind's AI agents mathematically prove the core of Signal's encryption is secure, Anthropic brings Claude into spreadsheets and meetings, Kratos signs up to launch from a platform at sea, Voyager 1 is about to become the first spacecraft one full light-day from Earth, Amazon's drones win approval to serve 8,000 homes in England, the FDA authorizes a two-armed robot that removes bladder tumors in one piece, the Pentagon picks three companies to build half-sunk robot supply boats, Congress weighs new limits on AI chip sales to China, big banks put $270 million behind their own stablecoin, and Path Robotics raises $300 million for welding robots.

In 60 Seconds
- Google DeepMind's AI agents proved, with math a computer can check, that the core code keeping Signal messages private works as promised, in four weeks instead of years.
- Voyager 1, launched in 1977, will be 16 billion miles away on Nov. 18, so far that its radio signal takes a full day to reach us.
- The FDA authorized a robot with two needle-thin arms that removes bladder tumors in one piece, which helps doctors see how far a cancer has spread.
- Amazon's delivery drones won approval to serve about 8,000 homes around Darlington, England, up from about 600.
On the Dashboard
Stuck on AI, software or a book?
Office Hours with Dennis W. Davis is one-on-one help on Zoom with computers, creative software and publishing. Office Hours is run by Wanderlight Inc, which also publishes Singularity Nightly.
Lead Signal
Google DeepMind's AI agents prove the heart of Signal's encryption is secure

Google DeepMind on Tuesday introduced AlphaProof Code, a team of AI software that takes actions on its own, such as making a payment or booking a trip, instead of only answering questions. In the Glossary that writes A math proof rewritten in a strict computer language so a program can check every single step. If the checker accepts it, there are no hidden mistakes. In the Glossary, step by step math arguments a computer can check line by line, in a language called A math proof checked step by step by a computer program, so no step can be wrong without the computer catching it. In the Glossary. Its first big job was Signal, the free messaging app that keeps chats private with Scrambling a message so only the people with the right key can read it. In the Glossary, a way of scrambling messages so only the sender and receiver can read them. The agents checked Signal's core encryption code all the way down to the machine code that actually runs on phones. One of the things they proved is that messages stay protected even before and after a phone has been briefly broken into. The work took four weeks; DeepMind says expert teams have needed years for jobs like this. The agents wrote millions of lines of Lean, sent about 1% of the code to human experts to look over, and let the computer check the rest. As a test, researchers put two old Signal bugs, already fixed years ago, back into a separate copy of the code, and both times the system produced a checked proof that the broken version was not safe. The agents run on Google's Gemini Carbon model, and the proofs are free for anyone to read. Signal's chief technology officer, Ehren Kret, called the approach "a major breakthrough."
The Desks
[AI] AI Models
Anthropic brings Claude into spreadsheets, video calls and team whiteboards

Anthropic, the company that makes the Claude AI, showed new work tools at an event in San Francisco on Tuesday, Engadget reports. Claude Sheets lets Claude build and edit spreadsheets with several tabs and formulas, the math rules inside cells, keeps track of every change it makes, and saves files for Excel; it is in beta, an early test version, for paying users on the web, computers and phones. Claude Meetings is an agent, an AI that carries out tasks on its own, that joins Google Meet video calls, takes notes and follows up on to-do items. It is only for business plans, tells everyone in the meeting chat that it is there, and stays out of calls with outside guests unless a company allows it. Claude Whiteboards sorts a team's ideas by theme and drafts a to-do list for each person. Claude Dashboards gets a new name, Claude Data, and full apps from Adobe, Atlassian and HubSpot can now open inside Claude. Anthropic did not share prices.
Disclosure: Singularity Nightly is drafted with help from Anthropic's Claude. We cover Anthropic like any other company.
[LAUNCH] Launches
Kratos signs up to launch rockets from a platform at sea

Kratos, a defense company that builds drones and test rockets, signed a long-term agreement on Tuesday to use the first Gateway platform from Seagate Space of St. Petersburg, Florida. Gateway is an A ship or floating pad that launches rockets at sea, away from crowded launch sites on land. In the Glossary, a floating pad that can A European and UK risk score for drone flights, from I to VI. A higher number means the operator proved more safety measures. In the Glossary out to open ocean and launch rockets there. Seagate signed its first contract to build one at the same time. Kratos plans its first mission from the platform in 2027, starting with Faster than five times the speed of sound, roughly 6,100 kilometers (3,800 miles) an hour, the speed of a new class of missiles and test aircraft. In the Glossary test vehicles, which fly more than five times the speed of sound, and targets the military uses for practice. Neither company shared the price or length of the deal. Kratos CEO Eric DeMarco said the sea gives "flexibility, responsiveness, and operational choice." Seagate has also announced partners including Aurex, SatNews reports.
[ORBIT] Satellites and Orbit
Voyager 1 is about to be one light-day from home

NASA's Voyager 1, launched in 1977, will be about 16 billion miles from Earth on Wednesday, Nov. 18, NASA says. That is one The distance light travels in one day, about 16 billion miles. In the Glossary, the distance light travels in 24 hours, so a radio message sent to Voyager now takes a whole day to get there and another day for the answer to come back. NASA calls it "the most distant human-made object." Voyager 1 left the bubble of the Sun's wind and entered The space between the stars, outside the bubble of particles blown out by the Sun. In the Glossary, the space between the stars, in 2012, and it still sends back science. NASA invites everyone to "Shine Bright for Voyager's Light-Day" after sunset on Tuesday, Nov. 17, by flashing a phone light to spell VGR in A code that spells letters with short and long signals, such as beeps or flashes of light. In the Glossary, a code of short and long flashes. A panel from NASA's Jet Propulsion Laboratory streams on nasa.gov/live at 12:00 PM ET on Thursday, Nov. 19.
[AIR] Air Mobility
Amazon's delivery drones get approval to serve a whole English town

The UK Civil Aviation Authority gave Amazon's Prime Air a SAIL 4 approval, Amazon says, the first in the country. SAIL is a safety score for drone flights, from I to VI, and a higher number means the company had to prove more safety steps. Starting Tuesday, about 8,000 homes within 7.5 miles of Amazon's Darlington warehouse in northeast England can get deliveries, up from about 600, ITV reports. The MK30 drone, which has six motors, carries items up to 5 pounds and drops them off in under two hours, at no extra cost for Prime members. Theunis Scheepers of Prime Air Europe said "Earning it took years of disciplined engineering." In July an MK30 came down in a garden in Darlington; no one was hurt, and investigators opened an inquiry.
[MED] Medicine
The FDA authorizes a two-armed robot that removes bladder tumors in one piece

Virtuoso Surgical of Nashville received De Novo authorization from the FDA on Tuesday for its Virtuoso A thin tube with a light and camera that doctors pass into the body to look and operate. In the Glossary System. The FDA path for a new kind of low to moderate risk medical device with nothing like it already on the market. In the Glossary is the FDA's path for a brand new kind of device with nothing like it already on the market. Today, bladder tumors are usually scraped out in small pieces through a thin tube called an endoscope. Virtuoso puts two arms, each about as thin as a needle and made of bendy metal tubes, at the tip of the tube: one lifts the tumor while the other cuts underneath, so it comes out whole, Urology Times reports. In the first 20 patients of a study, the bladder wall muscle doctors need to see was present in 94% of removed tumors, against about 70% with the usual surgery, and there were no problems during surgery. CEO Duke Herrell said removing a tumor in one piece "supports clearer diagnosis and staging." Leading U.S. urology centers get it first, in 2027.
[DEF] Defense
The Pentagon picks three companies to build half-sunk robot boats that resupply Marines

The Defense Innovation Unit, the Pentagon office that brings in new technology from companies, said Monday evening it gave three A deal to build test versions of something before any big order. In the Glossary, deals to build test versions, for its Autonomous A boat that rides almost level with the water, so it is hard to see or spot on radar. In the Glossary project, Defense Daily reports. The winners are Saronic Technologies, Sea Machines Robotics and Rudder Industries, a first-time Pentagon partner, Ocean News reports. A low-profile vessel rides almost level with the water, so it is hard to see or spot on radar, and these boats drive themselves. The Marine Corps Warfighting Laboratory and the Navy's small boat engineers are partners. The dollar amounts were not shared. DIU said the goal is "rapid prototyping and fielding at scale." Marines tested one of the boats at Camp Pendleton in January.
[POLICY] Law and Policy
Congress pushes to add new limits on AI chip sales to China to the defense bill

Leaders in both parties are pushing to put three A tiny slice of material, usually silicon, carved with billions of switches that let a device compute and store information. Chips run everything from phones to AI data centers. In the Glossary bills into the final version of the The yearly law that sets Pentagon policy and spending limits. In the Glossary, the yearly law that sets Pentagon policy, 24/7 Wall St. reports. The AI Overwatch Act would let Congress review licenses to sell advanced AI chips to China and other countries of concern. The Chip Security Act would make companies keep track of where their AI chips end up abroad. The MATCH Act would push allies to limit sales of chipmaking tools to China. House Democratic leader Hakeem Jeffries "strongly supports" the Senate's chip language and said there are "real concerns that need to be addressed," Reuters reports. The push follows reports, from unnamed U.S. officials, that Nvidia's CEO was the target of a foreign spying effort; China called the claims "entirely groundless," Al Jazeera reports. House committee chairs asked Nvidia's Jensen Huang to say by Wednesday whether he will attend a closed briefing on Nov. 18. None of these measures is law yet.
[TOKEN] Tokenized Assets
Big banks put $270 million behind their own dollar stablecoin

Goldman Sachs, Citigroup and other banks have committed about $270 million to Project Faro, enough to run it for five years, Bloomberg reported Tuesday, according to CoinDesk. A A digital token designed to stay worth a fixed amount, usually one U.S. dollar, backed by cash and safe assets such as Treasury bills. In the Glossary is a digital token meant to always be worth one dollar, backed by cash and short-term government debt. Faro plans a U.S. company to issue a dollar stablecoin, and later A small piece of a word that an AI model reads or writes. A model's memory, or context, is measured in tokens. In the Glossary for other big currencies, starting with the euro. The group has 21 members, including Santander, Deutsche Bank, Bank of America, Wells Fargo and In quantum computing, a score from 0 to 1 for how close a result is to the perfect one. In the Glossary, and aims to launch in the first half of 2027, Unchained reports. Today two private coins, Tether's USDT and Circle's USDC, hold about 84% of a stablecoin market of about $293 billion. The banks did not comment. Not investment advice.
[WILD] Wildcard
Path Robotics raises $300 million to move welding robots toward running whole factories

Path Robotics of Columbus, Ohio, raised $300 million on Tuesday, valuing it at $2.45 billion. Path makes robots that weld, joining metal parts with heat, and trains them with Obsidian, what it calls a AI that controls machines in the real world, such as robots, rather than only making text or pictures. In the Glossary model, an AI that learns to control machines in the real world, built from real welding data. In May it launched Rove, a welder that rides on a four-legged robot so it can walk to the job. Its yearly subscription revenue grew 17 times in 18 months, and in August it signed a $600 million deal with HII, a shipbuilder, to help build Navy ships. The money will go to new jobs beyond welding, new kinds of robots and computer power to train its AI. CEO Andy Lonsberry said "Our goal isn't to automate one step, but to automate the entire factory." Not investment advice.
Watch
Play video: Boston Dynamics (Nov. 9): Atlas on wheels glides sideways, balances on one wheel and lands a spinning jump in a research test.
Play video: AI Revolution (Nov. 9): a roundup of humanoid robots in China, including news anchors with artificial skin and a 24-hour store run by robots.
Play video: In case you missed it, SpaceX (Nov. 7): Starship, Go For Orbit, the story of Starship's path to its first orbital flight with Starlink satellites.Voices
- Elon Musk, on X, said the software SpaceX built to move huge amounts of data through SpaceX's satellite internet service, delivered by thousands of satellites in low Earth orbit to small dishes on homes, ships and planes. In the Glossary is "very well suited to training AI that would be smarter than the best humans at nearly every task. No such system exists yet; some labs are working toward it and others warn about it. In the Glossary." source (opinion)
- Dr. Alexander Wissner-Gross, in his Innermost Loop newsletter, opened Tuesday's issue with "The point where human and machine intelligence converge, and together set off advances so fast and so large that nobody can picture what comes after. Ray Kurzweil, who popularized the idea, frames it as people merging with the intelligence they build. In the Glossary's quiet period just got loud." source (opinion)
By the Numbers
- 4 weeks: how long DeepMind's agents took to prove Signal's core encryption code secure, a job that has taken experts years. Google DeepMind
- 65: Claude Fable 5.2's score on the A combined score from Artificial Analysis, an independent testing company, that ranks AI models across many reasoning, knowledge, math and coding tests. Higher is better. In the Glossary, the new top score, up from 60. Artificial Analysis
- 16 billion miles: Voyager 1's distance from Earth on Nov. 18, one light-day. NASA
- 0: orbital launches worldwide in the window; 261 in 2026. Launch Library 2
- 456: Starship launches a year SpaceX wants to fly from Texas, up from 25. FAA
- About 8,000: homes in Darlington, England, that Amazon's drones can now reach, up from about 600. Amazon
- 94%: removed bladder tumors that included the wall muscle doctors need to see, with the Virtuoso robot, in 20 patients. MedTech Dive
- 48: novel drugs approved by the FDA in 2026 so far. FDA
- $270 million: what banks committed to the Project Faro stablecoin. CoinDesk Not investment advice.
- $132.5 billion: CoreWeave's Work a company has signed contracts for but not yet delivered or been paid for. In the Glossary of signed future work for its AI computers, as of Sept. 30. CoreWeave Not investment advice.
- $2.45 billion: Path Robotics' value after its new funding. Robotics 24/7
- $40.01 billion: tokenized In blockchain finance, a traditional asset that exists outside the blockchain, such as a Treasury bill, a loan or a building, represented by a token on one. Often shortened to RWA. In the Glossary, excluding stablecoins. RWA.xyz Not investment advice.
Tomorrow's Watchlist
- Wed Nov. 11: Veterans Day; China's A Chinese two-stage rocket that burns liquid fuel and mostly carries small satellites. In the Glossary launches from Jiuquan, 6:40 AM ET; the European Commission is expected to present its Digital Fairness Act; deadline for Nvidia's Jensen Huang to answer House chairs; Falcon 9 launches USSF-627 from Vandenberg, 9:35 PM ET.
- Thu Nov. 12: Intuitive Machines results, 8:30 AM ET; Virgin Galactic results, 5:00 PM ET; Cisco and Applied Materials report after the market close.
- Fri Nov. 13: South Korea's Mir rocket may make its first full flight from a sea platform, about 12:00 AM ET; Vulcan returns to flight with 40 Amazon Leo satellites, 12:54 PM ET; Starship Flight 15 tries to catch both its The first and largest stage of a rocket, which gives the push for liftoff. SpaceX and others now land their boosters and fly them again. In the Glossary and its ship, window 5:45 to 7:00 PM ET, pending its FAA license.
- Sat Nov. 14: Rocket Lab's Electron launches a radar satellite for iQPS, 12:30 AM ET; FDA decision due on Summit's lung cancer drug ivonescimab; ObesityWeek opens near Washington.