Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!news.killfile.org!.POSTED.port-92-196-229-101.dynamic.as20676.net!not-for-mail
From: nobody@nowhere.invalid (clicliclic@freenet.de)
Newsgroups: sci.math.symbolic
Subject: neuro-symbolic AlphaGeometry tackles olympiad geometry
Date: Tue, 30 Jan 2024 23:41:53 +0100
Organization: Killfiles, Unlimited
Message-ID: <65B97B31.C84BB2AA@nowhere.invalid>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Info: flea.killfile.org; posting-host="port-92-196-229-101.dynamic.as20676.net:92.196.229.101";
logging-data="753431"; mail-complaints-to="news@news.killfile.org"
X-Mailer: Mozilla 4.75 [de] (Win98; U)
X-Accept-Language: de