#ai

AI

1496 stories tagged AI · page 33 of 63

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