←back to thread

424 points notamy | 1 comments | | HN request time: 0s | source
Show context
hettygreen ◴[] 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 #
qwertox ◴[] No.41845156[source]
I'm also pretty disturbed by it being here. Even worse on place #1.
replies(5): >>41845217 #>>41845224 #>>41845225 #>>41846327 #>>41848225 #
1. winwang ◴[] No.41845225[source]
#1 does feel a bit much but I don't mind getting a kick out of titles/situations which could be interpreted immaturely.