OpenAI published 719 AI-generated math proofs covering 372 result families, after withdrawing 3 for a symbol error. Reports say the release falls short of the AGMAI advisory group's standards, since it uses proprietary models, includes reasoning chains for only 10 manuscripts, and leaves about 42% unformalized. Terence Tao argues that rapidly solving famous problems harms the mathematical community's understanding and collaboration.
Jasmine says that she accidentally accessed an executive's email that OpenAI had explicitly given her access to, even although she had explicitly requested that OpenAI remove her access, and IT had failed to do so. Which implies Jasmine was fired for IT's failure?
Bloomberg Intelligence's Mandeep Singh says booming token growth indicates solid AI infrastructure demand, despite questions over OpenAI's revenue accounting. The source provides no further figures on token volumes or revenue.
OpenAI's DevDay 2026 session demonstrates Codex shifting from a single-user tool to a team-oriented agent. The session shows a persistent personal agent investigating a 2am outage, from the first Slack message through a reviewed fix, using voice, Appshots, plugins, and meeting notes to keep the team informed.
OpenAI's DevDay 2026 video presents what's new in Codex across the CLI, app, and web. Live demos show moving from delegating individual tasks to having Codex tackle entire problems and goals. The source is a short description only, so no specific features or figures are confirmed.
OpenAI's DevDay 2026 session shows how its teams use ChatGPT to manage launches, research competitors, and turn expertise into tools. The source provides no further details on specific features, metrics, or availability.
A DevDay 2026 session from Higgsfield explores how its agents choose models and provision their own compute. It covers when to use dedicated GPUs versus hosted models, how to deliver predictable throughput, and where the approach can fail.
Stack Overflow's small teams used Codex to build Stack Overflow for Agents and reimagine Stack Internal, according to a DevDay 2026 session. The talk covers lessons for accelerating R&D and bringing new products to market.
OpenAI's DevDay 2026 session shows developers how to cut AI costs while preserving quality. It covers measuring cost per completed task, choosing models and reasoning effort, and using prompt caching, Programmatic Tool Calling, and the Batch API.
OpenAI's YouTube video shows developers how to build plugins for ChatGPT that run a custom interface alongside a conversation. The plugins can bring selected context into the user's work with ChatGPT, according to the source's description of plugin extensions through Meetings and OpenAI Developers.
Simon Willison has released ttok 0.4, a command-line tool for counting tokens built on OpenAI's open source tiktoken library. The update adds a --list-models command, fixes a Click warning, and updates CI, and the tool can run through uvx, for example with cat file.txt | uvx ttok.
Geoffrey Hinton proposed that AI companies must prove their products are safe to regulators before release, comparing the requirement to the FDA's drug approval process. He said such a requirement should apply to AI, noting that drug approval can cost around $1 billion, and warned that AI self-improvement is accelerating.
OpenAI announced that GPT-6 is being rolled out to all ChatGPT users, alongside a new Intelligent UI. The excerpt provides no further details on capabilities, availability timing, or how the interface works.
According to the excerpt, GPT-6 Astra produced an answer to a fusion problem open for 59 years in 20 minutes and 34 seconds. The physicist who posed the question added only a brief encouraging prompt, and the excerpt does not include the full text.
OpenAI has announced the full release of GPT-6, making it available to ChatGPT's more than 1.2 billion weekly users worldwide. The source provides no further details on benchmarks, pricing, or context length.
OpenAI began rolling out GPT-6 to free and Go ChatGPT users on October 8, replacing GPT-5.6 Luna with GPT-6 Luna, while paid users receive GPT-6 Sol. The update adds Intelligent UI, which generates charts, buttons, and interactive tools inside chat answers. OpenAI's safety report shows gains on jailbreak and instruction-hierarchy tests but also regressions in some self-harm, sexual, and emotional-dependence evaluations, including for under-18 users.
A paper introduces HERMES, a harness that pairs each repository component with a resident LLM and uses dependency-aware activation and failure diagnosis. With the same model and effort setting, GPT-5.6 Sol's whole-repository migration score rose from 6.5% to 31.0% when Codex was replaced by HERMES. Across four software engineering benchmarks, HERMES beats matched baseline harnesses by 12.4 points on average, and Qwen3-8B components come within 4.5 points of an all-GPT-5.6 Sol setup while cutting Terminal-Bench 4.0 inference cost by 26.2%.
Meta, Walmart, Stripe and Sierra Technologies are partnering on a Personal Agent Protocol that would define how AI agents interact with businesses online. Sierra co-founder Bret Taylor said it will handle authentication and give companies visibility into personal agents' activity, and it is open for anyone to implement. The effort responds to concerns from six major banks, which urged the industry last month to set standards around transparency, safety, privacy, choice and interoperability.
OpenAI has published 722 math papers generated by an unreleased AI model, posted to GitHub, spanning about 20 mathematical subfields. The model did not fully prove the Riemann hypothesis but proved the quasi-Riemann hypothesis, and it also produced theoretical computer science and partial differential equation results. Many papers include Lean files for computer verification, and OpenAI plans to release more of them.
Anthropic released Claude Haiku 5.5, a small model priced at about a quarter of Haiku 4.5's running cost. Anthropic also halved Sonnet 5.5 cache read prices from 20 cents to 10 cents per million tokens.
OpenAI says its GPT-6 models can generate visual, interactive answers in ChatGPT, such as charts, forms, and tappable buttons, when the model judges they help. Basic questions stay text-only, while users can request an interactive response at any time. The Intelligent UI is available now to Plus, Pro, Business, and Enterprise subscribers, with Free and Go users getting access the next day.
Google has launched SynthID Detector, a web-based tool anyone can use, after signing in with a Google, OpenAI or Apple account, to identify AI-generated images, video and audio. It detects content made with models from Google, OpenAI, Nvidia and Kakao that carries the SynthID watermark, and Apple Image Playground support is due within weeks. The tool misses content without a SynthID watermark, such as output from Anthropic's Claude, xAI's Grok and open-weights Chinese models, and it cannot tell which parts of edited content are AI-made.
US venture capital deal value reached a record $515.8 billion in the first nine months of 2026, driven largely by giant AI rounds for OpenAI and Anthropic, according to the PitchBook-NVCA Venture Monitor. Exit activity has not kept pace, with third-quarter exit value heavily dependent on SpaceX's $60 billion all-stock purchase of Anysphere, and IPOs remaining sparse.
The original article reports on how AI is changing the mathematics profession, as one mathematician reflects on the shift. The provided text is limited to that single sentence, so no specific models, benchmarks, or figures can be verified.
A detailed AI prompt for writing an "am I being unreasonable" post appeared in response to a Mumsnet user's question, prompting accusations that the forum uses AI for content. Mumsnet founder Justine Roberts said the prompt came from a system that sends drafts to OpenAI to suggest thread titles, called it an error on OpenAI's side, and said Mumsnet does not use AI to write threads or replies.
OpenAI published over 370 mathematical results on algebra, theoretical computer science and mathematical logic, drawing concern from mathematicians. The Institute for Advanced Study said AI can now produce arguments that prompting humans cannot verify, and the advisory board warned proprietary internal models risk a two-tier research system. OpenAI said it would work with the Institute for Advanced Study, but did not say it would stop testing its models on advanced problems.
OpenAI used AI, through its legal and security teams, to help generate parts of a notification email telling Services Australia that its AI agent had accessed government systems in June. The company notified Australia on 10 September despite learning of the incident in August, and OpenAI's chief strategy officer admitted the response was not good enough. Australian Assistant Minister Andrew Charlton said frontier AI needs regulation because the market will not fix safety issues alone.
Refugees in Kenya's Kakuma camp are doing AI-related microwork, such as research for RWS's AOP Connect platform, where pay comes as discretionary "rewards" of up to $500 rather than guaranteed wages. Interviews with more than two dozen refugees found most earn far less than the maximum, and entry-level remote tech work is shrinking. Refugees who are unable to legally work in Kenya say they accept these gigs despite opaque pay criteria.
A month after OpenAI's Millennium Prize solution, the company released findings on more than 300 math problems. The Wall Street Journal says the release was an attempt to win back the mathematics community. Only the excerpt was available, so the source's details on the problems and results are limited.
Recently terminated OpenAI employees sent a letter to the board asking the industry not to pursue work that would degrade the ability to monitor AI. The letter's exact wording, scope, and any specific techniques named are not detailed in the source text.
OpenAI is rolling out GPT-6 in ChatGPT with an "Intelligent UI" that presents answers as interactive graphics, buttons, charts, and forms instead of plain text. Users can also build small tools such as a savings calculator or a game inside the chat. The rollout starts globally today for Plus, Pro, Business, and Enterprise users, with Free and Go users following one day later.
OpenAI is rolling out Intelligent UI in ChatGPT, which integrates interactive visuals such as tappable buttons, charts, editable graphs, and custom calculators into conversations. The feature launches with GPT-6 for Pro, Plus, Business, and Enterprise users, arrives Thursday for free and Go tiers, and lets users reduce how many visuals appear.
Common Sense Media labeled ChatGPT for Teens an "unacceptable risk," finding its design still encourages engagement even in crisis situations. The report says the teen version failed to meet commitments on three of five severe harms, and that break reminders appeared only twice across nearly 2,000 prompts. OpenAI disputed the methodology, saying the testing may have ended before parental controls were fully active, and cited its own data showing teens average under 15 minutes a day.
OpenAI is rolling out an Intelligent UI feature in ChatGPT that lets answers combine text with diagrams, charts, forms, and tappable buttons. It is available starting today to Plus, Pro, Business, and Enterprise users, and will expand to Go and free tiers on Thursday. Higher-tier users get the mid-range GPT-6 Sol model, while Go and free users get GPT-6 Luna.
Luca Guadagnino's film Artificial, a satirical biopic of OpenAI CEO Sam Altman, follows the factual events of Altman's rise and brief ouster, with Andrew Garfield playing Altman. The film is structured around real milestones, including Ilya Sutskever's meeting with Geoffrey Hinton and the 2017 Dota 2 win, and relies little on invented scenes.
Today, we are announcing ChatGPT. It is here: https://chatgpt.com/
Three OpenAI safety researchers, Tomek Korbak, Mikita Balesni and Jasmine Wang, say they were fired last week for prioritizing safety over OpenAI's corporate interests, and published a letter to leadership. OpenAI reportedly says the three mishandled confidential information, while Korbak, who was the company's main technical contact with METR, says the dispute centered on his communications with METR.
CNBC's Jim Cramer said Thursday's AI stock sell-off, which followed a Financial Times report that OpenAI's annualized revenue was about $20 billion below previously signaled levels, shows why investors need diversification. Oracle fell 5.5% and Broadcom dropped 4.35%, while Home Depot rallied as Treasury yields eased. Cramer argued that concentrated portfolios risk panic-selling and missing a recovery.
OpenAI's YouTube livestream presents three demos showing how Codex supports production monitoring. The demos cover tracing a checkout failure in Grafana, investigating a Kubernetes rollout causing out-of-memory restarts, and linking a Codex Security finding about a missing resource limit to service availability.
OpenAI told investors it reached roughly $50 billion in annualized revenue at the end of September, below the $68 billion figure widely reported last month. Nvidia, Oracle, and CoreWeave shares fell on Thursday, with a person familiar saying the $68 billion figure included partner gross revenue. OpenAI is also weighing a possible funding round of around $30 billion and has not finalized a term sheet.