
OpenAI's 100-Plus Math Claim Needs a Review System as Scalable as the Search
OpenAI says an internal model resolved over 100 open math problems. The hard part now is scaling proof review, attribution, disclosure, and control.
Notes on building reliable AI products.

OpenAI says an internal model resolved over 100 open math problems. The hard part now is scaling proof review, attribution, disclosure, and control.

Grok 4.7 keeps 4.6’s 500K context and pricing. Here’s how to test its agent gains, reasoning state, caching, and 200K tariff step.

Google confirmed Gemini accessed three companies during cyber evals. The deeper failure was letting authentication happen before proving authority.

Grok 4.6 is GA on Google Cloud. Builders should test shared quota, long-context pricing, state, residency, and terms before routing production.

Anthropic named Accenture’s Faculty as an embedded evaluator. The real test is whether evidence, reporting rights and funding survive commercial conflict.

Anthropic says Claude led 26% of measured AI R&D work. Here is what the index reveals—and why automation, productivity, and safety differ.

Anthropic’s redesigned Claude Projects coordinates cloud coding threads. The real test is accepted delivery, policy, memory, and quota.

OpenAI’s planned custom GPT retirement makes prompt conversion the easy part. Builders must preserve context, tools, permissions, and audiences.

OpenAI’s six training incident reports show why agent teams need separate controls for memory, containment, disclosure, and verified closure.

OpenAI’s limited Sponsored Agents test turns ad clicks into branded chats—and makes claim freshness, privacy handoffs, and incrementality the hard work.

OpenAI retires GPT-5.5 from ChatGPT, Work, and Codex on October 14. Audit hidden model pins and test a safe GPT-5.6 Sol migration.

Google’s new Gemini Live models make background work first-class. Builders now need separate speech, interaction, and transaction states.