←back to thread

World conker champion found with steel chestnut, cleared of cheating

(www.theguardian.com)
424 points notamy | 1 comments | 15 Oct 24 03:12 UTC | HN request time: 0s | source
Show context
hettygreen ◴[15 Oct 24 04:46 UTC] No.41845030[source]▶
This article on hackernews reads the same as "Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data" would on conkernews.
replies(4): >>41845156 #>>41845620 #>>41848006 #>>41848640 #
1. oytis ◴[15 Oct 24 13:56 UTC] No.41848640[source]▶
I'm not into AI, so both read approximately the same to me.