If you’d asked me two weeks ago—before OpenAI’s announcement—about the most novel contributions of LLMs to mathematics, I probably would have pointed to the AlphaEvolve system from Google DeepMind. AlphaEvolve harnesses LLMs to be the engine of an optimization process. If you can turn a math problem into a piece of code to optimize, which you often can, the LLM might find better solutions than humans have for certain types of problems. In November, four mathematicians (including Terence Tao) released a paper that analyzed AlphaEvolve’s performance on 67 optimization problems across the mathema
An OpenAI model solved a famous math problem that stumped humans for 80 years… The newly independent entity is being rebranded as Fenris Creations, which will continue to operate as normal without any restructuring or layoffs, the company said. “Something that already behaves like a living world” In today’s announcement, Fenris and DeepMind said that EVE Online presents “a un… …
… When conducting tests, CAISI frequently gains access to models with “reduced or removed safeguards,” which CAISI said allowed them to more “thoroughly evaluate national security-related capabilities and risks.” Through the evaluations, the government will also gain a better understanding of model c… …
… Mathematician Tim Gowers wrote that when he first heard about the AI’s result, he thought it had proved the theorem. “I spent the evening adjusting my world view: If the AI could come up with a proof like that, then maybe it would be all over for mathematicians very soon.” But the next morning, Gow… …
… So it’s only fitting that Google should offer some less RAM-hungry local AI models. The company has announced the release of a new Gemma 4 model that fills a gap in the lineup that launched earlier this year. …
… Even if phones had faster AI processing, they lack the RAM to keep enormous models in memory. Even the largest AI models are still middling assistants, and that makes local AI very challenging. The AI models that run on phones are physically smaller, featuring at most a few billion parameters. …
… There’s Microsoft Scout , an OpenClaw-based “Autopilot” agent that can hook into Microsoft 365 data to perform tasks for users; several new AI models ; an expanded preview of “ Codename MDASH ,” which is a “multi-model agentic scanning system” meant to detect and fix software vulnerabilities. …
… Google announced in 2024 that it would begin adding local AI capabilities to Chrome, powering features like Help Me Write, tab organization, and scam detection. The list of potential uses has changed over time, and Google never rolled the models out universally. …
… Google has announced that it has partnered with several companies to add SynthID to their systems. Nvidia will implement SynthID in its Cosmos world foundation models, and OpenAI will use SynthID in its GPT 2 images. Kakao and ElevenLabs will also begin adding SynthID to their AI content. …
… One million output tokens from OpenAI’s GPT-5.4 nano would run just $1.25 on GitHub Copilot , but that same level of output would run $30 on the frontier GPT-5.5 model Copilot users who rely on “Auto” mode to pick the most appropriate available model for any request should be extremely careful, as … …
… Today, the company announced a bigger update that might take care of some of your smart home woes. Camera feeds will be easier to navigate, and the AI event labeling should be more straightforward. …