←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. Sebguer ◴[] No.41845217[source]
I'd recommend finding more important things to be disturbed by.