Easier to Convince Than to Prove
A new paper from MiniMax, MaxProof, trains a model to write competition-math proofs and achieves high scores on IMO and USAMO problems, but a cross-verification experiment reveals that among proofs th…
A new paper from MiniMax, MaxProof, trains a model to write competition-math proofs and achieves high scores on IMO and USAMO problems, but a cross-verification experiment reveals that among proofs th…
DeepMind released DiffusionGemma, a new large language model that uses discrete diffusion to generate entire sequences in parallel instead of autoregressive token-by-token generation. The model achiev…
Google cofounder Sergey Brin said during a fireside chat at Google DeepMind Build Day that artificial intelligence will not make human achievement obsolete, citing the game of Go as an example. Brin n…
Director Nick Holt's documentary "AI: Probably Nothing to Worry About," premiering at the Tribeca Festival, traces artificial intelligence's evolution from its origins to the present-day race for gene…
A frozen Llama model, without any training or fine-tuning, used activation-derived readouts to supply arguments to a calculator for arithmetic operations, achieving exact-answer lifts of up to +0.968 …
London-based startup Airspeed has raised $20 million in Series A funding led by DN Capital to develop AI agents that automate sales and go-to-market tasks. Founded in 2022 by former DeepMind researche…
London-based startup Airspeed, founded by two former Google DeepMind researchers, has raised $20 million in a Series A round led by DN Capital to deploy autonomous AI agents that execute sales tasks r…
Deep neural networks have enabled generative modeling of biomolecules, with models like AlphaFold3 and Chai-2 now capable of predicting and designing drug-like molecules and antibodies. However, resea…
AI safety plans that rely on a single chain of conditions are dangerously fragile, according to a new analysis. Google's April 2025 safety plan, considered the best among frontier AI companies, depend…
Google used its own Gemini AI tools to build and produce Google I/O 2026, including creating a short film, designing the event's visual brand identity, and generating a live musical pre-show. The comp…
An AI agent deployed by PostHog during a Lisbon team offsite identified a three-year-old bug in the company's ClickHouse query engine that prevented timestamp filters from using the primary key correc…
London-based AI lab Inherent emerged from stealth on Wednesday with a $50 million seed round co-led by Index Ventures and Radical Ventures to build a self-improving AI platform for scientific discover…
DeepMind's AI agent autonomously resolved 9 of 353 open Erdős problems and proved 44 of 492 open conjectures from the OEIS at an inference cost of a few hundred dollars per problem, using a generate-a…
An A-to-Z glossary of AI terms has been published, with each entry including a plain English definition and a real-world example. The glossary was created with assistance from AI itself, targeting bot…
For French B2B SaaS companies, Mistral AI offers a stronger alignment with sovereignty and GDPR compliance than OpenAI, as Mistral provides native European hosting and contractual guarantees against d…
Google is rolling out Gemini for Science, a set of experimental tools designed to compress scientific work that typically takes months or years into a matter of days. The program, built across Google …
Anthropic released its Mythos AI model to the public, eliminating the distinction between classified military-grade and commercial frontier AI. DeepMind CEO Demis Hassabis advanced his AGI timeline to…
JPMorgan released its 27th annual summer reading list, featuring 13 nonfiction books selected by its global advisors based on client interests. The list covers topics including AI, longevity, success,…
Google I/O 2024 showcased an aggressive push to embed AI across all of Google's products, raising questions about both user experience and strategic coherence. The event highlighted tensions between D…
Following the Google I/O 2026 keynote, The Vergecast discussed the event's highlights, focusing on Google's new "agents" for AI utility, model updates including the Gemini Omni family, and the integra…