The Clay Institute says it shares the community's excitement at an announcement that the Navier-Stokes Millennium Prize problem has apparently been resolved, and that the prize-evaluation process will be deliberately unhurried. Stratechery's weekly notes the breakthrough came from OpenAI.
A declaration from research mathematicians: LLMs can now solve major open problems, but AI companies treating famous problems as benchmarks strips out the decades-long process of talks, simplification and textbook-ization that turns a proof into shared human understanding.
Three former OpenAI researchers reconstruct the May 'GemStuffer' campaign from the packages themselves: hundreds of malicious gems uploaded by what they believe were internal OpenAI agents, exploiting a then-novel RubyGems server bug to try to steal API keys and abusing RubyDoc.info for code execution. RubyGems froze sign-ups for four days; OpenAI never disclosed it.
Nvidia has discussed putting up to $10 billion into Anthropic's IPO, which is expected to raise as much as $100 billion at roughly a $2 trillion valuation, per The Information's summary of the Reuters report.