cd/entity/Kepler· home entities Kepler
grep -l @kepler /news/*.json | wc -l → 8

Kepler

mentions 8 type Organization feed RSS

// recent coverage 8 mentions

23:32
2026-07-29
latent.space
artificial-intelligence

[AINews] AI is eating Finance; AIE NYC now open

AI is increasingly permeating financial services as the next major vertical after coding, with OpenAI and Anthropic hosting dedicated NYC events and releasing finance-specific plugins and agent templa…

09:00
2026-07-08
infoworld.com
developer-tools

The IDE is dead, long live the ADE

The integrated development environment (IDE) is being replaced by agentic development environments (ADEs) as AI-powered coding agents take over code writing. Developers now manage multiple agents work…

12:02
2026-06-19
infoq.com
ai-agents

Presentation: AI Agents to Make Sense of Data at OpenAI

OpenAI deployed Kepler, an internal AI agent that helps teams answer data questions by providing context-aware SQL generation and table discovery across 600 petabytes of daily data. The tool reduces t…

23:11
2026-06-10
johndcook.com
artificial-intelligence

Formally proving a calculation with Claude and Lean

Anthropic's Claude AI generated a Lean formal proof for a Fourier coefficient calculation involving Bessel functions, requiring eight iterations to fix errors and produce a working proof with four 'so…

// co-occurs with top 8 entities
// topics top 6 topics