Cody Johnson (@codercody) header
Cody Johnson (@codercody) profile picture

Cody Johnson

@codercody

Professional print statement writer

 Palo Alto, CA
Joined March 2017
  • Tweets408
  • Following1.2K
  • Followers347
40Media
Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)Photo by Cody Johnson (@codercody)
The moment AI companies propose an interesting new math problem, all this hysteria about AI destroying math goes away
1
7
383
Cody Johnson retweeted
Mark Sellke (@MarkSellke) profile picture
Mark Sellke@MarkSellkeOct 28
I've posted some slides on my website outlining OpenAI's approach to disproving the exponential time hypothesis: msellke.com/Files/ETH-False-… The outline skips some steps, so it gains a smaller power of log(n) in the exponent than the fully optimized algorithm.
6
36
187
16,104
Deleting code is so much funner when it's someone else's code
2
16
545
Cody Johnson retweeted
Dan Roberts (@danintheory) profile picture
Dan Roberts
@danintheoryOct 26
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory. openai.com/index/building-sc…
Working with academic communities to build scientific understanding

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
309
1,107
576
7,484
2,463,657
Cody Johnson retweeted
Doug Colkitt (@0xdoug) profile picture
Doug Colkitt
@0xdougOct 25
Everyone is talking about agent swarms, usually in the context of bad stuff like hacking. But if you ever wanted to watch an agent swarm in action (this time working for good), the discussion board of the Integer Multiplication open research repo is really cool to watch
Image from Doug Colkitt (@0xdoug)
15
10
1
132
12,026
Cody Johnson retweeted
Can Vardar (@icanvardar) profile picture
Can Vardar
@icanvardarOct 24
in 2026, your ability to read code matters but your ability to decide what code should exist matters way more
2
1
18
720
My heart goes out to the 4 applications affected by the PHP vulnerability today
9
363
Vibe coding is like alcohol, euphoric in the moment then massive hangover afterwards
4
17
597
So does this mean the collatz conjecture is millennium problem level 🤔
1
4
379
Cody Johnson retweeted
OpenAI (@OpenAI) profile picture
OpenAI
@OpenAIOct 6
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
GitHub - openai/math

GitHub - openai/math

Contribute to openai/math development by creating an account on GitHub.

github.com
1,903
6,299
4,768
40,705
22,751,150
If you go to Stanford and DONT drop out, is that a negative signal?
2
8
927
Got tedious work you don’t wanna do? Turn it into a benchmark and AI companies will just do it for you!
Vasily Ilin (@IlinVasily29521) profile pictureVasily Ilin
@IlinVasily29521Sep 2
LeanEval is the last unsaturated benchmark in mathematical formalization. Saturating it will require formalizing Fermat's Last Theorem. @axiommathai is currently in the lead. Leaderboard: lean-lang.org/eval/legacy/
Image from Vasily Ilin (@IlinVasily29521)
2
5
702
Cody Johnson retweeted
Sawyer Merritt (@SawyerMerritt) profile picture
Sawyer Merritt
@SawyerMerrittSep 25
SpaceXAI has just introduced Grok @Bot Creator Rewards! Rewards will go out every two weeks. Rewards are based on usage: • How many people use your Bots. Are your Bots useful and popular? • How often your Bots are used. Are your Bots providing consistent value over time? For your templates to be eligible for rewards, you must: • Post about your public Bots (and specifically link to them) on X ≥ 2x per pay period • Have X Money set up • Payouts will be sent as part of X’s Original Content Rewards for now.   In the last two weeks, I’ve earned $500 in rewards due to people using my Home Robots template 🔥 More info: legal.x.com/en/grok-bot-temp…
Image from Sawyer Merritt (@SawyerMerritt)
Image from Sawyer Merritt (@SawyerMerritt)
Image from Sawyer Merritt (@SawyerMerritt)
351
403
193
3,991
1,536,810
There are going to be 1,000 new millennium problems
1
190
That’s not a good thing right? Super small number of people got to get in before all the growth, and only now the public can participate no?
@jason (@Jason) profile picture@jason
@JasonSep 22
My lord, three IPOs are worth more than… all IPOs in the last 45 years of tech 🤯
Image from @jason (@Jason)
2
307
Cody Johnson retweeted
Steve Weis (@sweis) profile picture
Steve Weis@sweisSep 20
636606729769440499166579950236036751749912014371509557713570027508971809534551913252252094954941974952859310861988904737359709200557919 is a factor of RSA-896 saweis.net/posts/rsa-896.htm…
223
988
323
9,479
3,919,532
So then why are we saying there are problems we need to preserve?
Cody Johnson (@codercody) profile pictureCody Johnson
@codercodySep 16
What percent of all math that there is to know, do we know?
44%<< 1%
33%< 1%
11%1-10%
11%> 10%
9 votes • Final results
1
1
275
Somewhere out there are 100 millennium prize problems waiting to be discovered
74
Image from Cody Johnson (@codercody)
2
96
Bruh another letter 😂 ok this time it’s funny
This quoted post is unavailable.
Try viewing anyway · View on X
1
199
Load more