Daily Brief

A U.S. District Judge has allowed Minnesota's ban on 'nudify' apps to proceed, rejecting xAI's request for a temporary restraining order. The judge noted xAI's delay in filing the lawsuit, suggesting no immediate harm, while xAI argues the ban is overly broad and lacks less restrictive alternatives.

OpenAI is developing a new model family called 'Astra' aimed at enhancing long-duration task performance, potentially alongside existing models like Sol and Terra. CEO Sam Altman showcased Astra's capabilities to coordinate multiple agents for complex problem-solving, with a long-term vision of autonomous AI research by 2028.

OpenAI CEO Sam Altman promotes ChatGPT Work for parenting, suggesting it can create personalized podcasts for kids. However, his idea faced backlash, with critics advocating for direct communication between parents and children. OpenAI is also addressing safety concerns amid lawsuits related to its AI's impact on mental health.

OpenAI's Astra model has generated ten significant mathematical results, including disproofs and new bounds in various fields, empowering 100,000 researchers with free access to ChatGPT. These results address long-standing open problems in areas like group theory and quantum complexity, costing approximately $2,000 in API usage.

Tesla's new patent, US20260017019A1, introduces a 'Mixed-Precision Bridge' that enables 8-bit chips to execute 32-bit AI models, enhancing the performance of its FSD and Optimus systems without increasing power consumption. This breakthrough allows for long-context memory, solving the issue of forgetting previously seen objects like stop signs.

AI models like OpenAI's Astra and Epoch AI's FrontierMath are revolutionizing mathematics by solving significant problems and generating proofs, but concerns about the potential loss of mathematical culture persist. While AI excels in certain areas, major challenges like the Millennium Prize Problems remain unsolved, indicating a mixed future for human mathematicians.

A Munich court ruled that AI music generator Suno infringed copyrights by memorizing and reproducing specific songs, rejecting its fair use defense under both German and US law. The case involved six songs, and the court emphasized Suno's responsibility for the outputs generated, which were found to be substantially similar to the originals.

OpenAI's new model Astra has solved ten long-standing math problems, marking a significant advancement in AI-assisted research. The model, which costs about $2,000 for generating solutions, formalized proofs in Lean and is expected to enhance long-term problem-solving capabilities in AI. Astra's development aligns with OpenAI's goal of creating autonomous AI researchers by 2028.