big list - Examples for the use of AI and especially LLMs in major mathematical developments - MathOverflow Asked 9 months ago Modified today Viewed 28k times 108 $\begingroup$ The purpose of this question is to collect…
Live AI News Intelligence
Some reports are awaiting translation or analysis and are labeled as source content. Highlights prioritize completed reports.
Live monitoring
Live updates
Trusted sources, attribution, rights, and in-site reading distilled into a signal-first AI brief.
Live updates
2026-08-13
OPEN BENCHMARK Agent Memory Leaderboard A public benchmark space for comparing textual and coding-agent memory systems under a consistent evaluation flow. Leaderboard Preview Benchmark Tracks Each track keeps its own re…
Release: alchemy-utils 0.1a1 Performance boost for DuckDB exports and CSV imports, see here.
★★★★★ “Booked 3 consultation calls this week while I was on a shoot. The AI handled the whole thing — availability check, confirmation, calendar invite. Incredible.” SK Sarah K. Content Consultant, Jakarta
min. is an AI tool that creates a digital version of everyone you work with, potentially transforming team collaboration and communication.
'Near-autonomous' AI agents attack Taiwan's nuclear safety agency Some say the world will end in fire, some say an agentic swarm Jessica Lyons Jessica Lyons Cybersecurity Editor Published wed 12 Aug 2026 // 22:45 UTC Su…
The next AI interface may not be a chatbot Published: 12 May, 2026 • 2 min read | Edit on GitHub The next AI interface may not be a chatbot. Most AI agents today still live inside fixed surfaces. A chat window. A termin…
Uh oh! There was an error while loading. Please reload this page. Notifications You must be signed in to change notification settings Fork 4 Star 16 BranchesTags Open more actions menu Folders and files NameName Last co…
EZY Research · Study 1 · July 27, 2026 We put llms.txt on 83 websites. In 12 weeks, OpenAI's crawler read it 7 times. 7 OpenAI llms.txt fetches Across 83 sites, 12 weeks 3,990 OpenAI robots.txt fetches Same sites, same…
AI teammate category just had its most significant new entrant yet
Babbage Aug 13, 2026 One of the reasons for studying technology history is to look for recurring patterns: characteristics of either the technology itself or of firms that are built around it that are repeated time and…
AI companies’ penchant for scraping through large swathes of the public web in search of valuable training data has already led to lawsuits and technical fixes aimed at stopping the practice. Now, a pair of designers ar…
SpaceXAI today released Grok 4.6, a large language model that it says can outperform Anthropic PBC’s Claude Fable 5 in some areas. SpaceXAI was known as xAI until last month. The Elon Musk-founded artificial intelligence provider rebranded in connection with its acquisition by SpaceX Corp. In June, the combined company listed its shares on the […] The post SpaceXAI releases flagship Grok 4.6 model with advanced reasoning capabilities appeared first on SiliconANGLE.
One API for chat, image, embeddings, and more NagaAI brings together models from leading AI startups behind one OpenAI-compatible API with unified billing, multimodal access, and lower pricing on selected models. OpenAI…
Jeff Dean spent 27 years helping build Google. Now, investors could be betting $1 billion that he can build the next big thing in AI outside it. The legendary Google engineer has been in discussions for $1 billion in fi…
Table of Contents TL;DR AI Governance is the set of processes, standards, and guardrails — grounded in transparency, accountability, fairness, privacy, and security — that keep AI and agentic systems safe, ethical, and…
Versatility is in, with people expected to work across the tech stack.
Slurm dominates large-scale computing - 60% of Top500 supercomputers rely on it for workload management. If you’re working in ML research or HPC, having access to multiple GPU clusters sounds like a good problem to have…
By Margaret Farrell 9:29 AM EDT on August 7, 2026 Add Stereogum to Google Frazer Harrison/Getty Images The "Rubberz" saga continues. Since Medasin's viral breakdown of Fenix Flexin's big hit, the conversation around the…
Managed Deep Agents gives developers a managed way to build, run, and deploy Deep Agents with built-in runtime, streaming, sandboxes, evals, memory, and auth.
As concerns around data privacy in machine learning grow, the ability to unlearn, or remove, specific data points from trained models becomes increasingly important. While state of the art unlearning methods have emerged in response, they typically treat all points in the forget set equally. In this work, we challenge this approach by asking whether points that have a negligible impact on the model’s learning need to be removed. Through a comparative analysis of influence functions across language and vision tasks, we identify subsets of training data with negligible impact on model outputs…
Part 2: Why folders, tags, and keyword search break down in real creative workflows and what retrieval needs to do instead.
2026-08-12
DeepSeek V4 Pro 0813 (on OpenRouter) The latest DeepSeek Pro model is now available, via API only. I had to link to OpenRouter because DeepSeek don't have any obvious announcement page for their new model. I haven't been able to confirm if they plan to release the open weights, but given the weights are available for both April's deepseek-ai/DeepSeek-V4-Pro and July's deepseek-ai/DeepSeek-V4-Flash-0731 it seems likely. Interestingly I got very different looking pelicans for the three different reasoning levels of low, medium, and high. I've not noticed this kind of difference from any other model: Low: Medium: High: In terms of benchmarks... as far as I can tell those were released to the Official DeepSeek WeChat Group, then copied and pasted into a post on Reddit which was deleted by the…
Shares of Nebius Group NV closed 34% higher today after it reported second-quarter earnings that topped expectations across the board. The Netherlands-based company operates a cloud platform optimized for artificial intelligence workloads. It also has two business units called Avride and TripleTen that offer autonomous driving software and programming courses, respectively. Nebius’ revenue surged 454% […] The post Nebius shares jump 34% on continued AI infrastructure demand appeared first on SiliconANGLE.
Jason Davenport Aug 12, 2026 Philip Dick wrote a short story titled ‘Do robots dream of electric sheep?’. I slightly changed this title for a talk I gave titled ‘Do agents dream of binary sheep?’. What is agentic memory…
Context bombs: stopping AI attackers in their tracks | Tracebit Research Tracebit Research · Working paper · July 2026 Context Bombs: stopping AI attackers in their tracks. AI agents can now run complex cyberattacks on…
Discussion | Link
Aug 12, 2026 Do you see the similarities across AI agent interfaces that these companies give you? There are chat sessions, there are model selections, there are tone settings, then there are MCP connections, there are…
Not Ready For Prime Time: The Current State Of Legal Ethics And AI | Techdirt Not Ready For Prime Time: The Current State Of Legal Ethics And AI (Mis)Uses of Technology from the there-be-dragons dept Wed, Aug 12th 2026…
New owner is said to be involved in AI industry, as new class of multimillionaires is entering the real estate race A luxury Lake Como-inspired estate in the San Francisco Bay Area has sold to a buyer “in the AI world” for a record $70m, in the latest sign of a new tech wealth boom that’s pushing home prices to extraordinary heights in the region The property south of San Francisco not only becomes the most expensive sale in its affluent town of Hillsborough, doubling a previous record, but is also the most expensive sale in northern California this year, according to listing agent Jennifer Gilson of Golden Gate Sotheby’s International Realty. Continue reading...