Related posts
dynomight Blog
The the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Top people
Showing Profile →
Hiding
Hiding
1 September
10 August
-
Their words
My current conjecture is hybrid is that humans working alongside AI would help us to solve these problems whose solutions have yet to be invented.
31 July
-
korrents.com
Models can prove monumental theorems and still have never written an essay worth reading.Their words
I mean, it's very interesting, right? Because these can prove the Jacobian conjecture, you know, whatever. Uh and so clearly they're capable of these monumental feats. Um but somehow I still haven't read the LLM essay that I found super compelling.
15 July
-
Their words
While in mathematics AI agents are starting to have a major positive impact on research (e.g. by resolving the Jacobian conjecture), the situation is very different in hep-th.
30 June
-
Their words
I think the way that you'd measure conjecture generating ability is going to be more subjective on like that tone shift where um it'll be mathematicians saying they're not just using it to like solve their problems, but as they step back and decide what their research field should even be that a conversation with such and such model like was genuinely helpful for that.
26 June
-
Their words
Um but it would be possible and it would have been possible for somebody to disprove the erdos unit distance conjecture before we did using a general purpose model. And nobody had explored sufficiently what happens if I put $100,000 worth of compute into 5.5 what could it do?
23 May
23 July 2025
-
Their words
So picking the right question is the hardest part of science and making the right hypothesis. And that's what today's systems definitely they can't do. So I often say it's harder to come up with a conjecture, a really good conjecture than it is to solve it.
14 June 2025
From one piece Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472 2 beliefs, in the piece's order there
-
Their words
I can tell you with complete certainty the twin prime conjecture is true. The random model gives overwhelming odds it is true, I just can't prove it.
-
Their words
Yeah, this decade I can see it making a conjecture between two things that people would thought was unrelated.
21 December 2023
-
Their words
While there are interesting theoretical arguments for these causes, there’s a disconnect between an almost-neurotic focus on hard evidence of effectiveness in some areas of EA and a willingness to accept extremely abstract and conjectural “evidence” in others.
21 November 2023
Nothing matches.
What is a korrent?
A korrent is a belief a person has stated in their own words: one sentence stating the claim, backed by a quote and a source, kept at korrents.com.
Under a name here, the quoted block is what they actually said. The korrent beneath it is the claim those words support, in korrents' wording — tap it to see the record, its source, and who else holds it.
Nobody here wrote their own korrents. They are compiled from public statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.
Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.