@codercody

Professional print statement writer

 Palo Alto, CA
Joined March 2017
  • Tweets397
  • Following1.2K
  • Followers343
40Media
The moment AI companies propose an interesting new math problem, all this hysteria about AI destroying math goes away
1
7
322
Vibe coding is like alcohol, euphoric in the moment then massive hangover afterwards
4
17
526
Replying to @Nil053 @bigospeedrun
Btw DM me, my friend also went to UPC same year as you 😆
1
13
Replying to @Nil053 @bigospeedrun
Oh true
1
11
Replying to @Nil053 @bigospeedrun
it's downnnnn
1
1
26
Replying to @jdoliner
Joe you would make a good Florida man. 🥹 Pls join us
1
29
6,543
Replying to @LisoYue
Sorted array probably 😔
1
46
Replying to @jdoliner
Woah woah woah, AI is applied** math. Big difference 😡 The real problem is academia, for some reason they've warped AI into a negative thing for math rather than using it to take math to new heights
1
1
44
So does this mean the collatz conjecture is millennium problem level 🤔
1
3
349
Replying to @krgeorge
Sorry, ad-free sky is for sky premium subscribers only
1
9
677
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,310
4,765
40,764
22,651,779
Replying to @jdoliner
Prove omega=2 for matrix multiplication
1
2
1,870
Replying to @rpeng233
Is this bait to get them to do your problem next 😂
1
2
1,354
Replying to @IlinVasily29521
Wait no I actually meant it. It’s awesome!
7
Replying to @LouiseGiam
Uhhh Louise are we still profitable after all these usage limit resets 😭
2
50
If you go to Stanford and DONT drop out, is that a negative signal?
2
9
909
Replying to @HeinrichKuttler
Segmentation fault (core dumped)
1
26
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
692
Replying to @LisoYue @bot
@bot send @LisoYue $2
11
Replying to @LisoYue @bot
fake
1
46
Replying to @ChrSzegedy
xitter.cf/codercody/status/21033…
Cody Johnson
@codercodySep 25
There are going to be 1,000 new millennium problems
38
Load more