Formal methods researchers discuss how to respond to AI progress at FLoC
swarat · x · 2026-07-29
At an AIMCS workshop at FLoC 2026, Shriram Krishnamurthi says he ran a panel on how the formal methods community should respond to AI progress, and then published his answers to the questions that were asked.
The post frames the topic as a serious cross-over between AI progress and formal methods: not just whether AI helps with proofs or verification, but how the field should adapt structurally and intellectually.
More from AGI Musings
- SEO vs GEO is a fake debate; AI exposes brand credibility, not a new discipline — lilyraynyc · 2026-07-29
- Are AI Models Hitting a Wall? Debate Sparks Over Loss of Generality — JacquesThibs · 2026-07-29
- NVIDIA-Led 'Open Weights' Coalition Accused of Hijacking Open Source Definition — alex_verem · 2026-07-29
- AI may not shorten product-market fit as physical intelligence changes the end state — seanmcdonaldxyz · 2026-07-29
- Studies find AI therapy replies often score higher on empathy than human clinicians — sapinker · 2026-07-29
- Open-weight models need costly fine-tuning defenses, not vague “safe” branding — walden42 · 2026-07-29