Kotlopou

6 ms·

1.
The Age of Wonders and Terrors(scottaaronson.blog)
42 points by Kotlopou 1d ago|6 comments
2.
by Kotlopou 7d ago
Inventing calculus to calculate pi? I don't think that ever happened...
3.
by Kotlopou 7d ago
Okay, from the actual linked article it seems that their partial result was finding blowup in Euler equations, which seems pretty big. I wonder how the other attempts went. Did they get nothing at all, or something true but unimpressive?
4.
by Kotlopou 8d ago
I do remember when hearing about Simón Bolívar's crossing of the Andes ( https://www.youtube.com/watch?v=Ju7nJjprbQg ) "I wish I had this guy's energy and drive". Some people just seem to be on another lev
5.
by Kotlopou 8d ago
Elsewhere in this thread somebody claimed that at some point OpenAI pointed their new model at all the millennium problems and this is where they got some progress. We probably won't see proof of this, but it seems plausible to me -- I
6.
by Kotlopou 8d ago
Since he wrote this five days ago, when these efforts were already underway, if he was not Terence Tao I would suspect he had inside access. But since he said he did not and was speaking hypothetically, and he seems to be an honest person a
7.
by Kotlopou 8d ago
Where did you get the human figure?
8.
by Kotlopou 8d ago
Not all, see the cycle double cover conjecture proof: https://news.ycombinator.com/item?id=48863490 But yeah, Terry Tao considered this exact situation in advance and is on record that this exact outcome (rushing to priorit
9.
by Kotlopou 8d ago
Why do so many people involved here have to communicate in this childish way? You have people on the OpenAI side doing playground taunts ( https://xcancel.com/polynoamial/status/2097215233119211902 ) and Levent Alpö
10.
by Kotlopou 8d ago
There has been the proof of the cycle double cover conjecture: https://news.ycombinator.com/item?id=48863490
11.
by Kotlopou 8d ago
Unshortened: https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8...
12.
by Kotlopou 8d ago
It has been one hour and the proof has 165 pages. Give them some time.
13.
by Kotlopou 8d ago
No idea about which is more likely, but I'm rooting for Yang-Mills. It's absurd that fundamental physics has formulated its most precise currently known theory way back in the seventies and since then, even a tiny subset of it can
14.
by Kotlopou 8d ago
For now I think more or less the same thing as with all recent math announcements: This is in a range where human work still exists (see Terry Tao, (1)). I wonder whether the trend will extend into the problems that (as far as I can tell) a
15.
by Kotlopou 12d ago
I don't particularly believe this (I'm not an expert in anything computer-y, let alone security, so the only thing I know is that people who seem respected here (like simonw) point out that the sandbox from OpenAI was at least ver
16.
by Kotlopou 12d ago
You're right, I'm prejudiced against Quanta (often IMO they look for a clean narrative to the point of misleading and/or rely too much on metaphors) and was probably too harsh here. Sorry! That said, I don't like them be
17.
by Kotlopou 12d ago
This paper is a pet peeve of mine. Look at the appendix! On page 22, you see a typical conversation people were judging based on. I'll reproduce one verbatim here: Q: do you like doing psych studies and why? A: theyre chill, easy money
18.
by Kotlopou 13d ago
I would be curious about Bongard problems, because they require no domain-specific knowledge and it's so easy to make new ones that are in no training set. There's enough of an explanation here: https://matthodges.com&#
19.
by Kotlopou 13d ago
(not the person you replied to) I have no idea what you're hoping the contribution would be. The AdS/CFT correspondence is 29 years old by now and it doesn't seem to apply to our spacetime, where the cosmological constant see
20.
by Kotlopou 13d ago
This might just not be possible at the current time. In 1899, there was an "experimental overhang" in physics -- results that could not be explained theoretically (Michelson-Morley, but also lots and lots of empirical material&#x2
21.
The Last Bit per Character(beatingthehydra.substack.com)
2 points by Kotlopou 1mo ago|0 comments
22.
by Kotlopou 1mo ago
Could you share a link to this paper? A quick search only found reports about this Claude result and a bunch of crank proofs of RH. Edited to add: Found a conversation between actual mathematicians that probably could be used to track this
23.
by Kotlopou 1mo ago
The oldest unanswered math problem known, based on ( https://mathoverflow.net/questions/27075/what-is-the-oldest-... ), is whether there are any odd perfect numbers (= numbers that are equal to the sum of their divi
24.
by Kotlopou 1mo ago
Came here looking for this, sadly there's little engagement with the actual math in this thread. I hold out hope that Scott Aaronson might comment on the circuit bound eventually...
25.
by Kotlopou 1mo ago
I've seen this "everything is a remix" idea thrown around a lot, and always want to ask... so how did anything get started? What was the first cave-dwelling carver of a bone flute remixing? What was Alan Turing remixing to co
26.
by Kotlopou 1mo ago
I recently read a blogpost from a human neuroscience student who came across this question ( https://ccli.substack.com/p/the-biggest-mystery-in-neuroscie... ), and she looked up the study behind this number ( https:&#x2F
27.
by Kotlopou 2mo ago
I was curious what fruit fly brain simulation you meant, and after fifteen minutes of looking around I ended up at a LessWrong writeup by an author from something called the Brain Preservation Foundation -- which presumably has an optimisti
28.
by Kotlopou 2mo ago
Indeed a classic (upvoted!), but it presupposes that there is a theory of everything that can be used to perfectly simulate the universe, and I'd like to remind everybody that we still don't know whether such a thing exists. Nor d
29.
Anecdotes Everywhere, Evidence Almost Nowhere (The State of AI in Mid-2026)(secondthoughts.ai)
2 points by Kotlopou 2mo ago|0 comments
30.
by Kotlopou 2mo ago
I swear I've seen this exact UI in several other submissions recently. Is it the default produced by Claude if you don't specify anything?

More ›