golol (u/golol) - Readit News

golol commented on Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover imperialcollegelondon.git... · Posted by u/ljlolel

kevinbuzzard · 3 days ago

That is correct, the title is currently misleading (arguably the title of every paper I ever wrote was misleading before I finished the work, I guess, and the work linked to above is unfinished). If you are interested in seeing more details of the proof I'll be following, they are here https://web.stanford.edu/~dkim04/automorphy-lifting/ . This is a Stanford course Taylor gave this year on a "2025 proof of FLT".

golol · 3 days ago

Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.

golol commented on AI is predominantly replacing outsourced, offshore workers axios.com/2025/08/18/ai-j... · Posted by u/toomuchtodo

simianwords · 5 days ago

What you are saying is not intuitive. Software engineers are a cost to software companies. With automation the profits would increase so I’m not sure how it can lead to recession.

golol · 5 days ago

More middlemen = more revenue/GDP, right?

golol commented on LLMs tell bad jokes because they avoid surprises danfabulich.medium.com/ll... · Posted by u/dfabulich

golol · 7 days ago

IMO many misrepresentations. - pretraining to predict the next token imposes no bias against surprise, except that low probabilities are more likely to have a large relative error. - using a temperature lower than 1 does impose a direct bias against surprise. - Finetuning of various kinds (instruction, RLHF, safety) may increase or decrease surprise. But certainly the kind of things ained for in finetuning significantly harm the capability to tell jokes.

golol commented on Open models by OpenAI openai.com/open-models/... · Posted by u/lackoftactics

robwwilliams · 18 days ago

Well river crossings are one type of problem. My real world problem is proofing and minor editing of text. A version installed on my portable would be great.

golol · 18 days ago

I heard the OSSmodels are terrible at anything other than math, code etc.

golol commented on Gemini 2.5 Deep Think blog.google/products/gemi... · Posted by u/meetpateltech

lynx97 · 22 days ago

I am surprised such a simple approach has taken so long to be actually used. My first image description cli attempt did basically that: Use n to get several answers and another pass to summarize.

golol · 22 days ago

People have played with (multi-) agentic frameworks for LLMs from the very beginning but it seems like only now with powerful reasoning models it is really making a difference.

golol commented on Intel CEO Letter to Employees morethanmoore.substack.co... · Posted by u/fancy_pantser

dreamcompiler · a month ago

I dunno. I can build a CPU from a bucket of transistors, design an ISA for it, microcode it, and write an OS for it in assembler. But games bore the shit out of me.

Except flight simulators. They're great as long as they have realistic physics.

golol · a month ago

so... you are into games

golol commented on Fei-Fei Li: Spatial intelligence is the next frontier in AI [video] youtube.com/watch?v=_PioN... · Posted by u/sandslash

polytely · 2 months ago

my theory is that aphantasia is purely about conscious access to visualizing not the existence of the ability to visualise.

I have aphantasia but I would say that spatial reasoning is one of the things my brain is the best at

golol · 2 months ago

How does one determine they have aphantasia? How do you know that you are not doing exactly this thing people call visualizing when you perform spatial reasoning?

golol commented on Fei-Fei Li: Spatial intelligence is the next frontier in AI [video] youtube.com/watch?v=_PioN... · Posted by u/sandslash

niemandhier · 2 months ago

Regarding sparse, nonlinear systems and our ability to learn them:

There is hope. Experimental observation is, that in most cases the coupled high dimensional dynamics almost collapses to low dimensional attractors.

The interesting thing about these is: If we apply a measurement function to their state and afterwards reconstruct a representation of their dynamics from the measurement by embedding, we get a faithful representation of the dynamics with respect to certain invariants.

Even better, suitable measurement functions are dense in function space so we can pick one at random and get a suitable one with probability one.

What can be glanced about the dynamics in terms of of these invariants can learned for certain, experience shows that we can usually also predict quite well.

There is a chain of embedding theorems by Takens and Sauer gradually broadening the scope of applicability from deterministic chaos towards stochasticly driven deterministic chaos.

Note embedding here is not what current computer science means by the word.

I spend most of my early adulthood doing theses things, would be cool to see them used once more.

golol · 2 months ago

What field of mathematics is this? Can you point me to some keywords/articles?

golol commented on The cultural decline of literary fiction oyyy.substack.com/p/the-c... · Posted by u/libraryofbabel

jl6 · 2 months ago

> Books like Pride and Prejudice, War and Peace, The Brothers Karamazov, etc still sell many thousands of copies every year, more than even big hits in contemporary literary fiction.

I think the author skips past the real answer right here. The old books haven’t gone away. Even if we assume there are good new books, they have to compete with the supply of existing books, which grows without bound - unlike the time and attention of consumers.

Every form of media has this problem. A human lifetime can only consume so many books, so many films, so many hours of music. A new movie comes out: what are the odds of it being more worth your while than one on the existing IMDb Top 1000? Decreasing.

Books are no different. What are the odds that something new is going to displace something existing off the shortlist of greats that you already don’t have time to read?

golol · 2 months ago

I would say every genre of media has this problem. A form of media might exist for thousands of years, but genre and fashion always evolve in new directions, because what's the point of creating more of what exists already.

golol commented on U.S. bombs Iranian nuclear sites bbc.co.uk/news/live/ckg3r... · Posted by u/mattcollins

AlecSchueler · 2 months ago

Nope, Islamism is an extreme position so that gets you no further in the answering the question. What set the stage for an Islamist majority? Again I assert that extreme politics don't develop in vacuums.

golol · 2 months ago

The thing is it doesn't help. Yes of course the horrible situation of the palestinians promotes extremism, but you still have to face that there is a lot of extremism. What was Israel to do before October 7 (besides making sure Oct 7 could not happen)? Of course there are ppints where history could have gone in a better direction but I really don't see an easy way for Israel to achieve a better situation. Say they had withdraw from the west bank in 2018 for some reason. Who says that Oct 7 would still not have happened on a much greater scale? In fact I find it quite likely that it would. And then you might be looking at 3000 dead Israelis instead. The only rational reason for the Oct 7 attacks I can see is that Hamas wants to incite as much violence as possible to put as much political pressure as possible on Israel due to the inevitable retaliation. So Oct 7 would have made even more sense, as the deoccupation of the west bank is far from the total of their political goals.