well_ackshually

>You can still read and understand an AI written proof.

No you can't lol, they're multi million lines of Lean, which is already an obscure language to understand. It's an assault on your senses.

So it wasted everyone's time, thousands of hours of research trying to disprove something said very loudly. What OpenAI is doing is a DoS of the scientific community: wasting your time trying to check if they're not wrong, and claiming glory in the mean time.

S̶q̶u̶a̶d̶r̶o̶n̶ ̶4̶2̶ AGI is coming next year, promised !

Yep. Every single post I've seen about "game development is over" is yet another procedurally generated game. Not only it doesn't prove anything about Astra being "better" at making games (do people have any idea the sheer amount of open source games that do exactly that? You can find thousands of the same planet exploration games through repos, blog posts,etc. Game design schools have it as an exercise, that's how basic it is), but as you said: the wow factor of space exploration is cool, sure. It makes for a catastrophically boring game.

Leaves me to wonder whether the OpenAI glazers just never played games in their lives, or are just really superficial tech bros. Most likely, both.

"no see they didn't use it to give people cancer, they merely wanted to make the land they lived in so uninhabitable and devoid of life that staying there would mean death either by starvation or bombing"

War crime apologists are always funny

Your source: vibes

Deepseek's source: mostly open

i wonder if there's any relationship hmmmm

???

WindowSizeClasses, Postures, Navigation3, ListDetailScaffolds, the list goes on. Android & Compose is pretty much flawless when it comes to develop for it, it's thoroughly documented and works well.

Layouts will not magically be not dog shit on iOS because Apple put out another version of SwiftUI that you can't use in prod because nobody has the update. 90% of the apps will be stretched. Horizontally. The reality of it is, it's pretty much never worth it to make layouts that are specialised for foldables/tablets.

Also, it's pretty fucking funny to be worshipping Apple like that when they have a single device to support, and then complain about Android that literally had to pave the way and today works on phones that can unfold three times, phones like the galaxy Z Flip that have instead half screens, etc. Apple will tell you they can't back port dynamic islands on last year's release, while latest Compose is happily running on devices from 10 years ago.

There will inevitably be a crease after a few weeks/months, as every folding phone has had. Apple is relying on Samsung's display tech, and Apple doesn't have better solutions than Samsung.

The reason it doesn't actively crease is because it's not like a piece of paper you press on to fold: the screen "rounds" itself, and as long as it doesn't go past a breakpoint (which is what the body of the phone prevents), it'll restore.

Watching my iOS colleagues tear their hair out with SwiftUI's lack of proper support of foldables for the next... Two years about will be highly entertaining.

Relying on an Apple Watch instead of a proper medical device if you're having heart issues is, well, uh... There's a reason an Apple Watch isn't a medical device.

>Backed by YCombinator

will turn into absolute dogshit within weeks, use proper software.

>People are having fun making images.

3 billion images per week isn't people, it's automated farms, dogshit marketing companies and other attacks on your brain.

>the product is not even to 1.0 yet and already the writing is on the wall for the path towards enshittification & acquisition by $bigco.

https://herdr.dev/blog/herdr-is-joining-y-combinator/

On the wall ? It's spray painted in big neon letters, and by themselves, lmao. Herdr cannot be trusted.

Wouldn't be the first time Volkswagen works with a genocidal regime, to be fair to them. Can't kick old habits out.

>Artificial general intelligence (AGI) is a hypothetical type of artificial intelligence that matches or surpasses human capabilities across virtually all cognitive tasks.

Keep moving the goalposts

Reading _that_ on Hackernews of all places is funny as shit.

Anthropic must love you. Re-blow hundred of thousands of tokens to relearn how to use your profiler and build system at every debugging attempt.

Because there's about as many ways of taking public transit as there are users. For many, live maps are critical. I don't understand why either, but people want the "control" it offers and knowing that their bus is around the corner (it's not, the data is always over a minute stale because it goes through 5 intermediaries)

Delete that feature and you suddenly get a horde of angry users

You're not fighting unsophisticated attackers. 50% of them are, maybe. The rest? They're actively hostile, detecting blocking attempts, moving on to botnets, DDoSing you and trying everything they can to bypass you.

People have been sent to jail for participating in LOIC attacks which were less destructive that what these bots do on the daily.

"I disable things and expect others to do things for me, in their own time, without being paid, to bring solutions to my paranoia"

You do see how selfish it is, right? While the author did introduce such a solution, it's such a massive waste of time.

Because as we all know, the US government (and especially this one) would never lie.

How are the weapons of mass destruction in Iraq doing?

1 million dollars reinvested in the economy by a bunch of math nerds that need to buy food, get housing, pay for services, or 300k in Anthropic's pocket? I wonder which one makes society better off, hmmmm, very complicated question, nobody can answer that.

A few decades back, someone I know had entire CD towers worth of burned CDs & DVDs of porn. Easily onto the thousand discs.

This was mostly a hoarding thing. Hoarders gonna hoard.

"This board is a safe place to post out internal company data, source code and other secrets and was setup for this express purpose to help you improve!"

So, relying on others to fix your mess + catastrophic emissions + catastrophic but less so emissions + something pretty much at full capacity.

Anyone taking a single look at the ARC-AGI "challenges" can see things a 5 year old could reasonably solve.

They're just jerking eachother off and sending eachother the elevator back: "independent" ML engineer (worked at <large ML company> and currently runs <ML company looking to be bought out) writes a shitty benchmark (writes a single example and spams an LLM to make more variants) and releases it out as the BRAND NEW FRONTIER IN THINKING.

Every single benchmark has been catastrophically flawed and made by clowns.

You're putting a lot of words in my mouth. What I'm saying is that whether or not it's a proof, it's useless: it does not improve human knowledge, because the only thing able to consume 10MB of Lean to build upon it is another LLM that's going to build a 50MB piece of shit.

It's very much likely a proof. It's also completely useless.

You can have your opinions about modern math, its usefulness in the world as it is, whether or not knowing if hairy balls can divide by three is actually going to be beneficial for anything but just obscure knowledge's sake. You may even say it's useless.

Needless to say, a useless result that absolutely no mathematician will ever read, confirm, understand, agree with or even consider to solve their "useless" problems is an impressive waste of resources.

Such a result should be considered worthless: the proof is 10MB of Lean. (https://github.com/openai/PrimeGaps186).

I can't think of a single mathematical proof being anywhere close to ten million characters. For all you know, 90% of the proof could be useless, 8% would be writing out Shakespeare, and 1% abusing another bug in Lean. Humanity gets zero value from that, aside from "some bot seems to think it's 186". Unusable by anyone.

They don't give a single shit.