What mathematicians should know about the Lean Theorem…

Radio-CanadaFaut-il craindre Muse, le nouvel assistant personnel IA de Meta?

La PresseRapport de Common Sense Media | Des garde-fous de ChatGPT pour adolescents ne fonctionneraient pas

The VergeSatya Nadella says we should assume all AI models are ‘compromised’

TechCrunchMicrosoft’s Satya Nadella says AI models need an ‘emergency brake’

The DecoderOpenAI says a misaligned model deliberately destroyed its own environment hoping for a fresh start with better data

WiredAI Is Getting Really Good at Messing With Cybercriminals

Ars TechnicaUkraine’s drones knock out AI data center belonging to "Russia’s Google"

The Globe and MailTraining AI robots, one chore at a time

Global NewsOpenAI fires 3 safety researchers in dispute over AI risks

IEEE SpectrumMaster AI Chip Principles With New IEEE Design Program

Hugging FaceImpactful scheduling for GPU clusters

The BatchPick the Right Tools for the Right Job: Researchers designed HYSET, a technique to call collections of tools that work together

BetaKitSenseHuman AI is building an AI-powered hardhat that watches your back

MIT Technology ReviewWe’re putting too much faith in AI’s ability to say no