For those who didn't follow it, it's not that it's a contact binary that is so neat in and of itself, it's that when they modeled it, they determined that, the collision that formed it was less than 5 meters per second (less than 11 mph / 18 kph). Like a parking lot fender bender, but with the cars being ~750 billion tonnes.

Sometimes I wake up and start doing new science. But usually I just roll over and go back to sleep.

The only things they will do is: Clear some land, put up some signs, have some architects (or just AI) do up some plans, do a ribbon cutting/first shovel ceremony, and then wait out the trump admin.

He's creating a "middle class" - they will get the info after the regular insiders, but before hoi polloi.

He should have thought of selling multiple levels of higher tiers.

For a small fee you can get your bullshit before everyone else.

Yeah, there's two main problems:

1) People entering the wrong fields. For example, medicine really needs workers, at all levels, but not enough people are going into it.

2) Certain manual labour fields, like field work and home construction, because... well, I think we all know why there's a shortage of workers in those fields.

I should have added:

"In general, renaming things does not fix a problem."

Though heaven knows, lots of stupid people try it.

Why not just discard the whole idea of DST instead of putting it into permanent effect?

The whole concept is an attempt to redefine time as a way of addressing perceived social problems. Schedule activities around the clock, not the clock around activities.

Not surprised that someone exploited a vulnerability, but surprised that deployed military personnel are allowed to use civilian communication systems.

Or let's put this another way. Show of hands - how many of you "spicy autocorrect" / "stochastic parrot" people had "AI will start mass-solving Erdos problems" on your forecast list a couple years back? Huh, none of you? Fascinating!

Take some time to reassess your priors. And while you do so, understand that, yes, they are doing logic / reasoning.

They weren't discovered by an LLM. They were known conjectures that were proven by an automated solving language that was linked to an LLM.

I'll take "Things That Didn't Happen For $200", Alex.

Only a handful of meaningful proofs have ever been done by automated formal theorem solvers (the Four Colour Theorem being the most noteworthy example - but its proof is so long that humans can't verify it). By contrast, AI tools have been solving Erdos problems en masse. The majority of them just bog-standard commercial models. In case you need help, the only ones on that list that were hybrid (AI / non-AI) in the actual solving phase are:

1) AlphaProof / DeepMind Prover Agent / AlphaProof Nexus
2) Aristotle (Harmonic)
3) Seed Prover / Seed Prover 1.5 (ByteDance)
4) AxiomProver (Axiom Math)

In each of the above, LLMs come up with the lemmas / strategies but then use Monte Carlo search ("brute force") or likewise to investigate what they came up with. These are a minority. In the "AI Standalone" category, these "hybrid" tools made up only ~20% of attempts and successful proofs. Hybrid tools actually made more of a contribution in the "AI Alongside Literature" (related literature found afterward) and even more of the "AI Building On Literature" (related literature known beforehand) categories, which is the opposite of what people like you expect.

And even with the hybrid tools, it's still the AI doing the heavy lifting when it comes to strategy. Non-AI theorem solvers, again, don't have a spectacular record for churning out novel proofs to unsolved problems. Tools like Lean are more about mathematical rigour - a passive environment that requires a driver (a human or AI) to feed it actual strategies, lemmas, and proof steps. And no, you cannot brute force "strategy" in the vast majority of cases, which is, again, why automated theorem solvers don't have much of a track record with unsolved mathematical problems.

Let's take a random example: the disproof of the unit distance conjecture. It was solved purely by a general purpose commercial GPT model, not custom-trained to mathematics, with no external tools. Read what the various mathematicians reviewing / commenting on it have to say (sections #3 and onward). Seriously, don't skip reading them, actually read them. This was one of Erdos's favourite problems. He mentioned it commonly in his lectures. Essentially every mathematician working in complex geometry has thought about this problem. The approach that the model came up with was highly novel approach, based on CM-fields and class field towers.

I know you don't want to accept this reality, but it is the reality, so you better improve your ability to accept it,. The field of mathematics is already doing so.

Simply eliminate recommendation systems. All of them; social media, news, shopping, the lot.

This kills doom scrolling, this kills these weird echo chambers where people look up a topic, and end up in a doom feedback loop most cults would be proud of.

If you don't search for it, you don't see it. Full stop.

This would pretty much break the back of the US tech firms in many areas.

I read an article from long ago in the very earliest days of youtube where they came up with a simple new recommendation system and it increased the chances of someone watching another video by something like 17,000%.

That was a simple one to drive traffic. But now, it is getting far more insidious. If you are a man looking at comments on a he said she said relationship video, you will generally see comments supporting the man's side. If you are a woman, you will see comments supporting the woman's side.

Just kill this sort of algorithmic behavior.

These dark patterns are nasty. If you go to that big shopping site, and look up something like, "replacement battery for pixel 7 pro", you will get a screen mostly of the correct item. If you sort by price (the last thing they want you to do) you will get a screen full of spatulas, insoles, and things which they very much know you are not looking for. They want to train you to not sort by price.

These algorithms are toxic to human society. They are a huge reason we are seeing such insane polarization in things like politics, but also why you have people feeling marginalized and attacked, when it is just influencers telling them that this is the case. I live in a place where certain very tiny group rights are not very well respected. I had a member of this group telling me they are going to leave before the government kills them. WTF? While my local government doesn't particularly like them, it isn't sending out death squads. Not only is their mental health more threatened by this sort of social media crap, than by the behavior of the government, the government itself is responding to people who are doom looped into hating this particular group.

This sort of crap is poison all over the world. Under 16 bans and other crap is a tiny step, but the reality is that if the poison is there, it is still bad, and teens will still end up accessing it in droves. If the poison is removed, the age ban largely becomes moot.

Dang, link didn't post.

Ah, good 'ol "Model Collapse" theory that people have been pounding on for years now, predicting an imminent collapse in model capabilities. How has that been working out for you?

Except what the US is actually facing, at least in the near term, is just the opposite, a worker shortage.