OpenAI has published 722 manuscripts featuring solutions to longstanding open mathematics problems generated by an unreleased frontier model, complete with Lean proofs.
The tape Last Week in AI · Oct 19
“OpenAI Drops Another Batch of Mathematical Breakthroughs.”
28:03 / --:--
The AI Daily Brief · The Most Concerning AI Bubble SignalsOct 23
Amazon AWS expects to receive billions in Nvidia GB300 server racks at U.S. facilities, but sources warn the hardware sits unpowered due to grid power delays.
Lenny's Podcast · Inside the black box of AI: How AI models actually think | Emmanuel Ameisen (Anthropic)Oct 18
Anthropic's Emmanuel Ameisen reveals that language models form internal plans across intermediate states, allowing them to formulate and execute multi-word strategies.