2026年11月2日星期一
M
Всеобъемлющее обозрение
Глобальные новости
Myanmar refugees fill labor gaps in Thailand as Cambodians return home— 日经 Nikkei AsiaOriental Kopi founder wants to put Malaysia on the menu— 日经 Nikkei AsiaIndonesian political maneuvers hinder market reforms amid downgrade threats— 日经 Nikkei AsiaChinese Communist Party taps big data surveillance to combat corruption— 日经 Nikkei AsiaJapan is attracting startups. But can it keep them?— 日经 Nikkei AsiaMitsubishi Heavy gears up to boost US gas turbine production— 日经 Nikkei AsiaNuclear reactors under construction rise to 79 globally on AI demand— 日经 Nikkei AsiaAI dubbing to help Japanese companies expand global outreach— 日经 Nikkei AsiaMyanmar refugees fill labor gaps in Thailand as Cambodians return home— 日经 Nikkei AsiaOriental Kopi founder wants to put Malaysia on the menu— 日经 Nikkei AsiaIndonesian political maneuvers hinder market reforms amid downgrade threats— 日经 Nikkei AsiaChinese Communist Party taps big data surveillance to combat corruption— 日经 Nikkei AsiaJapan is attracting startups. But can it keep them?— 日经 Nikkei AsiaMitsubishi Heavy gears up to boost US gas turbine production— 日经 Nikkei AsiaNuclear reactors under construction rise to 79 globally on AI demand— 日经 Nikkei AsiaAI dubbing to help Japanese companies expand global outreach— 日经 Nikkei Asia

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

Источник Science 科学6 дней назад
Аннотация

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

Сайт предоставляет только заголовки и индексы аннотаций; полный контент и авторские права принадлежат первоисточнику. Для чтения перейдите по ссылке на оригинал.

Перейти к оригиналу
Канал
Наука
Регион
Америка
Язык оригинала
English
Номер записи
science-7502bfcd

Comments 0 comments

No comments yet. Be the first.

AI is shaking up math. But can its proofs be trusted? · Всеобъемлющее обозрение