@codercody

Professional print statement writer

 Palo Alto, CA
Joined March 2017
  • Tweets397
  • Following1.2K
  • Followers342
40Media
The moment AI companies propose an interesting new math problem, all this hysteria about AI destroying math goes away
1
6
321
Vibe coding is like alcohol, euphoric in the moment then massive hangover afterwards
4
16
501
So does this mean the collatz conjecture is millennium problem level 🤔
1
3
348
Cody Johnson retweeted
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

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

github.com
1,896
6,311
4,765
40,766
22,647,492
If you go to Stanford and DONT drop out, is that a negative signal?
2
8
908
Got tedious work you don’t wanna do? Turn it into a benchmark and AI companies will just do it for you!
Vasily 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/
2
5
691
Cody Johnson retweeted
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…
351
409
193
4,009
1,528,433
There are going to be 1,000 new millennium problems
1
183
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
@JasonSep 22
My lord, three IPOs are worth more than… all IPOs in the last 45 years of tech 🤯
2
298
Cody Johnson retweeted
Steve Weis@sweisSep 20
636606729769440499166579950236036751749912014371509557713570027508971809534551913252252094954941974952859310861988904737359709200557919 is a factor of RSA-896 saweis.net/posts/rsa-896.htm…
223
989
323
9,492
3,917,607
So then why are we saying there are problems we need to preserve?
Cody 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
267
Somewhere out there are 100 millennium prize problems waiting to be discovered
66
2
88
Bruh another letter 😂 ok this time it’s funny
This quoted post is unavailable.
Try viewing anyway · View on X
1
194
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
412
Cody Johnson retweeted
Will Kinney
@WKCosmoSep 11
Congratulations to all the Fields medalists who successfully shut down an undergrad coding workshop.
Dan Roberts
@danintheorySep 10
We recognize that the rapid progress of AI in mathematics is disruptive. We're looking to engage with the math community more on the best way to integrate this technology and communicate its impacts. After considering concerns raised by members of the mathematics community, we’ve decided to withdraw OpenAI’s sponsorship of the Caltech Mathathon and have notified the organizers.
33
61
4
1,706
104,895
"Math isn't allowed to be useful to you, only us!" Bro terence have you considered just like not reading the proofs
Lisan al Gaib
@scaling01Sep 11
fields medalists are dooming it's so over terrytao.wordpress.com/2026/…
9
9
1
196
5,201
🤯
Sawyer Merritt
@SawyerMerrittSep 10
Next week, the SpaceXAI team will build a company from the ground and livestream it. “We'll use Grok Bot for every part of the build - from ideation and product development to real engineering work and deployment.”
1
2
711
HYPE! I've been wanting this for so long
akshey
@aksheydSep 9
shipped /learn today! grok will read all your traces locally, find what you repeat, when you intervene, and proposes harness updates in the form of: - new skills from repeated phrases - fixes to stale ones - deletion of unused skills/plugins/mcps it's fully interactive. feel free to leave feedback in the comments!! xitter.cf/aksheyd/status/2096364…
1
5
604
Cody Johnson retweeted
Cognition
@cognitionSep 9
Last week we published a factorization of RSA-260. Today, we’re sharing the methodology of how Devin and a Cognition researcher built the world’s fastest GPU optimized lattice siever, to make factoring numbers 10x cheaper than the previous state of the art: cognition.com/blog/factoring…

Factoring RSA-260

How Devin and a Cognition researcher built the world’s highest-performance GPU lattice siever, to make factoring numbers 10x cheaper than the previous…

cognition.com
26
98
29
779
210,672
Load more