Ken Ono on Discovery, Reasoning, and Verification
AlexKontorovich · x · 2026-07-20
Ken Ono’s talk frames mathematics as a trinity of modes:
- Discovery — examples, patterns, conjectures
- Reasoning — LLMs, literature search, plans, informal proofs
- Verification — formal statements, proof assistants, checked proofs, reusable libraries
The post shares a photo of the slide deck from the talk.
More from Research
- SUFLECA shows NOC-based correspondence can improve CAD-to-image alignment — ducha_aiki · 2026-07-21
- OpenAI-style autonomous researchers could become real scientific collaborators — Promptmethus · 2026-07-21
- Soft Clamp cuts tool-call overuse in multi-teacher distillation, from 13.7% to 9.0% — antgroup · 2026-07-21
- ShotPlan adds learnable planning tokens for cinematic multi-shot video generation — Tele-AI · 2026-07-21
- A silicon photonic reservoir chip compensates fiber distortion in real time at 28 Gbps — bravo_abad · 2026-07-21
- A developer maps out six design rules for CLIs that humans and AI agents can both use — yujiezha · 2026-07-21