Expert attention map

The Who's Who of AI

What credible people across AI noticed, why it matters, and where the field is converging or disagreeing.

2,397 searchable experts 4,280 tracked across all sources
Build my stream Create my edition
Filter the conversation Who is saying what?

Combine a professional role with a reaction lens. Both must match the same attributed contribution.

Clear all
New Network reaction maps

See how experts are reacting—not just what they shared.

Posts are grouped by conversation and tone. Select a lens to filter the stream; these are never permanent labels on people.

0 live reaction maps in this view

No development in this filter has enough independent reactions yet. The maps appear as soon as the evidence supports them.

Showing signals surfaced by Ethan ×
New & accelerating

What is moving across the network now

One card per development. Sources are clustered; reaction bundles describe these posts, never the people behind them.

Established Models & releases Signal 5d ago
⚡ 14 h early

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

3 experts across 3 network communities independently surfaced this.

3 experts 3 communities 1 sources clustered
Ethan Ellen Vitercik AI Firehose

“Paper: arxiv.org/abs/2608.25220 Code + benchmark: flare.henryrobbins.com Led by my student Henry Robbins, with @lawlessopt.bsky.social and Madeleine Udell. Benchmark: 20 problems, 109 formulations, 63 valid pairs with Lean proofs, and 26 invalid pairs.”

“FLARE is a framework that uses large language models and automated theorem proving to verify mixed-integer linear programming reformulations with 100% accuracy on NP-hard problems, transforming optimization modeling and enhancing trust in AI solutions. http…”

Primary source arxiv.org ↗