Path: ...!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: FYI, a snapshot of the open math copilot race
Date: Tue, 20 May 2025 07:54:20 +0200
Message-ID: <100h5ec$316g$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 20 May 2025 05:54:20 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="99536"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.20
Cancel-Lock: sha1:89T94kPm/OjkBq6rAfWH88YzJ1Q=
X-Mozilla-News-Host: news://news.solani.org:119
X-User-ID: eJwFwQkBACAIA8BK8m0YB0X6R/AuDIJLR8BjYmpWS3Zu0tBTaVmUss1U9jFevFn2sLwYAM5R9WQUtebJB0q+FRc=
Bytes: 1063
Lines: 3


 From AIMO Competitions to Math Copilots for Research
Simon Frieder | Datasets for Math
https://www.youtube.com/watch?v=XUp3IM66AQA