Cody Shane Mitchell

577 posts

Cody Shane Mitchell banner
Cody Shane Mitchell

Cody Shane Mitchell

@BackToTheFort

I orchestrate proof engines for combinatorics mathematics I also wrote a book called Solving the Unsolvable: The "Impossible" is just the Undiscovered.

Earth...for now Entrou em Şubat 2025
97 Seguindo32 Seguidores
Cody Shane Mitchell
Cody Shane Mitchell@BackToTheFort·
Gonna have to check this out!
Math, Inc.@mathematics_inc

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:

English
0
0
1
11
Cody Shane Mitchell
Cody Shane Mitchell@BackToTheFort·
I ordered one small and one large. I just didn’t realize the size was going to be so different.
Cody Shane Mitchell tweet media
English
0
0
0
11
Abodunwa Adedayo Sunday
Abodunwa Adedayo Sunday@Ademitidayo_D1·
@BackToTheFort @CuriosityonX I think the round up of the life we live here produces the type of world we’ll find ourselves after. That sun might be one of the best worlds if not the best. The livelihood of the inhabitants there might be so good it radiates the entire universe. There might be sense in fooling
English
1
0
2
21
Curiosity
Curiosity@CuriosityonX·
🚨: This is the surface of the Sun, the most detailed image ever taken.
Curiosity tweet media
English
872
1.4K
23.1K
1.7M
boom
boom@rloveution3·
@BackToTheFort @CuriosityonX How much meth do you have to smoke to look at a random picture and draw conclusions like this from it
English
1
0
37
1.2K
Cody Shane Mitchell
Cody Shane Mitchell@BackToTheFort·
@CuriosityonX Okay wait think about this for a second longer… if we are evolving to get closer to the sun because that’s where the compute is coming from then why wouldn’t intelligence want to test that boundary and learn how to adapt to absorb more energy by proximity.
English
0
0
0
28
Cody Shane Mitchell
Cody Shane Mitchell@BackToTheFort·
@01_lryy @CuriosityonX A big phat bowl of Pangea, but I’m not sharing my connect. The last time I took someone to Narnia it buried me in paperwork with the old gods.
English
1
0
1
550
Physics In History
Physics In History@PhysInHistory·
What's your opinion on dark energy? ✍️
Physics In History tweet media
English
323
26
374
25.7K
Zero Void
Zero Void@0x00_void·
building something new and i'm not ready to talk about it yet but just know my terminal has 6 tabs open (⁄ ⁄•⁄ω⁄•⁄ ⁄)
English
1
0
1
90
Cody Shane Mitchell
Cody Shane Mitchell@BackToTheFort·
If the review team at Mathlib or of any other open source community does not start shouldering the responsibility we are going to have a new Mathlib-plus ran by me or the millions of other agentic teams that are quickly arising. Whether you code the evaluation system on a stone tablet with a chisel in hand or you do it with AI, I don't give a damn, but to respond to genuine PRs with blind-closes and Issues with "i think this was written with AI" is probably the most elementary evaluation system that such an esteemed library in my eyes should have. I am afraid the meat machine character identification hallucination runs deep in the bloody human operating system. Stop trying to cling to this snapshot in time of an identity and realize that we could be doing so much more if we just setup proper gating. #mathlib #mathematics
Cody Shane Mitchell tweet media
English
0
0
1
22
Cody Shane Mitchell
Cody Shane Mitchell@BackToTheFort·
If we have learned anything from history, it shows that when traveling in one direction deeply we find it easier to travel in other directions at a similar depth more instantaneously. We have found our exponential and we are continuing a fine-tuned path on this orbital curve. We will continue here at a new normal and hyper-enable all other general mediums for growth. This makes all other avenues more possible. Have you ever seen Dragon Ball Z? You remember when Goku charges up for a KAMAYAHMAYHUUUUUHHHHH, right? Consider this technology the embodiment of the charge and everything we do with it is the extinguishing of our own Goku Kamayahmayhuh. I hope this makes sense. And inspires us all to remember the dragon balls and stories of friendship.
English
0
0
0
220