Tools

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.

Current AI, a non-profit global partnership, has released the Open Source AI Gap Map, an ambitious effort to index the state of open source AI.

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.

The Citizen Lab at the University of Toronto identified Greek journalist and former politician Stelios Kouloglou as the victim, marking the first time a member of the European Parliament’s PEGA committee has been publicly identified as a spyware target.

A new open-source coding agent called llm-coding-agent 0.1a0 has been released, promising to automate software development tasks through a set of file and command manipulation tools.