(www.theguardian.com)

424 points notamy | 1 comments | 15 Oct 24 03:12 UTC | HN request time: 0.204s | 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.

1. dang ◴[15 Oct 24 06:38 UTC] No.41845620[source]▶

World conker champion found with steel chestnut, cleared of cheating