What mathematicians should know about the Lean Theorem Prover: reliability & AI
URL статьи: https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/ URL-адрес комментариев: https://news.ycombinator.com/item?id=50024090 Очки: 113 # Комментарии: 22
Читать полный текст в источникеterrytao.wordpress.com — terrytao.wordpress.com
Материал собран автоматически из открытых RSS-источников. Пересказ приведён в информационных целях в соответствии со ст. 1274 ГК РФ с указанием первоисточника; полное воспроизведение не осуществляется. Мнения авторов оригинала не обязательно отражают позицию ООО «АЛТЕЯ». Все источники проверены по реестру СМИ-иноагентов Минюста РФ (255-ФЗ).
Ещё по теме
Индустрия
We urgently need to monitor AI agents’ actions in real time
29.10.2026, 16:11 МСК
Индустрия
I Used AI to Fake a Scientific Paper. Here's What Happened
29.10.2026, 16:08 МСК
Индустрия
MicroZig to Adopt Strict No LLM / No AI Policy
29.10.2026, 06:30 МСК
Индустрия
Qwenputer: A functioning, deterministic RISC-V CPU inside Qwen3.5
29.10.2026, 06:25 МСК