# Formal methods and the future of programming

DevFeed: [Formal methods and the future of programming](<https://devfeed.tech/articles/formal-methods-and-the-future-of-programming-20167.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/formal-methods-at-jane-street-index/>)

Author: Yaron Minsky

Published: 2026-06-07T00:00:00Z

Content type: opinion

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Formal methods](<https://devfeed.tech/topics/formal-methods.md>), [agentic-coding](<https://devfeed.tech/topics/agentic-coding.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [agentic-coding](<https://devfeed.tech/tags/agentic-coding.md>), [formal-methods](<https://devfeed.tech/tags/formal-methods.md>), [programming](<https://devfeed.tech/tags/programming.md>), [software](<https://devfeed.tech/tags/software.md>), [verification](<https://devfeed.tech/tags/verification.md>), [verify](<https://devfeed.tech/tags/verify.md>)

## AI overview

Jane Street explains that the emergence of agentic coding has changed its view of formal methods. The company is now building a team focused on making formal methods more broadly useful for software development, while noting that models assist with the work but cannot independently construct arbitrarily difficult proofs.

## Source excerpt

I've been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.