AI progress makes historically prohibitive mathematical proofs economically viable.
many such case, things that were just not worth the cost are now within reach
expect that most of the software stack than we have been using will be totally reinvented
we should all be way more ambitious in the system we build
I've been telling people for 25 years that Jane Street is not interested in formal methods.
No more!
And we're actively hiring to form a new formal methods team!
Users are excited about Jane Street launching a formal methods team and hiring because it marks a great moment for the field amid lower AI-driven verification costs.
A bit more detail here:
https://blog.janestreet.com/formal-methods-at-jane-street-index/
I've been telling people for 25 years that Jane Street is not interested in formal methods.
No more!
And we're actively hiring to form a new formal methods team!
@yminsky This is super-exciting. It's a great moment for formal methods.
AI progress makes historically prohibitive mathematical proofs economically viable.
many such case, things that were just not worth the cost are now within reach
expect that most of the software stack than we have been using will be totally reinvented
we should all be way more ambitious in the system we build
I've been telling people for 25 years that Jane Street is not interested in formal methods.
No more!
And we're actively hiring to form a new formal methods team!
