An AI-generated approach to the Navier-Stokes Millennium Prize Problem has been shared, including both a writeup and a formal proof written in the Lean proof assistant. This represents an application of AI to theoretical mathematics and formal verification rather than a solved prize problem.
Source: OpenAI
Meta has launched Muse, a personal AI agent that requests access to user email, calendars, payments, health services and other sensitive data. The release represents Meta's most significant consumer AI initiative and tests whether users will grant AI agents extensive data permissions. Source: TechCrunch
An NYU mathematician alleges OpenAI engaged in questionable tactics regarding a career-defining mathematics problem with a $1 million bounty. The dispute concerns the Navier-Stokes existence and smoothness problem, one of mathematics' most difficult unsolved challenges. Source: TechCrunch
OpenAI has launched a $5 million grant program to fund independent research on how generative AI impacts adolescent development, well-being, and safety. The program invites applications from researchers studying these effects. Source: OpenAI
OpenAI is launching expanded initiatives to support journalism across educational and professional settings, including tools, training programs, and partnerships for students, educators, journalists, and news organizations. The expansion aims to help journalism stakeholders integrate AI capabilities into their work and education. Source: OpenAI