optimalsolver

>of all possible theorems almost none have short proofs Ok, but what about the theorems humans would actually care about?

I guess I should expect it on a VC-tied forum, but it seems strange to talk about company valuations and investment outlooks in the event of an artificial superintelligence operating in the world.

Considering how fast open source models are closing the performance gap, this is rather optimistic. Maybe if they somehow fixed hallucinations and kept the secret sauce to themselves, I could see them…

That little invention gave us the Tommy Westphall Universe: https://www.unsupervisednerds.com/reads-full/2021/1/20/the-t... …

I wonder how an alternative-timeline South which was still segregated would have dealt with interracial porn.

EpochAI have to send the questions (but not the answer key) to OpenAI in order to score the models. An overnight 2% -> 25% jump on this benchmark is a bit curious.

It doesn't.

Ban evasion for me, but not for thee.

Time was you used to have to pay for your compiler, and then manually crank it by hand. Kids these days have no idea.

Would you let such a person handle an important task for you?

Yes. An actual "thinking machine" would be constantly running computations on its accumulated experience in order to improve its future output and/or further compress its sensory histor…

They referring to the reconstructed board that solely exists to rubber stamp every Altman decision as officially great for humanity, so what do they care what the board's considerations are? They…

Do they have an ATM machine there?

It's sadly inevitable that when billions in funding and industry hype are tied to performance on a handful of benchmarks, scores will somehow, magically, continue to go up. Needless to say, it do…

This was my first thought when I saw the results: https://news.ycombinator.com/item?id=42473470

>Frontier Math (25% on high compute, previous 2%) This is so insane that I can't help but be skeptical. I know FM answer key is private, but they have to send the questions to OpenAI in order …

"Gateway" by the same author definitely worth a read, too.

Even more importantly, test causes hair loss.

All episodes of the 90s Tintin animated series are on DailyMotion: https://www.dailymotion.com/video/x749uno …

>$1M for the AI that can close 90% of new GitHub issues If your AI can do this, it's worth several orders of magnitude more. Just FYI.

Has anyone tried playing one of these "chess engines" against a human? We may have an opportunity to cut out the middleman here (no pun intended).

>A microtheory (Mt), also referred to as a context, is a Cyc constant denoting assertions which are grouped together because they share a set of assumptions This sounds like a world model with extr…

Wish they’d followed their previous MO of releasing stuff with no warning or buildup. Results won’t match the hype.