prescod

@chier578563 @Martlu12 @mathematics_inc Move 37 was new knowledge. Indisputably. Also Gödel’s theorem has nothing to do with the creativity needed to come up with new knowledge. Gödel’s theorem in no way distinguishes between humans and AI and is therefore irrelevant to this discussion.

@Martlu12 @mathematics_inc I agree. But "automation" onto itself will not produce new interesting knowledge. It's the people designing the experiments and simulations that will.

🚨 BREAKING: Fields medalist Terry Tao on how mathematics will change: “When these tools are perfected, we will change the way we do mathematics. If there's a drudgery or a big computation, we'll just hit it with all our technology and say: 'By Gauss, you can get from here to there,' and now we just keep going. So we can blast through all these obstacles that we avoid almost subconsciously. If you look at what we miss, it's the missed opportunities, and that percentage of the overall opportunities is huge.” Full conversation with Math, Inc.’s @jessemhan and @jdlichtman coming soon.

@AllVods @chier578563 @mathematics_inc Serious question: how would you know if you had stumbled across an unprovable statement? Do you mean that you seldom stumble across statements that persistently defy proof?

@chier578563 @AbrahamOdra @LawrPaulson @mathematics_inc So you claimed that Gödel proved something and when asked to clarify your statement you admit that you have no proof just a “strong indicator”. In other words, you misused Gödel’s work to try and bolster your gut feeling.

@AbrahamOdra @LawrPaulson @mathematics_inc by definition, LLMs encode the past. It is not a proof, but the fact that the RH has resisted so many top mathematicians is a strong indicator that the proof is unlikely to be trivial or based on known mathematics.

What is happening in the world where Slate and @alex_kirshner can publish a piece about cross-continental travel for “day trips” and not even consider the environmental aspects? slate.com/technology/202… When did we decide that the planet is going to be fine no matter what we do?

@MatthewBerman It is not true that DeepSeek-R1 cost ~$5M to train. That was DeepSeek-V3

3/ Enter DeepSeek-R1, a model that cost only ~$5M to train. Its breakthrough? Reinforcement learning with verifiable rewards. This method, also used in AlphaGo, let's the model learn from trial & error, and scale intelligence indefinitely.

OpenAI just dropped a paper that reveals the blueprint for creating the best AI coder in the world. But here’s the kicker: this strategy isn’t just for coding—it’s the clearest path to AGI and beyond. Let’s break it down 🧵👇

@MattPrinciple @_MichaelBooth_ @mattyglesias Carney has decided to run with Trump as the main issue. Ford has decided to run with Trump as the main issue. But I guess you know better than their pollsters about what is motivating voters right now.

@_MichaelBooth_ @mattyglesias Whatever. Let’s agree to disagree. Have a nice day.

@MattPrinciple @_MichaelBooth_ @mattyglesias "But there’s little reason to think that concern ver Trump’s threats would favor the liberals." Concern over tariffs would support a renowned economist who has navigated two giant crises. " The Tories here aren’t generally associated with Trump." Also false. Elon endorsed PP.

The poll doesn’t provide any evidence that the recent recovery of the liberals is due to the tariffs. Of course of people are concerned about tariffs—people are concerned about it right across the political spectrum. But there’s little reason to think that concern ver Trump’s threats would favor the liberals. The Tories here aren’t generally associated with Trump. The best treatment hypothesis is looking at the Ontario, which is the heartland of the liberal party. At the provincial level there’s currently an election campaign underway. The conservative incumbent premier, Doug Ford, is a rightwing populist far more similar to Trump than the federal conservative leaders yet Ford’s support has been growing over the same period and he looks all but certain to win re-election.

@kimmonismus "We will always find solutions to dangers" is as pure an expression of faith as "God will always protect us from evil."

Maybe I'm naive, but I'm not afraid or worried about AI. Nuclear bombs have been around for decades, just like deadly viruses from laboratories. And yet our human race still exists.Humans want to survive and we will always find solutions to dangers.

So I heard that you can get banned from this bastion of free speech by pointing out that @elonmusk admires Nazis (Trump, in particular). Let's see if that's true.

@Happyjuss @OpenAI You should ask a Chinese LLM to check your math.

@OpenAI Could have given every American 🇺🇸 1 billion dollars 💵 and still have some left to buy better LLM model from china 🇨🇳 What a waste 😭🤓

Announcing The Stargate Project The Stargate Project is a new company which intends to invest $500 billion over the next four years building new AI infrastructure for OpenAI in the United States. We will begin deploying $100 billion immediately. This infrastructure will secure American leadership in AI, create hundreds of thousands of American jobs, and generate massive economic benefit for the entire world. This project will not only support the re-industrialization of the United States but also provide a strategic capability to protect the national security of America and its allies. The initial equity funders in Stargate are SoftBank, OpenAI, Oracle, and MGX. SoftBank and OpenAI are the lead partners for Stargate, with SoftBank having financial responsibility and OpenAI having operational responsibility. Masayoshi Son will be the chairman. Arm, Microsoft, NVIDIA, Oracle, and OpenAI are the key initial technology partners. The buildout is currently underway, starting in Texas, and we are evaluating potential sites across the country for more campuses as we finalize definitive agreements. As part of Stargate, Oracle, NVIDIA, and OpenAI will closely collaborate to build and operate this computing system. This builds on a deep collaboration between OpenAI and NVIDIA going back to 2016 and a newer partnership between OpenAI and Oracle. This also builds on the existing OpenAI partnership with Microsoft. OpenAI will continue to increase its consumption of Azure as OpenAI continues its work with Microsoft with this additional compute to train leading models and deliver great products and services. All of us look forward to continuing to build and develop AI—and in particular AGI—for the benefit of all of humanity. We believe that this new step is critical on the path, and will enable creative people to figure out how to use AI to elevate humanity.

@skdh What does this mean? arxiv.org/html/2409.0368… Negative amount of time?

Can we get 500 retweets on this video of Kamala Harris humiliating Donald Trump on Call Her Daddy

@xeniosfitness @reah_ai @lmsysorg It's a dynamically changing model called `chatgpt-4o-latest` and not recommended for production use because it can change with no notice.

@reah_ai @lmsysorg Interesting... Can't use it for API purposes

Our latest GPT-4o released September 3, 2024 has been tested in @lmsysorg arena. This model, accessible to all users for the past two weeks, shows significant improvements in writing, coding, and multi-turn conversations! 🚀📈 help.openai.com/en/articles/96…

@dellbby It seems to be!

@MIT_CBMM Why did videos disappear? cbmm.mit.edu/video/cbmm10-p…

Congratulations @jasontlantz, muselab.com looks great! It sounds like you've pulled off some real magic moving Ford/VIIZR to the Produce Development Model. Much more impressive than most case studies I have read.

@vladov3000 @jartine Ugh...Twitter seems to have swallowed the "https:"

@vladov3000 @jartine Chrome also visits that site happily. It's paulgraham.com that we're talking about. Try this: $ wget paulgraham.com ERROR: no certificate subject alternative name matches requested host name ‘paulgraham.com’.

@pcasey0430 @BretWeinstein Surely "talk at you and always right" is the defining characteristic of the Weinstein brothers. @pcasey0430, I think you have a "type".

@BretWeinstein I used to listen to Scott Adams and Sam Harris. I realized they were narcissist in my opinion. I was raised in a religious cult once u break out of a cult - it’s a matter of time before u recognize familiar voices - talk at you and always right - immediate flags go up!

I understand Scott Adams’ point. It’s false, but contains truth. The question: Is he interested in correcting his error, or does he prefer to fend off the information to protect himself (or his public persona) from damage he imagines would follow an acknowledgment of his mistake?