niemandhier

That is how I have been thinking about LLM reasoning pretty much since it arrived.

I am not sure I support his statement about RL “searching for successful paths and then training the model to reproduce them”.

Don’t we train the model to use a certain method to explore the space in search for an answer?

As soon as you have tool calling and a way to verify your result, such as a theorem prover for example you are essentially running an optimization algorithm.

The creation of tools to circumvent security measures that protect “data”, is punishable by up to 2 years in prison under vague conditions here.

So anything that would build skills towards being able to crack an iPhone is at least legally ambiguous.

The famed “§ 202c STGB: Vorbereiten des Ausspähens und Abfangens von Daten”, colloquially called the “hacker tools” law.

It’s even funnier: I am not allowed to do projects that allow me to gain the skills I would need to build this tech in Germany. Yet my government buys.

Things were build by passionate people, who had the skills and the means to do it.

I feel that modern tech first took away the passion, by making everything a product, than took away the means by making everything cloud, and now kills the skills by eutrophizing our brains with AI.

There is no cabal of evil tech that pushes this, but the results are the same.

He is also a member of the association of human mathematicians.

“ 1. Members commit to not working with commercial AI companies by providing technical labor, mathematical knowledge, consultation, or publicity.

2. Members commit to not publishing mathematical texts (including papers, reviews, referee reports, lecture notes, teaching materials, and books) generated by AI models. Members only publish their own writing, as opposed to outputs of AI tools. We affirm that mathematical writing should have human authorship. “

https://www.ahmath.org/members

Some young giants of the field discuss AI in math.

We all know Terry Tao, do you know Peter Scholz?

Fields medalist and as Tao listed as one of the most important mathematicians of our age.

Scholz is known to find „precisely the correct and cleanest way to incorporate all the previously done work and find an elegant formulation for that — and then, because he found really the correct framework, go way beyond the known results“

In a way that man is the complement of an AI, he generates understanding rather than just proofs.

Maybe he is the right template for the mathematicians of the future.

https://www.quantamagazine.org/peter-scholze-and-the-future-...

They want to tax hyperscalers and streaming services, but you have to do it via side channels to not directly confront the US.

The uploading entity pays, even if not in France.

It is a courageous experiment, I wish them the best.

I hope they are confident enough to reach out to people who can help them in matters where not smarts but experience is needed.

Just came back from GTC Europe and a significant part of the demos used that.

I had never heard about it before.

TIL that I should not confuse „ Agility Robotics“ and „Agile Robots“.

Both build humanoids, but apart from that the companies are quite different.

This makes me appreciate being in a stable relationship.

My wife and I have completely different careers, over the years it happened again and again that one of us would be better positioned than the other but the status quo remained stable.

I think in a world of machines, human relationships will be much more important.

We all know that to perform you need to have „skin in the game“ and „own a stake“, why should it be different with neighbourhoods?

One of the soviets great problems was people not caring about property, as they did not own it.

It’s interesting to see so many people demanding that home owners have less influence.

My observation is, that whenever residents have little say in how their area develops they dissociate. Trash on the streets and decay and follow.

The email dump seems to show that AFD is indeed far far right wing, and tired to brand itself as something different, or did I misinterpret the content?

They commit all the crimes already. If afd was anything but a political party, the security agencies would investigate them using those measures.

The thing a CERN is: You have some of the smartest and most educated people on the planet, and they are all super motivated to excel.

It’s one of the coolest environments one can be in. You can righteously wall yourself into a room and solve a problem.

I do hope that this is the start of something cool.

I looked at the diffs, they are moderately sized and well readable.

Nothing like the 2k loc people tend to commit with LLMs.

One can work with commits and MRs like that.

I usually don’t care for the price.

I care for the return policy and warranty being attached to an entity that will still exist in 6 month.

Teams are international already. Why do they bring people to the US at all?

A nice office in Bukarest or Krakow or if you really need Munich or Zürich is good enough for most Europeans. I am sure there are equally nice places in Asia.

Optogenetics is one of the most scify technologies I ever had the pleasure of working with:

Imagine implanting a light guide and then setting a translucent port to allow a pathogens safe way to couple into nerves deep inside the brain, imagine transient gene therapies that introduce channelrhodopsins and holographic projections that create volumetric excitation patterns.

Seriously, thinking machines are super impressive, but that stuff really alien in its possible applications.

My prediction is that true neural interfaces will be based on light not wires.

I think at the moment the main thing a sovereign AI model needs to be good at is auditing the results of other models.

Right now one could run an open model for most government applications and it would be good enough, you just cannot trust any of these.

So having a sovereign controlled model audit the first one would basically act like a “trust adapter”.

If the second model is cheap and fast enough, there is a business model.

You don’t even need to audit all the intermediate steps, just tool calls and end results.

I admire your optimism for the future. I cannot share it despite living in peace, stability and a region much les affected by planetary changes than others.

I have no stake in this conflict.

The flip side of your statement is that more nations than before decided to recognize a Palestine state and that it seems for the first time in decades US support for Israel is waning.

Israel is military and economically strong. It’s also a small country in a difficult region that needs trade partners and international connections, probably more so in a future full of climate change.

The sad thing is that in a way the terrorist won.

Internationally Israel is probably positioned weaker than before and there is a fissure running through liberal societies from Ireland to France, from Portugal to Germany and probably similar in the US.

This is conflict polarizes. A good example is the recent election in Berlin, which was focused on the housing crisis but now devolved into name calling based on how people think of Israel. A minority might have voted “pro Palestine” but most people wanted affordable flats.

Sowing dissent among your adversaries is very effective.

Well I don’t. Had the stuff prescribed as a kid, it did not help at all, turns out: I just was terminally bored at school.

Based on that I almost dissuaded friends to get their kid medicated, luckily they did follow the doctors recommendation. The child is much happier now and regained trust in his own self-efficacy.

Society grants you the right to enforce what we call intellectual property. Enforcing that concept is rather new, and some of humanities biggest cultural works predate it.

The timespan for which we grant a creator the sole right to decide about his work is arbitrary and, last but not least, almost all of our cultural works are derivative in nature, so what actually is our own work is equally arbitrary defined.

In the existing framework he can do what he did, but the current one is not the only possible.

But does it matter?

We probably all agree that it is bad to give kids pills to make them more quiet.

If you however have a young person that is honestly suffering from what they themself perceive as a “condition” and there is a stimulant that helps, why not apply this as a treatment?

We could stop calling it a Syndrom and just declare the people who benefit from the medication as lucky ones.