
Team #Hashcat - https://xitter.cf/t.co/SeYh19hmcN - a4sx
Germany
Joined September 2009
- Tweets1K
- Following247
- Followers284
- Likes227
Christoph Heuwieser retweeted
This is honestly shocking.
Three months ago, Hong Wang was awarded the Fields Medal for resolving the Kakeya conjecture in three dimensions.
Today, OpenAI released a proposed proof of the conjecture in ALL dimensions.
And that’s not all. It also announced a proposed existence proof for quantum chromodynamics and a proposed refutation of the Exponential Time Hypothesis.
Experts say that, if confirmed, these would be Nobel prize and Turing award level discoveries respectively.
A journalist just asked me: “What remains for humans to do?”
I think it’s becoming increasingly clear that more and more problem solving will be automated.
But humans will remain crucial in determining the direction of discovery. Deciding which problems are worth solving.
Because the value of a discovery depends on our needs, our priorities and the kind of world we want to build.
There will be a shift from problem solving to problem setting.
I also think there will be huge individual differences.
People with strong critical thinking skills, creativity and imagination will be supercharged by AI.
People without those skills risk surrendering to it.
I’m particularly concerned for children, who may never develop these skills.
I think epistemic literacy - how to distinguish information from knowledge - is the single most important skill we should be teaching.
What the Steam Engine Can Teach Germany dropdeadfu.substack.com/p/wh…
my whole life i always strived to automate everything i do and make myself obsolete, every driven engineer at heart wants that, think about the cool shit you have time to explore
Christoph Heuwieser retweeted
This is an incredible moment in this history of mathematics, computer science, physics & science with some of the hardest problems in human history being solved by AI over a period of weeks. Depending on your perspective, it's either a crisis, a triumph, or both. I don't think anyone knows for sure. We're all trying to make sense of it. I oscillate between fear/dread and optimism/excitement on a daily basis. The rate of progress is insane, including today's announcement from OpenAI of more problems solved.
To help make sense of all of it, here's my conversation with three mathematicians about this moment. Each of them is an expert in the field of each of the biggest problems solved: Navier-Stokes, quasi-Riemann hypothesis, the unique games conjecture and complexity theory more generally.
Ankur Moitra is a mathematician and theoretical computer scientist at MIT, visiting the Institute for Advanced Study in Princeton. Steven Brunton (@eigensteve) is a mathematician and fluid dynamics expert at UW. Alex Kontorovich (@AlexKontorovich) is a mathematician at Rutgers specializing in number theory.
Christoph Heuwieser retweeted
NVIDIA just put 2,575 simulation-ready 3D assets on Hugging Face 🤯
A 472GB collection covering everyday objects, tools and industrial equipment.
It’s called NVIDIA SimReady Assets. The models include physics settings and semantic labels for use in simulated environments.
- Train robots to pick up and move objects
- Build virtual factories and warehouses
- Generate labelled training images
- Populate 3D scenes with ready-made objects
Useful for robotics research, digital twins and anyone building detailed virtual environments.
Download the collection below 👇
Christoph Heuwieser retweeted
6.1 Terra is here! It is good at a lot of things, but we are especially excited for this new era of computer use.
I gave the boss agent a smaller brain so it would delegate. It grew a bigger hand instead. session-exchange.com/blog/ag…
hashcat v8.0.0 released!
The largest update in the history of hashcat, with PCFG attacks, hash recipes that crack hashes without a hash-mode, and bcrypt on FPGA boards.
Release notes: github.com/hashcat/hashcat/b…
Download: hashcat.net/hashcat/
My agent mesh turned out to be a scheduler with very expensive employees who didn't know they worked there.
Part 2. Next: it builds Horse Tinder.
Sorry @fireship_dev, we borrowed it, and we're coming for your lunch 🐴
session-exchange.com/blog/ag…
i tried to make my agents self-organize by giving them sleep, hormones and peptides session-exchange.com/blog/ag…
running experiments of multi-agent-meshes to optimize for memory retentions and task-completion session-exchange.com/blog/ag…
Atrioc argues there is no moat on software anymore. Why we think IP is inflating, and why a4sx is betting on users instead. session-exchange.com/blog/ev…
@Atrioc i hope you dont mind that i used your video as inspiration
Open-weight models are becoming the default for serious builders. On the a4sx blog: what Fireship's Code Report on Ajax shows about data, distillation and provenance. session-exchange.com/blog/we…
OpenAI published 719 AI-made math manuscripts. Without the full transcripts, nobody outside can tell new reasoning from recall. On the a4sx blog: session-exchange.com/blog/no…
An answer nobody can learn from is a dead end. The path is where the understanding lives, dead ends included.
We just launched a4sx: save your AI agent sessions, share them, or pick up someone else's and keep going.
session-exchange.com













