Heidelberg AI News

Article · TechCrunch ·

OpenAI released a new cybersecurity model. Is that enough?

OpenAI's newest cybersecurity model comes out as AI labs face scrutiny of their work to protect digital infrastructure.

Read at techcrunch.com The opening of the article at techcrunch.com.

More from TechCrunch

All stories

ArticleTechCrunch

Axiom Math wants to keep AI slop out of mathematics

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.