Mistral AI has released Leanstral 1.5, an open-source code agent model for the Lean 4 proof assistant, capable of solving 587 out of 672 problems from the PutnamBench benchmark.
Named after its use of the Pluggable Authentication Modules (PAM) interface to validate stolen login passwords, the malware was identified by security firm Jamf and represents a significant evolution in macOS threat tradecraft.