orourke

I'm not a mathematician but I'm curious if open ai is using these models to intelligently brute force their way towards proofs. It seems that AI is not thinking deeply and understanding abstract concepts leading to breakthroughs but is essentially searching the space by trying superhuman amounts of combinations, using programs like proof assistants to lock in findings.

It seems to me similar to when I ask a model to optimize a program - it starts with a known list of optimizations and then get's going until the metrics drop.

I'd like to know from a mathematician's perspective what AI's contributions to math is like.

Because they think Claude will eventually replace all engineers.

This is fascinating. What is the split between human and AI labor? What kinds of tasks are the bots doing? How much autonomy do they have to make decisions (i.e. spending money, issuing refunds, touch cloud infra, etc)? I'd love to learn more about how you do this.

My son was in the middle of an exam and then his screen went black and it showed the message from ShinyHunters. Hasn’t been able to get back in since.

I feel that getting anywhere into the neighborhood of “kind of working” for a project like this is noteworthy and a huge milestone. Maybe a better headline would be, however: Agents almost create a working browser.

This has been my experience exactly. Even over just the last few weeks I’ve noticed a dramatic drop in having to undo what the agents have done.

I think the concern in this case is that, unlike before where machines were built for other people to use, we’re now building machines that may be able to use themselves.

Why would someone try to hurt this guy? This site is great.

In the case of unsubscribe links I think it’s more about having your sending reputation destroyed by ISPs because they will penalize you heavily if people have to use the spam button to unsubscribe. Our company makes it as easy as possible and practically encourage people to unsubscribe because of this.

I’ve been working with React Native and Flutter and every time I have to interact directly with iOS/Android, I find that Android is much easier to work with and feels much better designed from a software/api/config perspective. Where Apple wins, however, imho is in hardware. The iPhone is a masterpiece and users can tell, even ~16 years in. I feel that when Apple finally chokes on hardware, or some player in the Android spaces releases something incredible, the game will change quickly.

Not a series of prime numbers?

What’s most fascinating to me is the certainly with which they believed that other worlds were inhabited. Horace Walpole, for example, even abandoning his faith over the theological difficulties it presented. Hundreds of years later, however, we’re left with the Fermi Paradox.

Because “carbon” in these conversations is a proxy to “stuff” as an important input to everything. Of course, the rich have more stuff. Interestingly, focusing on carbon allows for applying a moral dimension to having more stuff: it’s not only wrong to have more because I have less and don’t like that, but because you are hurting is all.

All code may be technical debt but the interest rate can vary.

“sub-nanosecond synchronization”

“typical distances of 10 km between nodes”

Light travels 30cm in a nanosecond. How do they achieve sub-nanosecond accuracy over long distances?