Archive

All 2,608 AI stories, newest first · page 50 of 109

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.

TSMC Can't Keep Up with AI Chip Demand, CEO Admits
industry

TSMC Can't Keep Up with AI Chip Demand, CEO Admits

Taiwan Semiconductor Manufacturing Co. (TSMC), the world's largest chip maker, is struggling to meet the surging demand for AI chips. Even with new factories in the US, supply can't keep up with the explosion in AI development. This bottleneck could slow down AI progress for everyone.

via The Verge AI#ai#chip#tsmc
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