Monday, 2 November 2026
M
Meridian Globe
Live briefing
Watch: Match of the Day— BBC Sport 足球AI dubbing to help Japanese companies expand global outreach— 日经 Nikkei AsiaIndonesia GDP, US midterm elections, Hong Kong financial summit— 日经 Nikkei AsiaPakistan refineries report 1,860% jump in profit amid war windfall— 日经 Nikkei AsiaAfter US midterms, democracy will face test of ability to self-correct— 日经 Nikkei AsiaThai reformists became too technocratic, party ex-leader Pita says— 日经 Nikkei AsiaJapan bamboo chopsticks catch on in South Korea— 日经 Nikkei AsiaOn India's east coast, tidepooling inspires marine conservation— 日经 Nikkei AsiaWatch: Match of the Day— BBC Sport 足球AI dubbing to help Japanese companies expand global outreach— 日经 Nikkei AsiaIndonesia GDP, US midterm elections, Hong Kong financial summit— 日经 Nikkei AsiaPakistan refineries report 1,860% jump in profit amid war windfall— 日经 Nikkei AsiaAfter US midterms, democracy will face test of ability to self-correct— 日经 Nikkei AsiaThai reformists became too technocratic, party ex-leader Pita says— 日经 Nikkei AsiaJapan bamboo chopsticks catch on in South Korea— 日经 Nikkei AsiaOn India's east coast, tidepooling inspires marine conservation— 日经 Nikkei Asia

AI is shaking up math. But can its proofs be trusted?

Source Science 科学5d ago
Summary

As AI firms churn out math breakthroughs, researchers question use of Lean software as proof checker

We index headlines and summaries only. Full content and copyright remain with the original publisher — follow the source link to read it.

Open original
Desk
Science
Region
Americas
Language
English
Item ID
science-7502bfcd

Comments 0 comments

No comments yet. Be the first.

AI is shaking up math. But can its proofs be trusted? · Meridian Globe