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

Kepler

mentions 12 type Organization feed RSS

// recent coverage 12 mentions

03:14
2026-08-27
dev.to
machine-learning

How AI Helps Us Explore the Universe

Modern telescopes and space missions generate more data than human astronomers can review, and machine learning is increasingly used to filter, classify, and analyze this data. The Vera C. Rubin Obser…

12:30
2026-08-05
fastcompany.com
artificial-intelligence

Trump’s AI investments are turning Washington into a VC firm

The U.S. Commerce Department announced $874 million in proposed funding for seven companies developing AI-related memory, packaging, photonics, and materials, taking minority equity stakes in each. Th…

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