Click any tag below to further narrow down your results
Links
Jane Street had long skipped full-on formal methods despite using advanced type systems, but the rise of agent-driven coding cut proof costs and widened access. They’re now forming a team to integrate formal verification into their OCaml toolchain, tweaking the language and tapping their experienced user base while collaborating with external proof ecosystems.
GPT-5.5 outperforms GPT-5.4 in real-world coding tasks, from debugging and large merge operations to interactive app development. It also serves as a research partner—critiquing manuscripts, proposing analyses, and generating reports on complex datasets—all while running at GPT-5.4 latency through integrated inference optimizations.