AI·Unitree G1 humanoid robot completed live cholecystectomy on two pigs using standard laparoscopic tools under remote doctor control, with the lead author being a 00-after PhD from UCSD; results published in Nature.
Search
What are you looking for?
13 results for “tools”
AI·YouTube CEO Neil Mohan seeks to balance AI-generated content flood with human creativity safeguards, including labeling AI videos, while launching virtual avatar tools and noting 17.5% of shorts may be AI-generated.
AI·Viral stories of AI-crafted mRNA vaccines saving pets or spotting cancers mirror the Theranos blood-testing fraud, with exaggerated claims by non-experts creating hype while AI merely integrates existing tools rather than innovating breakthroughs.
AI·This position paper reviews LLM-driven formal theorem provers and argues that current systems function mainly as solvers for well-defined problems, not as research agents capable of discovering new theorems or resolving open conjectures at the frontier. It identifies key limitations in datasets, exploration, tools, and collaboration and proposes a roadmap for AI4Math systems to support genuine mathematical research.
AI·The paper proposes an agentic tool-making pipeline that compiles repeated SOP steps into validated versioned tools to reduce latency and improve reliability in production LLM agents.
The rapid development of large language models and multimodal large language models has accelerated the emergence of proactive agents capable of operating everyday tools and assisting users in real-world environments. However, existing benchmarks struggle to evaluate such agents effectively, as they often rely on sandboxed environments and single-turn evaluation paradigms. Moreover, their scenario-based task taxonomies mix multiple model capabilities within the same task category, making it dif…
We present AgentLens, a production-assessed benchmark for interactive code agents. Most code-agent benchmarks reduce a run to a single bit -- did the task pass? -- but the people who actually use these agents experience the entire trajectory: how the agent follows instructions, uses its tools, verifies its own work, recovers from mistakes, and talks to them along the way. AgentLens evaluates that whole trajectory. It pairs formal verification, where an objective check exists, with LLM-written t…
OpenAI introduces new Daybreak tools, including Codex Security and GPT-5.5-Cyber, to help organizations find, validate, and patch vulnerabilities at scale.
OpenAI supports the EU Code of Practice on AI content transparency, advancing provenance standards and tools to help people understand AI-generated content.
Large Language Models (LLMs) unlocked new possibilities in automated code writing, becoming the backbone of most code completion tools. While LLMs excel in mainstream languages, they often lack support for the so-called low-resource languages where training data is scarce. As a result, these languages lag behind in the quality of code completion tooling available to their communities. A concrete example is Pharo, a Smalltalk-inspired language whose IDE currently offers only single-token complet…
A collection of science tools and experiments to expand the scale and precision of scientific exploration.
We're expanding our tools to help you understand how content was created and edited across the web.
Share what your favorite models are right now and why. Given the nature of the beast in evaluating VLMs (untrustworthiness of benchmarks, immature tooling, intrinsic stochasticity), please be as detailed as possible in describing your setup (at least hardware and inference engine) nature of your usage (what applications, how much, personal/professional use) tools/frameworks/prompts etc. Rules Onl…