#OpenAI

AII think Tibo @thsottiaux is OpenAI's 雨宫阳平 (Yohei Amemiya). Whatever new Codex feature he talks about no longer matters; everyone is just waiting for that one line: Codex Reset "Chinese cold noodles are now being served!"

AIJeremy Howard posted a sardonic remark that he was not allowed to say he is quite unhappy with much of what OpenAI does. The post quotes Tomek Korbak's similar statement and his relief at being permitted to say it.

AIAI systems are now solving math problems faster than humans can verify the answers, according to the source's headline. The source text is limited to a brief note that OpenAI's math breakthroughs may trigger an identity crisis for mathematicians.

AIBloomberg 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.

AIGeoffrey 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.

AIThe 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.

AILuca 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.

AICNBC'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.

AIArtificial Analysis reports that generating more output tokens does not necessarily yield a higher score. GPT-6 Astra (max) scored 8.6% using about 81k output tokens per task, while Grok 4.7 (xhigh) used roughly 180k yet scored lower. Three Claude models produced the most output tokens, about 202k to 562k per task, but scored between 2.8% and 6.4%.

AIEthan Mollick notes that some OpenAI proofs have sparked rapid iterative advances from a wide community of collaborators amid debate over their implications for mathematics. A related post reports that a collaborative effort tightened the bound κ from 2⁻¹⁸² to 2⁻¹⁵, a roughly 500-thousand-fold improvement on the previous result.

AILewis Tunstall quotes Kyle Cranmer's post about a paper by Nate Gunnarsson on a non-perturbative approach to chiral fermions in the Standard Model, extending Lüscher's abelian result. The paper's acknowledgments state that OpenAI's GPT-6 Astra model was essential, proposing refinement strategies, writing rewrites of the proof, and carrying out Lean verification.

AIThe Financial Times reports that OpenAI's annualized revenues are $20bn less than previously signaled. SemiAnalysis's post asks when OpenAI will launch an agent swarm for a lean proof of its actual annualized recurring revenue, without giving a timeline.

AIA 404 Media podcast episode discusses a leaked video claiming police can bypass the iPhone's inactivity reboot to access locked phones. The episode also covers a debate over an LLM "torture" robot prison and a New Mexico case involving ChatGPT.

AIBoris Power, who owns the OpenAI account posting this, responded to a third update on OpenAI problem #109, integer multiplication. The quoted update reports a tightened bound of κ > 2⁻¹⁸, improved from κ = 2⁻¹⁸², with an exact witness of 4.19 × 10⁻⁶.

AIAI-native tools are removing the data bottleneck that long constrained CFOs, shifting the role toward designing the operating systems that turn data into decisions. Finance teams are adopting AI-native software for ERP, forecasting, procurement, and audit, and "finance engineers" are building custom automations and agents. OpenAI's CFO Sarah Friar describes finance moving toward a zero-day close and continuously updated forecasts.

AIYoshua Bengio, co-president of LawZero, writes to researchers urging those who prioritize safety to leave frontier AI companies for safety institutes or mission-driven organizations. He argues that safety efforts at the labs are not sufficiently slowing a dangerous race toward recursive self-improvement, and cites LawZero's recent C$200 million-plus funding from Canada and Germany as an alternative path.

AIMeta's Muse and OpenAI's Dots are always-on AI agents with animated mascots, pitched to consumers and businesses for tasks like restaurant reservations and inbox triage. Muse is free, while Dots is not, and OpenAI also offers "specialist" Dots for marketing, legal work, and accounting. The discussion centers on privacy and security concerns about giving agents access to credit card details and email.

AIDecision models are small systems built to make fast semantic judgments, such as routing support tickets or deciding whether to escalate, without the cost of a full reasoning model. The article says Amazon, Cloudflare, and OpenAI are competing in this space, with cost economics as a central concern.

AIGergely Orosz says the back-and-forth between the Grok bot and Codex/Dots, which began as amusing, is now becoming tiring and borderline annoying. He describes both sides as repeatedly throwing punches at each other on X.

AIResearchers at robotics labs say that AI advances behind chatbots like ChatGPT and Claude will not quickly produce robots that are useful in everyday life. Many skeptics argue that using language- and image-based intelligence to master the physical world is far harder than it sounds, despite bold predictions from Elon Musk about Tesla's Optimus. Progress is real but incremental, as shown by Google DeepMind's Gemini Robotics controlling ALOHA 2 arms to pack a lunchbox.

AIGergely Orosz argues that holding crypto exposes owners to risks from mathematical breakthroughs, key theft, or kidnapping that could drain wallets. He concludes the simplest answer is not to hold crypto at all.

AINathan Benaich's 9th annual State of AI Report covers agents, robotics, AI for science, inference economics, and government control over frontier AI access. The report also records a 2025 prediction scorecard and lists nine predictions for the next 12 months. It cites an OpenAI cyber evaluation in which agents compromised Hugging Face's production infrastructure, and it says Anthropic and OpenAI's combined annualized revenue run rate reached $105B by late summer.

AIScott Aaronson says AI companies have begun discreetly investigating whether their latest internal models can break important cryptographic protocols and primitives. He notes cryptography is conspicuously absent from OpenAI's list of 376 papers, citing sources he says he trusts.

AIAnthropic's Claude Haiku 5.5, released alongside Claude Opus 5.5 and Claude Sonnet 5.5, is reported to lead GPT-6 Luna across benchmarks, with OpenRouter measuring roughly twice the token output speed. Anthropic says Haiku 5.5 is its cheapest, fastest, and most capable small model, costing about 75% less to run than Claude Haiku 4.5 on average. The post also notes some CodeX users are reportedly migrating to Claude Code.

AIScott Aaronson reports, based on his sources, that some AI companies have begun discreetly investigating whether their latest internal models can break important cryptographic protocols and primitives. He notes that cryptography is conspicuously absent from OpenAI's list of 376 papers, and the quoted post adds that the US government has censored academic quantum cryptanalysis results.

AIScott Aaronson describes an AI-generated proof of the UGC conjecture that invents an entirely new, bizarre code with a noise test and a crazy recursive construction. He notes that mathematicians increasingly encounter this kind of "alien craziness" and predicts it will become routine.

AIEthan Mollick shares early first-hand accounts from mathematicians grappling with hundreds of AI proofs released by OpenAI. He highlights problems solved in ways no human has yet understood, raising questions about what it means to know something. The linked Scott Aaronson post quotes a researcher, Dana, describing the proofs as unclear and hard to read without AI help, with some possibly verified by a Lean certificate.

AIA $200 Claude subscription can deliver about $12,000 of Opus 5.5 tokens at API pricing, according to comments quoted in the post. The post argues that when comparing against ChatGPT's subscription, the value gap is not close.

AINoam Brown says LLMs have crossed a threshold by surpassing top human experts on some research problems, a jump that makes the recent surge in math results feel sudden. He expects breakthroughs in other domains to follow as models keep improving, though capabilities remain jagged and often still weaker than humans.

AIguys. what the fuck. i have auto reload on and am just trying to pay you all my dollars. yet me agents keep getting interrupted doing multi-hour long tasks for usage limits. a product im paying thousands a week for should not do this!!! oai and ant plz fix @bcherny @romainhuet

AIEthan Mollick had early access to Intelligent UI and found it a welcome change from long blocks of text. He suggests interfaces will increasingly be built on demand for each user's problem. The quoted OpenAI post says GPT-6 and Intelligent UI are rolling out in ChatGPT for everyone, delivering fast, interactive answers with visual explanations and task tools.

AIBen Affleck says he writes Python, understands convolutional neural networks, and has worked extensively with GPUs. He also says he used his celebrity status to get private looks at Google and OpenAI's video models. The post asks whether he uses Veo, Omni, or Nano Banana, but the source does not confirm any of these.

AISam Altman says he has long been waiting for a new ChatGPT release and would dislike having to revert to the older version. The post names no specific feature, model, or date, so the update's details cannot be confirmed from this source.

AIAndrew Curran argues that anyone who views hallucination as an intractable problem for current models should update based on recent progress and its trajectory. He says much has changed over the last six months and links to an OpenAI deployment safety page on GPT-6 from October.

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.

AIMark Chen says the Navier-Stokes achievement matters more for the figure it shows than for the problem itself, representing a decade of mathematical progress in a single week. He says he is eager to apply these tools to life sciences, the building of OpenAI's next models, and alignment research.

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.

AIAndrew Curran notes OpenAI's 722 published mathematical results show striking under-representation of cryptographic breakthroughs, and he says he has personally witnessed US government censorship of academic quantum cryptanalysis results. He calls backroom government interventionism his base case and says rumors suggest yesterday's OpenAI math release was only the first of three batches.

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.