←back to thread

424 points notamy | 1 comments | | HN request time: 0.339s | 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. vultour ◴[] No.41846327[source]
I'd rather read and learn about conkers than another snake oil AI / crypto blogspam.