lajamerr

You can tell an agentic system. "Go and find a novel area of math that has unresolved answers and solve it mathematically with verified properties in LEAN. Verify before you start working on a problem that no one has solved this area of math"

That's not creative prompt. That's a driving prompt to get it to start its engine.

You could do that nowadays and while it may spend $1,000 to $100,000 worth of tokens. It will create something humans haven't done before as long as you set it up with all its tool calls/permissions.

LLMs by themselves are not able to but you are missing a piece here.

LLMs are prompted by humans and the right query may make it think/behave in a way to create a novel solution.

Then there's a third factor now with Agentic AI system loops with LLMs. Where it can research, try, experiment in its own loop that's tied to the real world for feedback.

Agentic + LLM + Initial Human Prompter by definition can have it experiment outside of its domain of expertise.

So that's extending the "LLM can't create novel ideas" but I don't think anyone can disagree the three elements above are enough ingredients for an AI to come up with novel ideas.

So a mishmash of ideas from other papers(Not to downplay the results). This is exciting times of hackery and basically using puzzle pieces and piecing together stuff.

This is the kind of stuff that can only be done so quickly by having more and more people brought into the field to try these ideas out. The more people the more permutations of ideas.

128 bits*

I assume he means with the encrypted metadata in HTTP/3 / QUIC that it makes it harder as a security admin to "peek" at what is going on in the network.

In my opinion its short sighted, because if we care about security, then we should care about user security and privacy as well. Because if the security admin has the ability to packet inspect stuff, so does a potential malicious app.

Change up the model. That allows it to see previous frames and 1-2 future frames.

Then train the model on movies that are color and then turn them black and white.

That way you can train temporal coherence.

Probably the same sentiment between DLC vs Expansions in gaming.

But fundamentally no difference because you are getting a discounted price in exchange for the soft locked feature. So 2 and 3 are the same imo.

For context Terence Tao is often referred to as one of the greats of modern mathematicians of our time.

He also has a Mastodon account where he sometimes goes over the implications of LLMs and in this post is his musings of how he sees it's current potential and possible impact in the near future for mathematics.

"The 2023-level AI can already generate suggestive hints and promising leads to a working mathematician and participate actively in the decision-making process. When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well."

Thanks, I just hope this is sustainable. I like newsletters and the site design is simple and basic. I hope there's some way you can set up like a monthly contribution of like $1-$5 to pay for some of the hosting/API costs.

The main concern though for me is long term vision for the site. I'd really like it to stay user/community oriented and hopefully the users can pay for the costs with donations/contributions.

AI can efficiently teach your daughter how to solve math problems, but as a human, you can provide her with the context and understanding of why and what she's learning. AI is great at handling the technical aspects, freeing us to focus on cultivating our uniquely human qualities of empathy, creativity, and critical thinking. Letting the AI teach the how and the human teach the why and what can lead to a more holistic and enriching education.

Me with not much background experience in programming not knowing what RoR stood for.

Me asking ChatGPT:

In this context, RoR most likely refers to Ruby on Rails, which is a web application framework written in the Ruby programming language. The second comment is suggesting that people had similar dismissive comments about Ruby on Rails (RoR) when it was first introduced, but it has since become a widely used and respected framework in web development. The comment implies that similar trends may apply to AI tools used for web design.

I wouldn't necessarily say it learns how a human would. But instead learns how an arbitrary brain would.

There's all kinds of brains in this world from all kinds of life. A dog can learn. A cat can learn. And they don't learn like a human would.

Even though Whisper advertises the translation part of it. I honestly wouldn't say it's a first class feature at least part of the Whisper model itself.

The only thing I'd use Whisper for is transcription part of it. Then use ChatGPT for the translation.