Zulip Chat Archive
Stream: triage
Topic: issue #17919: Q: ChatGPT etc. trained on mathlib and tests
Random Issue Bot (Jan 03 2023 at 14:08):
Today I chose issue 17919 for discussion!
Q: ChatGPT etc. trained on mathlib and tests
Created by @Wes Turner (@westurner) on 2022-12-13
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Jan 04 2023 at 00:44):
That doesn't look like an issue to me, it's a question.
Last updated: May 02 2025 at 03:31 UTC