Who Gets Credit When AI Writes the Proof?
OpenAI reported that an unreleased model made progress on ten longstanding open math problems, some unsolved for up to 48 years, at an inference cost of about $2,000. The results include advances in h…
OpenAI reported that an unreleased model made progress on ten longstanding open math problems, some unsolved for up to 48 years, at an inference cost of about $2,000. The results include advances in h…
OpenAI's unreleased Astra model reportedly solved 10 decades-old open math problems for under $2,000, including a sphere-packing bound that had not moved since 1978, according to OpenAI researcher Noa…
OpenAI previewed its next major model family, tentatively called Astra, on August 1, 2026, by publishing ten machine-checkable proofs of decade-old unsolved math problems, each formalized in Lean 4, i…
A surge in AI-related news and content production is overwhelming readers, with aggregator *Don't Worry Abotu the Vase* averaging 1.2 posts per day, each containing around 50 links. The author notes t…
OpenAI announced on August 1st that an internal version of its next major model, Astra, produced new results for 10 longstanding problems in mathematics and theoretical computer science, a claim suppo…
OpenAI's unreleased Astra model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, according to an announcement from OpenAI. The company believes t…
OpenAI's Noam Brown announced that GPT models generated proofs for 10 mathematical breakthroughs at a combined cost of under $2,000 at Sol API prices, highlighting the potential of upcoming Astra mode…
OpenAI has announced its next major model family, Astra, which enables multiple agents to collaborate on complex problems over extended periods, and has demonstrated it to policymakers in Washington. …
OpenAI is building a new model family called Astra that enables multiple AI agents to collaborate on complex problems for hours or days, according to The Decoder. CEO Sam Altman has demoed Astra to po…
OpenAI announced on August 1 that its new model Astra solved ten open math problems spanning sphere packing, group theory, complexity theory, and extremal combinatorics, with total inference costs of …
OpenAI showcased its next-generation Astra AI model family in a private Washington, D.C. preview on August 1, designed for long-running, multi-agent coordination tasks, a step beyond the GPT-5.6 serie…
OpenAI published ten results on long-standing mathematical problems, including high-dimensional sphere packing and Connes's rigidity conjecture, found by an internal model called Astra at a token cost…
OpenAI CEO Sam Altman previewed an unreleased model family called 'Astra' to Washington policymakers, pitching a system designed to coordinate multiple AI agents over long periods, according to The In…
Georgia Tech's AI Safety Initiative (AISI) placed more than 15 members in paid fellowships and full-time AI safety roles during the 2025-2026 academic year, an outlier year for the group. The initiati…
Adobe is acquiring Topaz Labs to integrate its on-device AI inference technology, NeuroStream, and Emmy-winning enhancement models into Creative Cloud, aiming to compete with Canva and Blackmagic Desi…
A Ukrainian drone attack sparked a fire at the Sheskharis oil terminal in Novorossiysk, Russia, which is used for exporting oil and supplying the Russian military. Ukraine's General Staff confirmed th…
According to Russian and Ukrainian authorities, Ukrainian strikes overnight on Saturday targeted several energy and industrial sites deep inside Russia, including the Sheskharis oil terminal in Novoro…