Cody Shane Mitchell
579 posts
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 Beigetreten Şubat 2025
97 Folgt32 Follower
@AnthropicAI Ahhhh.... finally catching on? Nice Dispatch release <3 Still needs work but I love the direction!
English
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
I ordered one small and one large. I just didn’t realize the size was going to be so different.
English
@AdedeewonDayo @CuriosityonX Right?! It’s always important to keep an open mind. ☀️
English
@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
@rloveution3 @CuriosityonX Just smoking this methodical mapping of our most impactful problem spaces.
English
@BackToTheFort @CuriosityonX How much meth do you have to smoke to look at a random picture and draw conclusions like this from it
English
@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
@BackToTheFort @CuriosityonX Second one is definitely Mike Jackson
English
@Unc860000 @CuriosityonX What do you think someone does after they master the moonwalk?
English
@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
I'm ready big dog.
github.com/sproutseeds
Hubert Thieblot@hthieblot
Looking for obsessed builders. I invest up to $250K first checks in: • Robotics, drones, space • Applied AI/ML, models • Dev tools and infra • Manufacturing & logistics, and more... DMs open or just reply here what you are building. Early > polished.
English
YESS!!!! So stoked. I am putting this in our research flow tonight.
Elon Musk@elonmusk
Grok can watch videos for you
English
@elonmusk cloned this one down yet? it is incredibly fun.
English
I am so very excited for this one! github.com/psi-oss/get-ph…
@PeterDiamandis
English
