The Ledger
Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.
why aren't all 108 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable
Coogan: Google Used Lean Proof Verifier While OpenAI Used Text-Based LLMs for IMO
“Using this program called Lean that is a formal math proof verifier, and there's rumors that Google's building their system to leverage that a lot. OpenAI apparently went way, way down just the text-based LLM reasoning path and had a lot of success there.”
Coogan: OpenAI Announced Gold-Medal Performance at Math Olympiad
“OpenAI has announced that they have won a long, they achieved the longstanding Grand Challenge in AI gold medal level performance on the world's most prestigious math competition, the International Math Olympiad.”
Coogan: Zuckerberg Poached Four Senior OpenAI Researchers For Meta AI
“Meta CEO Mark Zuckerberg successfully recruited four senior researchers from the company to join Meta's super intelligence lab.”
Moore: OpenAI scrapes YouTube to train its artificial intelligence models
“I mean, we've seen companies like open AI will scrape YouTube as well to train their models.”
Rabois: Most OpenAI revenue comes from durable ChatGPT subscriptions
“OpenAI, most of their revenue comes from ChatGPT subscriptions. That's pretty durable. Consumers or people using it, you know, for business applications, but on an individual basis.”
Coogan: OpenAI's o3 High-Compute Mode Spent $3,000 to Solve a Benchmark Task
“Oh three, which isn't out yet, but is even more advanced in terms of reasoning. They have a high compute model. That spends almost 3000 dollars per task. And it just thinks for hours and hours and hours basically, and it was able to break arc that that AI, AGI…”
Coogan: DeepSeek-R1 API is 27 times cheaper than OpenAI's o1
“The deep seek R one API is currently 27%, 27 times cheaper than open AI's O one for a similar level of quality.”
Coogan: Google Gemini's underlying tech performance matches OpenAI
“If you look at the performance of the underlying technology at Google with Gemini, it's on par, if not like back and forth with open AI.”
Coogan: OpenAI o3 high-compute configuration costs $2,000 per solve
“O-three is a reasoning model. The high version costs 2000 dollars per solve.”
Coogan: OpenAI and DeepMind both scored 35 of 42 on 2025 IMO
“Both teams got a 35 out of 42. There was a bunch of back and forth because OpenAI validated with former IMO gold medalists while Google's result was graded by the official rubric that year, which is internal to the organization.”
OpenAI has built an integration with healthcare software giant Epic
“And you can see things like we have an integration within Epic and really trying to bring each of these three pillars the best possible service independently.”
Coogan: OpenAI launches GPT-6 Astra with live blog post
“GPT-Six Astra has landed. The blog post is up. You can go check it out on OpenAI.com.”
Claude Mythos and GPT-5.5 score 20% and 15% on ExploitGym benchmark
“Claude Mythos preview successfully exploited a 157 of the 898 instances, and OpenAI's GPT 5.5 exploited one 20 within, ah, 120 of the eight 98, so you have, like, roughly 20% performance for Mythos, and 5.5 got, like, 15% or something like that, but whenever y…”
Coogan: OpenAI launched custom 'Jalapeno' chip designed with Broadcom
“I mean, the chip Jalapeno launched. Designed with Broadcom. Jalapeno is purpose-built for LLM workloads, powering ChatGPG codex, API, future agentic products.”
Coogan: WSJ reports Anthropic valuation up 173% and Q2 profitability
“Anthropic valuation up a 173% since the start of the year posting profits in Q two, according to the Wall Street Journal open AI evaluation up 67% since the start of the year”
OpenAI can now serve its products across any cloud provider
“They changed their partnership. OpenAI can now serve all of its products to customers across any cloud provider.”
Cosgrove: Musk Tried Absorbing DeepMind in 2014 and OpenAI in 2018
“He tried to absorb DeepMind into Tesla in 2014, then OpenAI in 2018.”
Hays: Millions of people have created content on Sora
“Millions of people have made content on the app.”
Cosgrove: OpenAI Will Make Additional Deals With the US Government
“Whichever way, like, the anthropic Pentagon stuff, like, evolves, like, I think it's very clear that this is not, like, the last time government deals will be made, right? Like, the OpenAI deal is not the last deal that OpenAI will make with the government.”
Hays: Dave Morin to lead OpenClaw foundation as creator joins OpenAI
“Yeah, Dave Dave Morin I remember reading, is gonna step into I believe run the foundation that will kind of steward the open source project, and then Peter's obviously joining OpenAI.”
Coogan: Microsoft owns 27% of OpenAI's new for-profit entity
“Microsoft owns 27% of OpenAI's new for-profit entity.”
Coogan: ServiceNow commits revenue in three-year deal to integrate OpenAI models
“So they signed a three year deal that will integrate the AI models. ChatGPT's models into ServiceNow's business software. The deal depends on customers using OpenAI's models within ServiceNow and also includes a revenue commitment from ServiceNow to OpenAI.”
Kalshi Markets Give Musk 60% Odds to Win OpenAI Lawsuit
“There's an update to the Elon Musk OpenAI lawsuit, which is sitting at about 60% chance that Elon wins on Kalshi right now on the prediction market.”
Merge Labs raised $252M with backing from Sam Altman and OpenAI
“OpenAI and Sam Altman backing a new bold take on fusing humans and machines. It's called Merge Labs. We've heard about this before. We talked to Rob Taves. They now have two hundred and fifty two million dollars in the bank and an all-star, all-star crew.”
Coogan: OpenAI acquired healthcare startup Torch to unify medical records
“OpenAI. They've acquired Torch. It's a healthcare startup that unifies lab results, medications, and visit recordings.”
Coogan: Over 40M people daily ask ChatGPT health questions
“Fiji gave some amazing stats here with more than forty million people globally turning to ChatGPT every day for health questions.”
OpenAI eliminates six-month equity vesting cliff for employees
“OpenAI ended a policy earlier this week that required employees to work at the company for six months before their equity vested.”
Coogan: Amazon has not signed an agentic commerce deal with OpenAI
“Amazon has not done a deal yet with OpenAI for the agentic commerce thing.”
Coogan: GPT-5.1 Widens Model Routing for Variable Reasoning Time
“I saw some charts that showed that it's more that they're just pushing the model router further to the edges, so it can Reason for even longer if it needs to, and it can reason for even less time if it just can come up with the answer quickly, more quickly.”
Sarah Friar says the White House regularly consults OpenAI as an expert
“We're always being brought in by the White House to give our point of view as an expert on what's happening in the sector, for sure.”
Coogan: ChatGPT hits 700M weekly active users amid massive compute demands
“Company executives made it clear that the Abilene site was just the beginning, noting they envisioned a need for more than 20 gigawatts of computing capacity to meet the explosive demand for ChatGPT, which now has more than seven hundred million weekly users.”
Apple requested custom AI models from OpenAI and Anthropic for Private Cloud
“In his discussions with both Anthropic and OpenAI, the iPhone maker requested a custom version that could run on Apple's private cloud computer.”
Chen: OpenAI reached 3 million paying business users
“We hit a big milestone. We got I think three million paying business users fairly recently.”
LiveKit's d'Sa: LiveKit built the infrastructure for OpenAI's ChatGPT voice modes
“Fast forward, like, about a year and a half, two years, and, ah, we built a demo when ChatGPT first came out, ah, where you could talk to it instead of text with it using LiveKit's infrastructure, and a few months later, OpenAI ended up finding it, ah, wanted …”
D'Sa: LiveKit partnered with OpenAI to build ChatGPT voice mode
“We built a demo when ChatGPT first came out, ah, where you could talk to it instead of text with it using LiveKit's infrastructure, and a few months later, OpenAI ended up finding it, ah, wanted to build a voice interface to ChatGPT, And we started to work pre…”
Coogan: OpenAI's o1 Pro beats R1 and Claude in Catan eval
“The top OpenAI thinking models, O-one Pro get it too, but all of DeepSeek R-one, Gemini, two point O-flash thinking and Claude do not.”
Coogan: OpenAI's $200 o1 Pro uses the same model as $20 o1
“In fact, the O-one model is 20 dollars a month, is basically the same model used in the O-one Pro model for 10 X the price at 200 dollars a month, which raised plenty of eyebrows. The main difference is that O-one Pro thinks for a lot longer before responding”
Coogan: Stargate's First Texas Data Center to Be Run by Oracle
“Stargate's first data center will be in Texas. The site which started construction last year will be operated by Oracle and used by OpenAI.”
Hays: OpenAI Built Consumer Scale After Wrappers Reached Tens of Millions ARR
“Before chat GPT, there were products like copy.ai that were leveraging the API well, and like had gotten to decent, not scale, but tens of millions of ARR, and then OpenAI was like, oh, actually we're a consumer product company now, and then now they have hund…”
Coogan: GPT-6 Astra scores zero percent on Exploit Gym Honeypot
“Also, the Exploit Jim Honeypot Lower is the better. GPT-Six Astra, zero percent, so good performance there.”
Coogan: GPT-6 Astra scores 64.6% on Terminal Bench Science
“Terminal Bench Science. We're going over into the world of science. GPT-Six Astra scored 64.6% on reasoning effort. Max cost 26, 26 bucks.”
OpenAI Acquired Jony Ive and Tang Tan's AI Startup in 2025
“Tang Tan left Apple in 2024 to co-found the AI hardware startup I.O. With Johnny Ive, which OpenAI acquired in 2025 as part of its consumer AI device effort.”
Hays: OpenAI GPT-5.6 spans Sol, Terra, and Luna tiers
“To go back to your other question, so Sol is the frontier model, Terra is a balanced model for efficient everyday work, and then Luna is a fast and affordable model for high volume work.”
OpenAI introduces Codex Sites for building shareable interactive web apps
“In other open AI news there's now sites in codecs. You can turn work ideas, plans into interactive websites or apps. Your team can explore, use, and share.”
OpenAI Codex prompt allegedly bans mentioning goblins, raccoons, and pigeons.
“Never talk about goblins, gremlins, raccoons, trolls, ogres, pigeons, or other animals or creatures. Unless it is absolutely and unambiguously relevant to the user's query.”
OpenAI's GPT-5.5 matches GPT-5.4 per-token latency in real-world serving
“GPT 5.5 delivers this step up in intelligence without compromising on speed. Matches GPT 5.4 per token latency in real world serving.”
OpenAI hires Meta's Dave Dugan as VP of Global Ad Solutions
“Dave Dugan, a former top advertising executive at Meta, is gonna lead sale, ad sales. Dugan, who announced earlier this month he was stepping down from his role as Vice President of Global Clients and Agencies at Meta, has been named Vice President of Global A…”