spidersouris

It is also worth adding that the Association for Human Mathematics published a statement (which Tao reposted on his blog) in which they explicitly say the following:

> Mathematicians did not ask for this work to be done. The Advisory Group on Mathematics and Artificial Intelligence, from whom OpenAI has claimed to derive its legitimacy, opened their initial advisory statement by saying that frontier AI corporations should not test advanced mathematical problems on internal models. In ignoring the central premise of the Advisory Group’s position, OpenAI has indicated total disregard for the norms of scientific research — norms that guarantee that mathematics remains trustworthy, ethically researched, and in the public interest.

https://www.ahmath.org/

I guess what OP meant is automated and with 100% accuracy.

But at the same time, nothing specific was asked in the prompt, so the boring result may arguably be what is the most aligned with the original request. Personally, I wouldn't want a model to add fuss to something while I never asked for it.

The more I read about everything that has been written regarding AI regulation since the OAI/HF incident, and the more it reminds me of the nuclear arms race (although the potential consequences would possibly be very different). Surely, we managed to negotiate a Non-Proliferation Treaty with most of the countries of the globe. Cannot we take inspiration from that for AI?

That's a nice idea but I hate how every instruction step in the README is just "Ask your agent to do it". Not only does it make it harder and more time-consuming to understand how the general system is implemented, but it also dumbs down users. Do you think people checking your repo wouldn't be able to copy/paste a few commands or find an equivalent on their system?

> Once the AI starts applying to jobs

I guess that's already a reality? [1-2]

[1] https://github.com/jaimaann/LangHire

[2] https://github.com/adrianhajdin/job_pilot

(among many other similar projects)

The recklessness is moot though. We don't have direct access to how the models were prompted and asked to respond to certain events, so they could well have been incited to commit fraud or other illegal actions, in which case the persons in control should be held accountable as perpetrators.

On the same topic, it's been a while since I have tried to find the best product to treat canker sores, but I have never found anything better than solutions composed of carboxylic/mineral acid and alcohol, and even then, it hardly suppresses the pain and I have found the treatment time to be about the same whether I apply something or not. The dream would be to have something that make them disappear near instantly.

But dental scalers don't offer the advantages water flossers do for gums, do they? Plus, from whet I've read online, it seems that these devices need to be used after brushing, as opposed to water flossers which are used before brushing. And for dislodging food (especially with braces), water flossers remain the best tool.

The whole article screams Claude-written.

Interesting. Are there any other services lie this or is it the first of its kind?

It is both amazing and saddening to me how you can have such an arrogant view of a whole field with just taking a 101 course.

You don't have to be in school to learn!

Would also be interested in an invite, if anyone has any. Email on my user page.

Note that a similar idea had already been suggested by Shen et al. (2025) in Speculative Decoding via Hybrid Drafting and Rollback-Aware Branch Parallelism (https://arxiv.org/abs/2506.01979), but with lower performance.

> Gen AI reached 39% adoption in two years

Source?

I'm not sure what you'd call a "pioneering scientific advancement", but there is an increasing amount of examples showing that LLMs can be used for research (with agents, particularly). A survey about this was published a few months ago: https://aclanthology.org/2025.emnlp-main.895.pdf

If you want to bind Tab to Accept suggestions:

Set-PSReadLineKeyHandler -Chord "Tab" -Function AcceptSuggestion

And plug.dj!

What we also learned after GPT-3.5 is that, to circumvent the need for new training data, we could simply resort to existing LLMs to generate new, synthetic data. I would not be surprised if the em dash is the product of synthetically generated data (perhaps forced to be present in this data) used for the training of newer models.

For type only though.

FWIW, there is an open-source collaborative editor for Typst that was posted a couple of weeks ago on HN: https://news.ycombinator.com/item?id=45481791

Maybe you can use Touying Exporter: https://github.com/touying-typ/touying-exporter

To add on what's been said already on slide decks, another great slide creation package in Typst is touying[1]. I've used it to create my own academic theme[2] for courses or conference presentations.

[1] https://touying-typ.github.io/ [2] https://typst.app/universe/package/touying-unistra-pristine/

> The project was recently granted new funding so the research can get to market and benefit patients.

How is it now? Has this been extended to real use outside of research?

There is a repo: https://github.com/google-deepmind/synthid-text

There is no inherent need for humans to be "trained". Children can solve problems on their own given a comprehensible context (e.g., puzzles). Knowledge does not necessarily come from direct training by other humans, but can also be obtained through contextual cues and general world knowledge.

For the AI to say this or to produce the correct answer would be easily achievable with post-training. That's what was done for the strawberry problem. But it's just telling the model what to reply/what tools to use in that exact situation. There's nothing about "self-awareness".