Talk Session 1: AI for Science

Towards AI Co-Scientists: Agentic AI for Scientific Discovery

Rose Yu — Professor, UC San Diego; CEO/Co-Founder, GistFlow

Saturday, August 1 · Nexus Stage · 01:11:25–01:20:09 · morning stream

The physical world breaks three assumptions agentic systems are built on at once — tools are expensive, environments obey conservation laws, and the interesting events are rare and highly uncertain — so Yu grounds agents in physical law and lets them adaptively trade internal reasoning against simulations that take days.

TL;DR

  • The framing: not a chatbot, but a research partner that can reason inside a physical universe and lead to open-ended discovery.
  • Three assumptions the physical world breaks: (1) there are laws of physics, symmetries, and conservation laws that must act as guardrails; (2) simulations are so expensive they run for days or weeks — and yet they're exactly the world models you'd use to verify an agent; (3) the interesting events are rare and carry enormous uncertainty, so when an agent says it's 100% sure it will rain, that had better be true.
  • The recipe is physics-guided AI, described in her PNAS paper: ground agents in differential equations (the building blocks of simulations) and symmetries (the governing principles of the physical universe), then loop that grounding into open-ended agentic reasoning.
  • Results across four areas: 2× more accurate climate question answering; #1 on PutnamBench using Lean and Isabelle verifiers, lifting solve rate from 50% to 70% and beating ByteDance's proprietary solution; 18–35% better binding energies in drug design under molecular dynamics evaluation; and the first agentic weather scientist, compressing a couple of weeks of analysis into a couple of hours.

Key Points

Three broken assumptions (~01:12–01:15)

Yu directs the spatiotemporal machine learning lab at UC San Diego, building machine learning algorithms for the physical world. The question that's been nagging at her for years: how do you build an AI co-scientist that genuinely helps with research — not as a chatbot, but as a partner that can reason in a physical universe and lead to open-ended discoveries?

Answering it means being clear about what makes AI for science distinctive once the physical universe is involved:

  1. Laws of physics, symmetries, and conservation laws. These are hard constraints in the physical world, and the question is how to build that kind of guardrail into today's agentic systems.
  2. Simulations are expensive. Physical sciences lean on simulations built from first-principles mathematical models — how climate changes over 50 years, how a disease spreads through billions of people, how atoms interact in materials and biological systems. These take days or weeks to return feedback, and yet they're precisely what you'd want as the world model for verifying an agent. How does an agent interact with an environment like that?
  3. Rare events and uncertainty. The events worth caring about are rare and carry enormous uncertainty. How do you calibrate that uncertainty so that when an agent says it's 100% sure it will rain tomorrow, it's actually 100% correct?

All three, she argues, break the common assumptions behind agentic systems.

What follows is a requirements list: agents that adaptively interleave internal reasoning with simulations that may run for days; laws of physics baked into the reasoning engine; properly calibrated uncertainty. In practice that means adaptive tool use plus integrating formal reasoning tools into a verifiable environment.

Physics-guided AI: the recipe and the results (~01:15–01:18)

She calls the recipe her group has built up over the years physics-guided AI, and wrote a PNAS paper laying out what she takes to be the right approach: ground agents in the laws of physics. Two grounding substrates — differential equations, the building blocks of simulations, and symmetries, the governing principles of the physical universe — looped into open-ended agentic reasoning.

The recipe works, and she ran through where:

  • Climate science: an AI scientist for understanding climate change impacts uses an adaptive reasoning loop so the agent can trade fast retrieval from memory against expensive climate model projections, producing 2× more accurate question-answering results on climate reasoning tasks.
  • Formal mathematics: verifiers leveraging formal methods in Lean and Isabelle ground the reasoning engine for theorem proving. They ranked #1 on PutnamBench, one of the hardest formal theorem-proving benchmarks, lifting solve rate from 50% to 70% and beating ByteDance's proprietary solution.
  • Drug design: designs evaluated by molecular dynamics simulators showed 18–35% more favorable binding energies.

The concrete example: an agentic weather scientist. She showed an agent — transcribed as "Deferris," spelling unconfirmed — billed as the first agentic weather scientist. It reads huge volumes of highly numerical weather data, generates and runs code in a parallel code execution environment, orchestrates a wide range of tools from climate simulators to weather forecasters, and writes a report on the impact of extreme events like wildfires and earthquakes. Analysis that typically takes weather scientists a couple of weeks now takes a couple of hours.

From the lab to the physical economy (~01:18–01:20)

Having done a lot of research on physics-grounded agents for physical science, they now want to take it to the real world. She has launched a startup — she's the CEO — applying the same recipe outside the lab: deploying agents that automatically produce forecasting, simulation, what-if scenarios, and actionable insights to support supply chain and operations, which she frames as the critical infrastructure of the physical economy.

The demo query is plain natural language. Imagine you're a chip manufacturer: if a typhoon hits Southeast Asia, how should we understand the impact on shipping lanes and lead times, and how do we optimize and mitigate the potential disruptions to the business? The agent runs adaptive research to find every affected lane, estimates the disruption to lead-time arrival, and produces a mitigation plan in a couple of hours.

Quotes

"How can we build an AI co-scientist that actually helps you with research, not as chatbot but as partners that can reason in a physical universe and then lead to open-ended discoveries?" (~01:12:48)

The framing for the whole talk: a partner, not a chat interface.

"…when the agent says I'm 100% sure that tomorrow is going to rain, then we know it's actually 100% correct." (~01:14)

The physical world's extra demand: be right about how confident you are, not just about the answer.

提到的專案與資源 / Projects & Resources

名稱 Name 說明 Description 備註 Notes
Physics-guided AI 用微分方程與對稱性為 agent 接地的整體配方 Overall recipe for grounding agents in differential equations and symmetries 她在 PNAS 發表論文闡述 / laid out in her PNAS paper
氣候 AI scientist / climate AI scientist 自適應在記憶檢索與昂貴氣候模式推估之間取捨 Adaptively trades memory retrieval against expensive climate model projections 氣候推理問答準確率 2× / 2× accuracy on climate reasoning QA
PutnamBench(Lean / Isabelle verifier) 以形式方法接地推理引擎解數學定理 Grounding the reasoning engine with formal-method verifiers to prove theorems 第一名,解題率 50% → 70%,勝過 ByteDance 專有系統 / ranked #1, 50% → 70%, beating ByteDance's proprietary solution
Agentic 天氣科學家 / agentic weather scientist 讀氣象資料、平行執行程式、編排氣候模擬器與預報器,產出極端事件衝擊報告 Reads weather data, runs code in parallel, orchestrates simulators and forecasters, writes extreme-event impact reports 逐字稿作 "Deferris",拼寫待確認;兩週 → 幾小時 / name unconfirmed; weeks → hours
GistFlow(她的新創 / her startup) 把 physics-guided agent 帶到供應鏈與營運:預測、模擬、what-if、可行動洞見 Brings physics-guided agents to supply chain and operations: forecasting, simulation, what-if, actionable insight 公司名依官網議程;逐字稿聽作 "Just Flow" / company name per the official agenda; heard as "Just Flow"

逐字稿勘誤 / Transcript Corrections

字幕原文 Heard as 應為 Should be
Just Flow GistFlow
spatial temporal machineing lab spatiotemporal machine learning lab
ling and Isabel Lean and Isabelle
putnam bench PutnamBench
bidance ByteDance
PNAS National Science of Academy PNAS(Proceedings of the National Academy of Sciences)
a gentic / gentic system agentic system
shipping lengths shipping lanes

待確認 / To Verify

  • 天氣 agent 的名稱:逐字稿作 "Deferris",查不到對應專案,拼寫與正式名稱待確認。/ The weather agent's name, transcribed as "Deferris," could not be matched to any public project.
  • PNAS 論文的正式標題與年份未提及。/ The PNAS paper's title and year weren't given.
  • PutnamBench 排名(50% → 70%、勝過 ByteDance)的排行榜快照時間點未說明,無法核對。/ The PutnamBench leaderboard snapshot behind the 50% → 70% claim wasn't dated, so it couldn't be checked.
  • 藥物設計 18–35% 結合能改善的比較基線未指明。/ The baseline for the 18–35% binding-energy improvement wasn't specified.
  • GistFlow 的產品名稱與公開資訊未查證(演講時剛創立)。/ GistFlow's product naming and public materials couldn't be verified; the company had just launched.

Markdown source on GitHub ↗