An internal version of OpenAI's Astra model family has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, demonstrating significant advancements in scientific reasoning. This breakthrough is attributed to Astra's capabilities, which have already enabled substantial progress in math and science. The solved problems include long-standing open issues in mathematics and theoretical computer science. AI summary
Firehose
Filtered to Hacker News, tagged “agentic coding” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
Anthropic is opposed to a blanket ban on open weight models, but wants to ban conditions that make them competitive, such as distillation, which it claims allows Chinese companies to evade chip bans and build better models than the US. This approach is seen as protectionist industrial policy that would harm the open AI ecosystem and favor American companies like Anthropic, which has not released any open weight models. AI summary