OpenAI solves more math problems and there’s a new French model

Proof positive: OpenAI says its AI has solved 377 previously unsolved math problems, The New York Times reports, and has released the proofs for scrutiny. The news comes one month after the company solved a math problem so hard it came with a USD 1 mn prize.

Le Chonk est arrivé: France's AI startup Mistral unveiled its new large language model in Abu Dhabi on Tuesday. It’s nicknamed “Le Chonk,” but with the much more boring official name Mistral Large 4. The company says it beats some Chinese models on cybersecurity. Here’s more from Reuters.

The French have a talent for getting really weird on film. Perhaps the country’s most famous director, Jean-Luc Godard, was nearly incomprehensible for a big chunk of his career. Try 1967’s Weekend for a look at when he was still more weird-entertaining than just weird-weird. For totally sublime weirdness, try Leos Carax’s 2012 film Holy Motors, but take our advice and go in blind. No Googling.

That’s it for this week! Like what you’re reading? Feel free to invite some friends. Or drop us a line at [email protected]. We’ll be back in your inbox on Tuesday.