Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mild Shock)
Newsgroups: sci.logic
Subject: Terence Tao, "Machine Assisted Proof"
Date: Tue, 27 Feb 2024 17:02:24 +0100
Message-ID: <url12e$m5i4$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 27 Feb 2024 16:02:22 -0000 (UTC)
Injection-Info: solani.org;
logging-data="726596"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:J7KuKAQBQNE6lLMwrUzj41ND1kI=
X-User-ID: eJwNyMERACAIA7CVAKXCOFKO/UfQZ+ILCp4Nx/bxCXGeuWHL0TQU7MjOBCYh/NlU1/6ktNjUZaC1KKUr8gE9QhU5
X-Mozilla-News-Host: news://news.solani.org:119