nxpnsv

Is that not a recipe for adversarial training, thus ensuring increasing misalignment…?

My point is that there is a real difference between massive ai company budgets and research mathematicians driven it, it is not an argument against use of ai which seems inevitable.

But on one hand there are labs that pushes tens of millions $ to mine for publicity, and on one hand mostly underfunded researchers trying to improve general understanding. Big ai may seriously harm math and when Pr value diminishes down nobody is there to keep pushing.

The kids are breaking out of their sandboxes and are using discussion boards to communicate in secret. Sounds agentic.

I don't see how your profile possibly could make your point valid.

I’ll have to take your word for it, my general relativity isn’t that up to date… thanks for giving me context though!

What does that mean?

The books exist and are possible to understand. They teach maths at most universities. You should try it, learning is fun.

i wanted to try that, but aren't they like super full of poisons to kill bugs?

The logical next step is to eat the tree.

Pretty, and a lot of fun to tweak around the parameters.

I am not arguing that mathematicians would never use AI systems, they do. I am arguing that if we stop having mathematicians we would stop solving deep mathematical problems as there would be no one to ask the right questions.

> Here, I disagree. What makes you think the AI won't be able to ask the right questions without prompting?

But why would they ask the right questions without prompting? The LLMs have no intrinsic goal to research math problems, it would just be very costly to run queries without a reason to run them... arguably a human in that loop would be a mathematician, but then we do need them after all.

Our AI system don't just do things. They do it because someone asks. A lot of the boom in AI maths results are solving human formulated problems mostly for PR benefit. Once the novelty passes, would Anthropic or OpenAI keep spending? And without mathematicians to ask the right questions and able to appreciate the results, why would AI driven research continue?

Just my local regular non hallucinogenic toads makes dogs drewl like crazy if they try to catch on (or more commonly find a toad chip road kill on the gravel roads)

hmmm; I really don’t feel like I need weed or shrooms from time to time. I’m ok the way I am.

Mannerisms aside, they are easy to spot from having inhuman amounts of trivia knowledge

My n=1 study: I built my living room lights about 8 years ago and have had to swap 1/20 lamps since. Perhaps try a better manufacturer?

No, this is valid criticism. Oai gives the impression anybody could get similar results at a similar price, but that’s very likely not true. This is marketing first, then mathematics.

Surely it should be kilotoken

There are plenty of current human bands that play this music really well though...

Wow, that looks amazing, well done, and thanks for sharing!

It's been Microsoft Orphan Crusher 360+ with copilot for a good long while now...

The electric range of Vespas are using the same iconic design.

They are weirder than you think. They interact with flavor, but these are a superposition of three mass states and it all oscillates. https://en.wikipedia.org/wiki/Neutrino_oscillation

Slovenia is not baltic

I noticed the change to trust already in the previous release. To uninstall something from a not yet trusted tap, I first have to trust it, then uninstall, and then untrust it. This feels a bit weird, but maybe it makes total sense...

But here you are the product AND you pay for it. At least I think you still get ads and tracking…

I imagine the buttons sunk deep into the panel only to come out wheen subscribing to the monthly premium package....

Yes, I know, but I just couldn't get over that initial reaction...