Jane Street announces new formal methods team
They changed their stance due to agentic coding, aiming to make formal methods pervasively useful for building software.
See the latest news and media coverage for Jane Street. We track all announcements, press releases, and industry mentions in real time, all in one place.
Research-driven quantitative trading firm
janestreet.comLast updated
In short: Jane Street achieved record trading revenues while navigating a $15 billion loss from AI exposure and facing legal scrutiny in India.
They changed their stance due to agentic coding, aiming to make formal methods pervasively useful for building software.
Details the puzzle design, solver's process using analysis and SAT solvers, discovery it implements MD5 hash, and solution via brute force. Announces new puzzle.
The investment supports a new standard for testing complex systems. As investor and customer, Jane Street uses deterministic simulation to uncover issues and ship reliable systems faster.
Antithesis uncovers critical bugs in Aria's distributed system through deterministic chaos testing, enhancing reliability beyond traditional methods. Jane Street leads Antithesis' funding round.
India's market regulator Sebi is intensifying scrutiny of global financial firms, targeting entities linked to JPMorgan, Jane Street, Bank of America and Capital Group over...
Jane Street has signed a five-year cloud contract with Crusoe worth about $13 billion, Bloomberg reported on Thursday. Crusoe ...
Jane Street lost approximately $15 billion in July 2026, its first monthly loss since 2016, driven by AI investment exposure and a brutal...
Jane Street side, argued that the NSE report of November, 2024 and the SEBI's ISD report of December, 2024 were both prepared several months before...
Track Jane Street and your other target companies to get real-time alerts and weekly summaries delivered straight to your inbox.
Discover what's making headlines across other trending companies.