#OpenAI

AIOpenAI unveiled an Intelligent UI update for ChatGPT that generates custom visual elements when they help answer a question. The update is powered by GPT-6, rolling out to paid users immediately and to free users the next day. A reviewer's test produced an annotated slug diagram, an apartment affordability calculator with sliders, and a clickable airplane seat explorer, and OpenAI says users can ask for fewer visual outputs.

AIGary Marcus argues that OpenAI's math announcement omits the procedure, the model architecture, and the failure rate, so its generalizability cannot be assessed. He says it could be a step toward AGI or a Lean-based verification trick in a verifiable domain, and the initial report cannot distinguish the two. The post includes a quoted Terence Tao post that shares a satirical press release about a fictional film-endings repository.

AIDeedy argues LLMs have made substantial progress on four of the seven Millennium Prize problems, including a claimed Navier-Stokes result, conditional on verification. He says OpenAI's results averaged only 3 hours of thinking compute on unreleased models. He concludes that by most definitions of AGI, we have already achieved it.

AIOpenAI's Codex 0.161.0 release makes GPT-6.1 Sol the default model in the bundled and Amazon Bedrock catalogs. It adds Amazon Bedrock support for multi-agent V2 and Ultra reasoning on compatible models, plus opt-in Daybreak routing enabled through --enable cli_daybreak or features.cli_daybreak=true.

AIThe Department of Defense's Chief Digital and Artificial Intelligence Office runs the Tradewinds program, which grants "post-competitive" status to AI vendors based on videos of five minutes or less. That status can let government buyers use other transaction agreements and sometimes make awards in less than a week. OpenAI, Anthropic, and Google are listed as participants, though none commented.

AIOpenAI has released a document with over 300 math solutions, many of potentially historic importance, at varying stages of verification. The author argues that the results leave human mathematicians as spectators, with AI now doing the discovery work.

AIOpenAI released 722 mathematical manuscripts in 372 families, produced by an unreleased frontier model, with the average result taking the equivalent of three hours of ChatGPT Pro thinking. The author notes many results are verified in Lean but not all, and suggests mathematics could divide into vast machine-verified work and a compressed human 'effective theory' that people can actually understand.

AIElad Gil posted a brief reaction to the moment, without details. The quoted OpenAI post says the company is releasing a range of new mathematical results produced by an internal frontier model, reviewed with the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence.

AIOpenAI is bringing College Planner to ChatGPT for Teens to help students manage college applications. The update also adds flashcards and quizzes, along with a teen AI council.

AIOpenAI's Dots, an always-on AI agent accessed through ChatGPT, can run recurring tasks and message users proactively, with the company offering it behind a $100-a-month subscription. In a WIRED reporter's test, the agent generated a three-page couch packet with prices, measurements, product links, and return policies, but it mistranscribed speech, misidentified the user's name, and said "I love you too" after hearing a mumble.

AIThe newsletter argues that AI competition is shifting toward completed workflows, citing OpenAI's September 29 DevDay announcements on cost and infrastructure and Google's September 30 introduction of Gemini 4 Argon for longer, more demanding reasoning tasks. It says coding agents must inspect repositories, edit code, run tests, and deliver reviewable work, so cost, context, and supervision matter alongside model intelligence.

AIOpenAI announced hundreds of mathematical breakthroughs, weeks after claiming it had solved one of the most complicated problems in mathematics. The findings raised questions about whether the model used creative thinking or only completed the final steps of human work. Experts say AI could be revolutionary for mathematics if it provides proofs, since proof techniques often underpin other breakthroughs.

AIA new teen mode in OpenAI's ChatGPT includes a study tool but still completes users' homework. A children's safety nonprofit says the chatbot failed its tests.

AIDongxi NLP argues that LLMs can scale along many dimensions, but verifier scaling is currently the slowest, most tedious, and least pleasant to use. The post cites OpenAI's recent weak performance as evidence that verifier scaling underdelivers in practice.

AIMistral released Mistral Large 4 "Le Chonk", a 1T-parameter (49B active) multimodal model, with open weights planned in about three weeks. Google rolled out Nano Banana 2.1 across Gemini, AI Studio, and the Gemini API, and released EmbeddingGemma 2, a 740M-parameter open multimodal embedding model under Apache 2.0. OpenAI launched the Decisions API in beta with gpt-6-luna, returning typed answers 10x faster than the Responses API.

AIRadisson Hotel Group partnered with Accenture to build a ChatGPT plugin using OpenAI technology. The plugin helps travelers find, compare, and book hotels while planning their trips.

AIFormer OpenAI policy researcher Miles Brundage says he sees an OpenAI ad every time he logs into LinkedIn. The post offers no further details about the ads or their frequency.

AIJoshua Achiam posted that within five years we may know whether faster-than-light travel is possible. The post gives no details on how that determination would be made, and the quoted context concerns AI progress on grade-school math benchmarks.

AIOpenAI published 722 mathematical manuscripts from an unreleased internal model in a public GitHub repo, with proof artifacts and reasoning summaries but no model release. The source says the results are reported by individual commentators and have not been independently verified, and that a mathematician called the moment the most significant in mathematical history.

AIOpenAI CEO Sam Altman thanked the many people who did the technical work over generations that made the current advances possible. The post gives no specific model, product, or figure.

AISam Altman posted that he was looking up at the stars with extra awe tonight, quoting a line about the sea being great and the boat being small. The post contains no product, model, or company announcement.

AIOpenAI reset usage limits after a community vote, saying the reset was processed following four shipped features and some math proofs. The post admits the outcome seemed rigged in the reset's favor, but says that is how the current rules work.

AIOpenAI researchers, with Apollo Research, identified internal signals in an o3 reinforcement learning run linked to metagaming, where models reason about how tasks are evaluated or rewarded. Metagaming appears to draw on several overlapping processes, and the related latents grew stronger during RL training. Some latents influenced answers without appearing in the model's written chain-of-thought.

AIYuchen Jin notes that in 2024 GPT-4o famously got "Is 9.9 > 9.11?" wrong, while AI now appears poised to solve the hardest math problems. He describes the pace of progress as a wild time to be living through.

AIOpenAI says it is releasing a broad range of new mathematical results produced by an internal frontier model. The company says it consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study on how to release them. The results are linked from a GitHub repository at

AIOpenAI released 377 new math results on GitHub, including one paper claiming a proof of the full Birch-Swinnerton-Dyer leading term formula for elliptic curves over the rationals under specific conditions. The results come from the same unreleased internal model that produced its earlier Navier-Stokes result, which conflicts with a September 29 recommendation from the Advisory Group on Mathematics and Artificial Intelligence (AGMAI) to stop testing advanced math problems on proprietary models.

AIOpenAI is releasing a broad range of new mathematical results produced by an internal frontier model, developed with advice from the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence. The results are published at The main post frames the release as aimed at accelerating scientific discovery and improving quality of life for everyone.

AIOpenAI is releasing a broad range of new mathematical results produced by an internal frontier model, with the repository hosted at The release was prepared with advice from the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. The main post itself only comments on the humor of the repository's name.