Home

a shaneful place

News

Artificial Intelligence

Blog

Portfolio

Subscribe

AI News Digest - 2026-07-05

Category

Empty

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/

Anthropic launches its own drug discovery programs to tackle diseases Big Pharma considers unprofitable

Anthropic is launching its own drug development program for neglected diseases that the pharmaceutical industry considers unprofitable. Novartis CEO Vas Narasimhan thinks AI could cut development time from twelve years to seven or eight and double the success rate from 8 to 16 percent.

the-decoder.com

1.

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

Microsoft reportedly plans to merge its consumer and enterprise Copilot apps into a single app in August. Rarely used features like Copilot Podcasts are getting cut, and new AI agents called "AutoPilot" will handle tasks in the background for an extra fee.

the-decoder.com

1.

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

Epoch AI reports a sharp rise in security vulnerability reports. In June 2026, 21 organizations reported about 1,500 high-severity and critical CVEs, more than 3.5 times the previous monthly record. The surge lines up with the launch of AI-powered bug-hunting programs.

the-decoder.com

1.

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

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.

the-decoder.com

Made with Slashpage