# Benchmark Problem

Топ епизоди на подкаста
Актуализирано:

Medical AI with Jack Teitel

In this episode, Sam Ashoo, MD interviews Jack Teitel on the topic of AI in medicine. Introduction & Welcome — 0:17 Jack's Background in Healthcare AI — 0:58 Brief History of AI — 3:57 The "Perfect Storm" That Created Modern AI — 5:48 From General to Specialized: Fine-Tuning AI for Medicine — 7:0…

TechCheck Takes: I Held Google's Willow Chip — What Quantum Means for the Future of AI 5/7/25

"Inside a secretive lab in Santa Barbara, California, scientists at Alphabet are working on one of the company's most ambitious bets yet. They're attempting to develop the world's most advanced quantum computers. Late last year, Google unveiled a breakthrough quantum computing chip called Willow, w…

#135 - Michael Green - The Benchmark That Broke America

Mike Green is a macro strategist known for his work on market structure, benchmark distortions, passive flows and systemic fragility. A single benchmark shaped American markets and policy for decades and economist Mike Green believes it distorted risk, inflated asset prices, weakened the middle cl…

The Growth Strategy Hiding Inside Delegation with Brad Federman

Most leaders think delegation is about getting things off their plate. Brad Federman, author of Never Delegate Again, argues it's actually one of the most powerful — and most misused — tools for growing your people, your company, and yourself. In this episode, Brad joins host Brandon Laws to chall…

Causal Bandits @ CLeaR 2024 | Part 1 | CausalBanditsPodcast.com

Send us Fan Mail Root cause analysis, model explanations, causal discovery.Are we facing a missing benchmark problem?Or not anymore?In this special episode, we travel to Los Angeles to talk with researchers at the forefront of causal research, exploring their projects, key insights, and the challen…

POPLmark Reloaded, Part 1

I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.  

POPLmark Reloaded, Part 2

I continue the discussion of POPLmark Reloaded , discussing the solutions proposed to the benchmark problem.  The solutions are in the Beluga, Coq (recently renamed Rocq), and Agda provers.

Ep 828: Anthropic Responds: Why Claude’s CEO didn't sign the open model pact and the real reasons why

Every major AI lab signed the Open Weights letter defending open models. Meta, OpenAI, Google, Microsoft, Nvidia.Anthropic was the only holdout.Yesterday, its CEO, Dario Amodei, published a thoughtful defense of that decision to not fully support open weight or open source models. Here's what nobod…

Simulating Quantum Materials with Arnab Banerjee

Summary This episode is for anyone following the quantum utility debate or curious about how quantum computers will actually contribute to scientific discovery. Arnab Banerjee — assistant professor at Purdue, guest scientist at Oak Ridge's Quantum Science Center, and one of the most-cited experimen…

Cyera’s $1B AI Security Bet, a $410M Compute Deal, and the Agent Benchmark Problem | UpNext AI – July 29, 2026

UpNext AI for July 29, 2026: today’s episode looks at where money is moving in AI right now — into security for AI agents, into giant compute contracts, and into better ways to measure agent performance. We also round up a few shorter headlines from Nvidia, PayPal, Granola, and Proofpoint. Covered …