# AI News Digest - 2026-07-05

1. Anthropic launched its own drug discovery programs to develop treatments for neglected diseases that large pharmaceutical companies considered unprofitable, and the company reported industry commentary that AI could shorten development timelines and increase success rates.

2. Microsoft reportedly planned to merge its consumer and enterprise Copilot apps into a single app in August, removed rarely used features, and introduced new background AI agents called "AutoPilot" that would operate for an additional fee.

3. Epoch AI reported a sharp rise in security vulnerability disclosures, noting that in June 2026 twenty-one organizations reported about 1,500 high-severity and critical CVEs—more than 3.5 times the previous monthly record—which aligned with the deployment of AI-powered bug-hunting programs.

4. Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4, which the company reported had aced formal math benchmarks and identified five previously unknown bugs while scanning fifty-seven open-source repositories.

# References

1. [https://the-decoder.com/anthropic-launches-its-own-drug-discovery-programs-to-tackle-diseases-big-pharma-considers-unprofitable/](https://the-decoder.com/anthropic-launches-its-own-drug-discovery-programs-to-tackle-diseases-big-pharma-considers-unprofitable/)

[Anthropic launches its own drug discovery programs to tackle diseases Big Pharma considers unprofitable](https://the-decoder.com/anthropic-launches-its-own-drug-discovery-programs-to-tackle-diseases-big-pharma-considers-unprofitable/)

1. [https://the-decoder.com/microsoft-follows-anthropic-and-openai-into-the-ai-super-app-race-with-overhauled-copilot-and-autopilot-agents/](https://the-decoder.com/microsoft-follows-anthropic-and-openai-into-the-ai-super-app-race-with-overhauled-copilot-and-autopilot-agents/)

[Microsoft follows Anthropic and OpenAI into the AI super app race with overhauled Copilot and AutoPilot agents](https://the-decoder.com/microsoft-follows-anthropic-and-openai-into-the-ai-super-app-race-with-overhauled-copilot-and-autopilot-agents/)

1. [https://the-decoder.com/security-vulnerability-reports-have-exploded-since-ai-models-started-hunting-for-bugs/](https://the-decoder.com/security-vulnerability-reports-have-exploded-since-ai-models-started-hunting-for-bugs/)

[Security vulnerability reports have exploded since AI models started hunting for bugs](https://the-decoder.com/security-vulnerability-reports-have-exploded-since-ai-models-started-hunting-for-bugs/)

1. [https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code/](https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code/)

[Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code](https://the-decoder.com/mistrals-open-source-leanstral-1-5-aces-formal-math-benchmarks-and-catches-real-bugs-in-code/)

For the site tree, see the [root Markdown](https://ixtj.dev/.md).