Singularity

131 readers

1 users here now

Everything pertaining to the technological singularity and related topics, e.g. AI, human enhancement, etc.

founded 1 year ago

MODERATORS

Twitter: A thread of a researcher sharing his team's findings on whether or not LLMs can help create Math proofs, competing against humans. Summary: none of them really could get far, until o1 cam... (x.com)

submitted 2 weeks ago by bot@lemmit.online to c/singularity@lemmit.online

0 comments fedilink hide all child comments

This is an automated archive made by the Lemmit Bot.

The original was posted on /r/singularity by /u/TFenrir on 2024-10-02 19:57:26+00:00.

Original Title: Twitter: A thread of a researcher sharing his team's findings on whether or not LLMs can help create Math proofs, competing against humans. Summary: none of them really could get far, until o1 came out.

Very technical but fascinating read, they share the preprint of the study at the end.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here