Chilly
6K posts






The total number of smart people in the world has just peaked. And now it's about to crash.

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:


Introducing ~0% fee mode on @BagsApp Launch a coin on Bags with ~0% fees after bonding. Try it out here 👇 bags.fm/launch




QatarEnergy Statement on Missile Attacks on Ras Laffan Industrial City QatarEnergy confirms that Ras Laffan Industrial City this evening has been the subject of missile attacks. Emergency response teams were deployed immediately to contain the resulting fires, as extensive damage has been caused. All personnel have been accounted for and no casualties have been reported at this time. QatarEnergy will continue to communicate the latest available information. #Qatar




















