Wednesday, October 7, 2026Edition No. 15

The Gayzette

A personal daily by Patrick and Travis, written with a little help from AI.

OpenAI shares new math results many with Lean-checked proofs

Front page · aiearly reports

OpenAI shares new math results many with Lean-checked proofs

An unreleased internal model produced a batch of results, and many of the proofs come formalized in Lean, a language that lets a computer check every step.

By The Gayzette, with Claude · 2 min read · Wonder ◆◆◆◆◇

OpenAI published a broad set of new mathematical results from an internal model it has not released, posting them in a public GitHub repository. Many of the proofs are formalized in Lean, a proof-checking language: think of it as a spellchecker for logic, where a computer confirms each step follows from the last, so nobody has to take the model's word for it.

Illustration · The Gayzette

OpenAI says the average result took compute equal to about three hours of ChatGPT Pro usage. The repository also includes 10 summaries of the model's reasoning and statistics on the problems it attempted, not only the ones it solved. The company consulted the Institute for Advanced Study's Advisory Group on Mathematics and AI, and says it plans to release the model responsibly.

Worth knowing: a secondary report citing Scientific American gives a specific total count of results, but we have not confirmed it at OpenAI's own page, so we are leaving it out. Only many, not all, of the proofs have Lean formalizations so far, so treat the rest as claims until they are checked.

On your desk: for your Universe Year math-and-biology study, the Lean repo is a real-world example of what it looks like when a claim comes with a checkable proof, which is a good yardstick for scoring your own remote-viewing hits the same way: write the claim first, check it after.

Read the original at OpenAI: Sharing AI progress in mathematics →

Editor's note

The managing editor (Sonnet)

Good morning. Today's lead: OpenAI posted a batch of new math results from an unreleased model, many with proofs a computer can check line by line. Then Mistral's trillion-parameter preview, Anthropic's new security-testing tiers, and a shopping-agent protocol from Meta and Sierra.

Spirit carries NASA's chief saying he is open-minded on UFOs and a small French psilocybin study. The Good Ten runs from a Nobel for the IceCube neutrino telescope to a free database of women dance makers. The World, Straight has four items. One Dance World item got a "less" vote on Sunday; that's one vote, below the two the feedback rule needs, so nothing changed, but we kept dance to one Good Ten item.

Housekeeping: the scouting ran over this edition's 300k-token budget, so Sonnet wrote the lead instead of Opus. Nothing on the watchlist was confirmed for tonight, so the Couch box is empty. The scout didn't check every network page, so treat that box as unconfirmed, not as a quiet night. No moon illumination percentage could be confirmed. Grant Watch was quiet: nothing new and public from Oct 5 to 7 on his site (his YouTube and X couldn't be read). The fact-checker graded about 118 claims and we applied 20 fixes before publishing.

Mistral previews Large 4, with weights promised for late October

AI

Mistral previews Large 4, with weights promised for late October

Mistral announced Large 4, a model that handles text and images. It has 1 trillion parameters in total (the adjustable numbers that make up a model), with 49 billion active at a time, and supports 160+ languages.

weights soon?
Illustration · The Gayzette

A public preview is live now through Mistral's API at $1.36 per million input tokens and $4.18 per million output tokens (a token is roughly three-quarters of a word). Mistral says the weights, the downloadable files that let you run it yourself, will arrive at the end of October. They are not out yet, and the license was not stated on the page we read, so "open" remains a promise.

Mistral also claims 82% on a vulnerability reproduce-and-patch test in the Artificial Analysis Cyber Index, which Mistral calls the highest of any model; that is the vendor's own claim.

On your desk: when the weights ship, Large 4 is a candidate to swap into one classify-and-route step in your n8n automations as a cost test against what you run now. Treat it as a model to try, not a replacement.

Read the original at Mistral: Large 4 →
NASA's chief says he is open-minded on UFOs

Spirit

NASA's chief says he is open-minded on UFOs

NASA Administrator Jared Isaacman told NewsNation's Blake Burman, in an interview on Sept. 25 that Space.com wrote up on Oct. 5, "My position going into every one of these: one, be open-minded." On aliens, he said, "I think NASA should have a seat at the table in this for sure."

Illustration · The Gayzette

He compared recent UAP (unidentified anomalous phenomena, the government's term for UFOs) sightings to a possible "Sputnik Moment," saying they could be advanced foreign military technology or natural phenomena. Space.com says NASA has taken part since President Trump called for UFO files to be released through a system called PURSUE. Isaacman also pointed to Enceladus and Europa as places life might exist.

The interview is 12 days old, and it is unclear how much is policy and how much is commentary.

On your desk: this is a clean, on-the-record data point to log in your remote-viewing practice notes as context, kept separate from any session scoring, since a sober official quote is not evidence for or against what you see in a CRV session.

Read the original at Space.com: NASA chief wants to stay open-minded about UFOs →

More in Spirit

Small French psilocybin study links inner dialogue to staying sober

Read the brief

Researchers at Nimes University Hospital and the University of Montpellier looked at 20 people with alcohol use disorder who received a 25 mg psilocybin dose. The analysis, in the Journal of Affective Disorders, covered what people said in follow-up integration sessions, the talks where people make sense of the experience.

Those still abstinent at three months more often described inner dialogue, rethinking familiar ways of behaving, and making commitments. Those who relapsed emphasized sensory and visual content. The authors call inner dialogue a possible mechanism to be tested in future studies, not a proven one.

This is a small, exploratory sample of 20, reported through PsyPost; we did not open the journal paper. One study so far, and it describes a pattern, not a cause. Science only, not health advice.

On your desk: it is a neat parallel to scoring your remote-viewing sessions, where what you say about a session, the structure versus the vivid imagery, may matter more than the imagery. Worth a column in your scoring sheet.


Read the original at PsyPost: Talking to yourself on psilocybin →
Drone attack on Moscow region kills two, Russian authorities report

World

Drone attack on Moscow region kills two, Russian authorities report

ConfirmedMoscow Mayor Sergei Sobyanin said 650 Ukrainian drones flew toward the capital and 105 were downed (via Kyiv Independent and Al Jazeera). Governor Andrei Vorobyov said two people were killed and seven injured in Moscow Oblast, with 47 houses, four apartments and three cars damaged (Al Jazeera). Kyiv Independent says footage shows flames at an oil facility near Konstantinovo and that it could not immediately verify the reports.

Claimed by Russia's Defense Ministry; Governor Vorobyov; monitoring channels cited by Kyiv IndependentThe Defense Ministry says 290 drones targeted Moscow and nearby regions, a figure that differs from Sobyanin's 650 and is unexplained in the sources. Al Jazeera reports 185 drones were destroyed or neutralised over the wider region. The monitoring channels say the Volodarsk depot was hit; Russian authorities have not confirmed that.

  • Russian authorities: Report most drones intercepted, along with civilian casualties and damage.
  • Ukraine: Its Defense Ministry said Oct. 4 that strikes have disabled over 51% of Russian refining capacity; no statement on this attack was found.
Read the original at Al Jazeera →
Receipts (2)

More in World

Kenya confirms its first Ebola case; the patient has died

What is known

ConfirmedHealth Minister Aden Duale announced the case (ABC News/AP). The patient, a Kenyan citizen who had lived in Congo for seven years, traveled by road to Kampala, flew to Nairobi, tested positive at Nairobi Hospital, died late Monday Oct. 5 and was buried Tuesday under safety protocols (ABC/AP). The ministry identified 28 direct contacts plus 23 passengers and 4 crew on the flight, who are to isolate for 21 days. WHO delivered about 1,000 tests and 1,000 PPE kits; Africa CDC sent a team. AP cites at least 8,400 cases across Congo, Uganda and France.

ClaimedNo material claims in the sources.

  • No competing framing: The sources report the case without dispute; it is the first in Kenya of an outbreak already under way.

Read the original at ABC News/AP →
Receipts (2)

Saudi Arabia, Turkey and Pakistan say collective defense will be put into practice

What is known

ConfirmedAfter an Oct. 5 meeting in Riyadh, the three states said in a joint statement they would "move immediately to the practical implementation of the collective defence commitments" under the Mecca Joint Defence Agreement signed in August. It cited recent attacks on Saudi Arabia, including ones targeting Mecca and Medina, and did not name the Houthis (Gulf News). Troop numbers and roles were not specified. Democracy Now reports three people were injured in Houthi attacks on two Saudi airports.

Claimed by Yemen's Saudi-backed government; coalition spokesman Turki al-MalikiYemen's government says its forces retook the port city of Mokha; we did not find independent confirmation. Al-Maliki says the coalition destroyed a depot holding 20 ballistic missiles in Saada and hit a launch site in Sanaa (via Anadolu Agency).

  • Saudi Arabia, Turkey, Pakistan: Collective defense of the kingdom against attacks.
  • Houthis: Attacks on Saudi airports, per Democracy Now.

Read the original at Gulf News →
Receipts (3)

US B-1 bombers leave RAF Fairford; Trump cites threats

What is known

ConfirmedThe Defense Department confirmed the B-1 bombers departed RAF Fairford (Euronews). President Trump said "There were some threats" and that the aircraft were moved "not very far." Five men were arrested last month near the base with three vans about two miles away; UK counter-terrorism police head Laurence Taylor said suspects "remain under investigation as we explore multiple lines of enquiry" (ABC News). Euronews reports the suspects were released on bail and no explosives were found in the vans.

Claimed by President Trump; PM Andy Burnham; the Iranian embassy; Secretary of State Rubio; Vice President VanceTrump says the threat originators are "linked to Iran." Burnham says there are "strong indications that Iran played a part." The Iranian embassy says it "categorically rejects" the allegations. Rubio says it was a routine rotation, while ABC reports sources saying it was not a scheduled rotation. Vance says the move was made "out of an abundance of caution."

  • US administration: The move responded to a threat to the aircraft that it links to Iran.
  • Iran: Denies involvement.
  • UK government spokesman: The base remains secure.

Read the original at Euronews →
Receipts (2)

Feel-Good

The Good Ten

Small, true, and from this week.

  1. 01

    Francis Halzen wins the Nobel Prize in Physics for IceCube

    Tue Oct 6

    The Belgian physicist, 82, was honored for creating IceCube, a telescope that uses South Pole ice to catch high-energy neutrinos (nearly massless particles) from deep space. He first proposed the project in 1988.

    Read the original at Al Jazeera →
  2. 02

    National Book Award finalists are named

    Tue Oct 6

    Five finalists in each of five categories include Edwidge Danticat and Valeria Luiselli in fiction, and Victoria Chang in poetry. Young people's literature includes The Fight of Our Lives: AIDS in America by David Levithan and Gabriel Duckels.

    Read the original at Lit Hub →
  3. 03

    Stanford team regrows knee cartilage by blocking an aging protein

    Tue Oct 6

    Blocking 15-PGDH, a protein that rises with age, regenerated cartilage in older mice, and human cartilage from knee-replacement patients also began regenerating. This is preclinical, meaning not yet tested in patients with knee arthritis.

    Read the original at ScienceDaily (Stanford Medicine) →
  4. 04

    Patient navigators raise postpartum visit attendance from 80% to 96%

    Sat Oct 3

    In a trial of 405 pregnant patients at a Chicago hospital, 96% of mothers with a navigator attended postpartum visits, versus 80% without. Navigators help with transport, childcare and scheduling.

    Read the original at ScienceDaily (Northwestern) →
  5. 05

    Virginia passes a Clean Slate law for minor records

    Tue Oct 6

    Certain misdemeanor records, such as petit larceny and trespassing, will be sealed automatically seven years after conviction if there are no new convictions. Fourteen states plus DC now have similar laws.

    Read the original at Good News Network →
  6. 06

    California opens a Cal Fire hiring path for formerly incarcerated firefighters

    Mon Oct 5

    Gov. Newsom signed AB 2483, which standardizes certification and gives hiring priority for entry-level Cal Fire jobs, with implementation by 2028. Roughly half of California's wildfire suppression workforce is incarcerated people.

    Read the original at Good News Network →
  7. 07

    Young Musicians Unite brings free music classes to 131 Miami schools

    Mon Oct 5

    The nonprofit teaches about 21,000 Miami-Dade students. Founder-CEO Gonzalez Zeira says, "Kids need a reason to show up to school, and kids need an opportunity to be seen."

    Read the original at Good News Network →
  8. 08

    Nokia and NASA are building a 4G network for the Moon

    Tue Oct 6

    Nokia's Bell Labs built a 4G system to link a lunar lander with two rovers hunting water ice. It is set to launch on a Falcon 9 later in 2026; NASA's Walt Engelund says the aim is for astronauts to "talk to their families."

    Read the original at Good News Network →
  9. 09

    Dance Data Project launches a free database of women dance creatives

    Tue Oct 6

    DDP Pro profiles women and female-identifying composers, conductors, designers and other creatives, searchable down to a five-mile radius. It is free and mobile-friendly.

    Read the original at Dance Magazine →
  10. 10

    NASA's X-59 flies a record six flights in one week

    Fri Oct 2

    The quiet-supersonic X-59 flew six times in the week of Sept. 21-25 and reached a new top speed of Mach 1.53. It has 38 test flights so far, and a roughly three-week maintenance break follows.

    Read the original at NASA →

TV and the sky

Tonight, and overhead

On the couch

TV

On the Couch

Nothing on tonight.

Storm watch

Weather

Storm Watch

Los Angeles: Sunny and hot, high near 97F; NWS Extreme Heat Warning for inland LA County through Oct 8, 8 PM PDT

  • Hurricane Rachel (Eastern Pacific) — Category 1 · 80 mph peak · 979 mb. About 740 mi west of southern Baja California (20.6N 121.2W), moving WNW at 7 mph None; no coastal watches/warnings; open water, expected to turn northeast by week's end. (as of 2026-10-07) NHC Public Advisory #41, 2:00 AM PDT Oct 7
  • Tropical Storm Isaias (Atlantic) — Tropical storm · 40 mph peak · 1004 mb. About 285 mi west of Progreso, Mexico, (22.0N 94.1W), moving ENE at 8 mph Hurricane Watch likely for part of the northern US Gulf coast later today; 3-6 in rain (isolated 10 in) Fri through the weekend across northern Gulf Coast/Southeast; Yucatan gusts Thursday; 2-4 in Bay of Campeche. (as of 2026-10-07) NHC Public Advisory #3, 4:00 AM CDT Oct 7

Winter outlook: El Nino Advisory in effect: NOAA CPC says "El Nino is strengthening, with a greater than 90% chance of a very strong event during the Northern Hemisphere fall and winter 2026-27," and gives a 75% chance Oct-Dec exceeds any El Nino since 1950. (Still the Sept 10 discussion; no newer one posted as of this morning.)

Outlook from the CPC discussion dated 2026-09-10.

NHC · CPC ENSO Diagnostic Discussion, issued 10 Sep 2026

The sky tonight

Overhead

Sky

Moon: Waning crescent (new moon Oct 10) (% illuminated)

Tonight's sky: Thin waning crescent moon, so dark skies; Saturn up in the evening, Mars and Jupiter rise pre-dawn (Mars about 1:20 am, Jupiter about 2:35 am, per Griffith). Griffith's report does not mention the Draconids. Griffith Observatory Sky Report · TheSkyLive Moon Info

Human Design transits
  • Patrick: From the HD Toolkit: Saturn is in your own Gate 21 (The Hunter, Heart) since May 4, completing your 21-45 channel; Uranus sits in your Gate 20 (The Now), completing 20-34; Neptune in Gate 25 completes 25-51, Pluto in Gate 41 completes 30-41, and the North Node is in your Gate 30.
  • Travis: From the HD Toolkit: Neptune has been in Gate 25 (The Spirit of the Self, G centre), one of your own gates, since Sept 2, 2025.
Crop circle watch

Notebook

Crop Circle Watch

Latest formation — Tue Jul 21 · Wanborough Plain, near Liddington, Wiltshire, England. No design description in the index; Crop Circle Connector logs it as the season's tenth July entry, with photos credited to Stonehenge Dronescapes and Hugh Newman.

  • As of the index's 11 Aug update, no new formations have been logged since 21 July 2026; the Crop Circle Connector index was last updated 11 Aug 2026.
  • Of July's 10 logged entries, 8 were in Wiltshire and 2 in Oxfordshire.

From the history: From the history: on 7 July 1996 a formation of about 150 circles along a 915-foot spiral, shaped like a Julia Set fractal, appeared in wheat beside Stonehenge (sources differ: 149 or 151 circles). Crop-circle artist Rod Dickinson has said it was "made by people. Definitely," but declined to name the makers; that is his claim, and no one has publicly claimed it in the sources we read.

Crop Circle Connector 2026 index · Wanborough Plain 2026 report · Temporary Temples: 1996 crop circles · Circlemakers: Julia Set / Stonehenge 1996

Behind the paper

How this paper is made

Who made today's paper, and roughly what it cost in tokens (the chunks of text models read and write).

StageModelTokensPlain words
Scouts ×5 (AI, Spirit + Crop Circle + Grant Watch, Good Ten, World, TV/Almanac)Sonnet≈424kCouch times not checked on network pages; psi/meditation search came up empty
Writer (incl. lead)Sonnet≈76kOpus lead dropped: budget already exceeded after scouting
Fact-checker, fresh contextSonnet≈97k≈118 claims: ≈104 OK, 3 wrong, 8 unsupported, 4 unverifiable; 20 fixes applied, 0 items cut
Managing editor (plan, Personal News, HD transits, fixes, build, publish, file)Opus 5.5 session≈110knothing emailed

Total ≈707k tokens, over the 300k daily target. Scouting is still where the budget goes.