#ai

AI

2101 stories tagged AI · page 59 of 88

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
research

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

Researchers introduced LeanMarathon, a multi-agent AI system designed to help mathematicians formalize and prove complex theorems in the Lean proof assistant. It uses four contract-scoped agents to construct, audit, prove, and repair an evolving blueprint that serves as a formal proof skeleton, natural-language proof graph, and shared system of record, addressing issues like statement drift, tangled dependencies, and context decay.

New Benchmark Tests AI's Ability to Use Visual Aids for Math Problems
research

New Benchmark Tests AI's Ability to Use Visual Aids for Math Problems

Researchers created VAMPS (Visual-Assisted Mathematical Problem Solving), a benchmark to test AI models' ability to solve math problems using visual tools like graphs. This is important because real-world science and engineering often rely on visual aids for problem-solving, and many current AI models struggle when they must use external tools and interpret their visual outputs.

via ArXiv cs.AI#AI#Research#Math
As AI Gets Better, It Reveals an Empty Promise
industry

As AI Gets Better, It Reveals an Empty Promise

Google's new AI agent, Spark, can uncover personal details you never explicitly shared. Hands-on tests show it knew a reporter's dog's name and another's wife's first name — raising questions about whether AI convenience comes at the cost of an unsettling loss of privacy.

via The Verge AI#AI#Privacy#Google
AI Disagreements Could Be Valuable, Not Just Errors
research

AI Disagreements Could Be Valuable, Not Just Errors

Researchers argue that disagreements among AI systems might reveal important normative uncertainties, not just errors. They propose a knowledge-representation layer that abstracts reasoning traces and decisions into symbolic disagreement states for value-laden tasks.

via ArXiv cs.AI#AI#Research
Researchers Use Graphs to Help AI Think More Like Humans
research

Researchers Use Graphs to Help AI Think More Like Humans

A new study proposes Visual Graph Scaffolds, a method that uses graph structures to improve the reasoning of large language models (LLMs). Unlike prior approaches that treat graphs as external data sources, this technique integrates graphs directly into the model's reasoning process, inspired by how humans use mind maps to organize complex thoughts. The method showed significant improvements on multi-hop question answering tasks.

via ArXiv cs.AI#AI#Research#LLMs