rodrigo

natures finest inference machine

[rodrigo @_rosbif]

they dont make crazy mfers like me anymore

[kache @yacineMTB]

They quantized astra

[rodrigo @_rosbif]

is OAI giving us quantized astra or what the model got so fucking dumb and retarded all of a sudden, like merging-and-fucking-the-whole-branch-history levels of retarded

[rodrigo @_rosbif]

"byte-for-byte identical"
"and that's a call that's genuinely yours"
"the update lands at"

E assim nasce a novilingua of English compressed by RL

[frankie @FrankieIsLost]

the year is 2032. GPT-9 orchestrates 10 million agents to prove that claude 8’s null-braid calculus is inconsistent in dimension eleven, upending post-spectral mathematics. US GDP growth remains steady at 1.8%, or 0.1% on a data-center-adjusted basis

[rodrigo @_rosbif]

PS: it was about time most of academia got a reality and ego check. It is increasingly saturated with noise from shitty egocentric researchers worrying more about the politics and citations of their work than its informational value.

[rodrigo @_rosbif]

“Scientific vulgarity”, “bruteforcing the search space” nigga no one gives a shit and soon enough you too will not as the models get better and better at simplifying their proofs.

Now instead of whining like a bitch embrace reality and go learn how to leverage those models

[rodrigo @_rosbif]

“Scientific vulgarity”, “bruteforcing the search space” nigga no one gives a shit and soon enough you too will not as the models get better and better at simplifying their proofs.

Now instead of whining like a bitch embrace reality and go learn how to leverage those models

[rodrigo @_rosbif]

An intellectual worker’s ego is directionally proportional to how bitchy he acts when a machine bests him at part of his job

[Mehdi (e/λ) @BetterCallMedhi]

go fuck yourself @sama

claiming that you solved navier stokes because 10000 agents ran in circles for 88hours on a multimillion dollar gpu cluster to formalize in lean a blowup case under controlled external forcing is pure scientific vulgarity the clay mathematics institute millennium prize does not ask m whether you can artificially force a singularity in a fluid by injecting an ad hoc smooth external forcing term f(x,t) to twist the vortex until it breaks the real problem questions the fundamental stability and global smooth existence for 3dimensional incompressible euler & navier stokes equations under natural conservation laws and viscous dissipation alone using a mathematical loophole on forced equations to parade a century old victory is a major conceptual scam Altman

technically & epistemologically what you present as an agi breakthrough is nothing more than bruteforce combinatorial autoformalization the ai did not understand fluid mechanics it simply navigated a continuous search space previously mapped out and constrained by the monumental work of human mathematicians like tristan buckmaster/ levent alpöge / diego córdoba or tarek elgindi coordinating 10000 agents to check the logical consistency of a 100 page proof via lean is a software engineering feat and computational parallelization triumph not an intrinsic scientific discovery it is the victory of the compute bulldozer over abstract human intuition repackaged for the public as a higher mathematical consciousness

to this theoretical imposture you add a disgusting ethical and industrial cynicism taking advantage of private codex sessions and informal preprints from academic researchers to siphon their research leads and then trying to redact or erase the contribution of levent alpöge under the pretext that he works at rival anthropic is intellectual serfdom openai behaves like a feudal lord of silicon appropriating the cognitive subsistence of independent scholars threatening their careers behind closed doors if they protest and turning community academic labor into a privatized pressrelease

this entire staged event serves a desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models openai needs to manufacture an artificial sputnik moment claiming to solve a millennium prize without immediately submitting the proof to traditional peer review means using the prestige of fundamental mathematics as cheap marketing fuel to inflate a delusional valuation!!!

real science is not a clout chase on social media or a compute spike spent to rob the clay mathematics institute it is a quest for elegance physical truth and universal rigor to decode reality true artificial intelligence will not emerge from hostile corporate takeover of academic work hidden behind computational bruteforce but from architectures capable of generating new conceptual paradigms by masquerading constrained formalization as the collapse of physics greatest mysteries you did not solve navier stokes you only proved how far silicon valley will go to prostitute scientific integrity for capitalist spectacle

[Crémieux @cremieuxrecueil]

It's always funny when the word "controversial" has nothing to do with whether the claim is true or false, but instead with whether it offends people who have no business getting offended.

[roon @tszzl]

not at all a good read. what is happening here is that both labs would clearly like to find a human proxy to give most of the credit to. they find it more palatable and somewhat less self promotional than saying “our swarm of machines has solved the historic problem and mathematics and soon many other academic fields are undergoing a chixculub event”.

so they want to give Prof buckmaster lead authorship that, in any other situation, he probably would not be given, because it seems he had an excellent but not nearly complete solution (and the second part was harder if you measure by OOMs of test time compute, which is the language i understand). i understand less about this but it seems anthropic’s levent was trying to do this too, sending buckmaster a bunch of Claude proofs from an internal model. It’s just better vibes that way

openai is probably being overly generous about this and everyone involved seems to be bending over backwards trying to be noble and honorable. in reality, I doubt advanced mathematics will be considered a human dominated sport for much longer. these models are clearly superintelligent. they can do things the best people can’t do. I expect in the year to come you’ll get printouts of vast fields of famous problems being solved almost deterministically

[rodrigo @_rosbif]

Finally some sanity in this drama:

[Sebastien Bubeck @SebastienBubeck]

I would like to clarify a few things:

1) The screenshot is my reaching out to Levent to coordinate our releases. I hope it’s clear from the message that we came in with the best possible intentions.

2) I never ever asked for Levent to be removed from authorship of his own work (as indicated by my text). I was surprised to learn during the call with Tristan that they had only solved Euler and not Navier-Stokes; after learning this we brainstormed possible paths forward. One option we discussed was that Tristan could be the lead author on a rewrite of OpenAI’s Navier-Stokes proof. It is in that context that I said “it would be simpler if Levent was not an Anthropic employee” because I felt it would be inappropriate for an Anthropic employee to author OpenAI’s work. Importantly it was admitted that internal Anthropic models had been used in their proof of Euler blowup; I therefore felt I could not consider Levent to be an independent academic. Another option I wanted to propose (but got cut short) is to offer access to our internal model so that they could try to finish their proof and bridge the gap between Euler and NS. Again I did not know how to navigate giving access to internal OpenAI IP to an Anthropic employee.

3) To reiterate it plainly: as my text clearly indicates, and as I said during our call, OpenAI's intention was to do everything possible to celebrate their mathematical achievements and the heroic efforts that they made on Euler. In the call I was immediately met with a litany of slander, including direct threats that if we were to announce Navier-Stokes he would immediately go to the press with a barrage of unfounded accusations. I refuted all these accusations but he replied “there is nothing you can do, I simply do not trust you”. I was confused why one would turn an incredible source for celebration (of their achievements!) into such bickering, which is when I said that I did not understand why one would risk their career [over unfounded accusations]. Genuinely, at that moment, I was trying to care for him and do a last ditch attempt to get a chance to give them all the credits that they deserve. I deeply apologize for this extremely poor choice of words, it is the opposite of what I was trying to convey. (I should say that I retracted them on the spot by the way.)

4) Overall, on a personal level, it was incredibly difficult to have these conversations. Levent refused to attend any of the meetings despite my repeated asking. As Sholto Douglas said, there will need to be coordination between Anthropic and OpenAI in the future; I felt I was doing a proxy negotiation with Anthropic while the Anthropic employee refused to directly participate.

[Z Riboua @zriboua]

Western museums rescue so many artifacts and sacred sites from precisely this, only to get bashed later for "stealing heritage"

[Sabatildes @sabatildes]

– ah lá o paulista acha que é italiano kkkk
– mas é que meus avós vier
– ele acha que vota na itália kkkkk
– então... eu tirei cidadania então eu posso sim vot
– kkkkk ele acha que fala italiano
– ma io parlo. ho seguito un corso e
– kkkkkk "parlo italiano" kkkk ele acha que só p

[LaurieWired @lauriewired]

Insulin Pumps
Pacemakers
Airbag Deployment
Smoke Alarms
Elevators
Anti Lock Brakes
Lithium Battery Controller
Safety Critical Aircraft Code
Pressure Cookers
Power Steering
Treadmill Saftey
CPAP Machines
Defibrillators
3D Printers
Railroad Crossings
Nuclear Reactor SCRAM Logic
Literally anything PLC

gotta disagree on this take. tiny code often the most important

[Milan Busk @KarolusWangus]

Bro we're a Middle Eastern country now. This is something President-For-Life Ahmed bin-Embezzlement would post before losing a war with Israel.

[Glenn Greenwald @ggreenwald]

O discurso em torno do escândalo envolvendo Moraes tornou-se surreal. A estratégia de Moraes e de seus defensores é complicar a situação. Mas o escândalo é bem simples:

Como ministro do STF, Moraes e sua família receberam cerca de R$ 200 milhões de um banqueiro corrupto; depois, ele agiu para proteger o banco, conversou extensivamente com o banqueiro sobre obstrução de justiça, apagou todas as mensagens trocadas com ele e, por fim, mentiu repetidamente ao público sobre tudo.

O escândalo secundário é a tentativa de Paulo Gonet de abusar de seu poder como PGR para ajudar Moraes a encobrir o caso, apesar de o próprio Gonet estar fortemente ligado a Vorcaro. (Some-se a isso o papel de Lula e Alcolumbre na tentativa de enfraquecer a investigação).

Esse é o escândalo. É algo tão grave quanto simples.

Mendonça não tem qualquer participação no escândalo, exceto a de ministro responsável pela supervisão do processo e aquele que permitiu a transparência sobre o assunto.

[Daniel @growing_daniel]

Jesus was a carpenter which means for a split second when they handed him his cross he probably clocked it and was like hmmm cedar