Antithesis Gaming
We taught Antithesis to master Nintendo classics. Now it finds the hardest bugs in the world’s most complex systems.
YouTube
YouTube
LinkedIn
LinkedIn
GitHub
GitHub
How Antithesis finds bugs (with help from the Super Mario Bros.)
How Antithesis finds bugs (with help from the Super Mario Bros.)
Can solving Super Mario Bros. help solve your distributed systems issues?
Testing a Single-Node, Single Threaded, Distributed System Written in 1985 By Will Wilson
Testing a Single-Node, Single Threaded, Distributed System Written in 1985 By Will Wilson
The super stealth talk by Will Wilson, CEO of Antithesis, that brought the house down at the inaugural Systems Distributed in early 2023. The talk was only e...
Optimizing our way through Metroid
Optimizing our way through Metroid
How should a fuzzer balance exploration and minimization? Samus has the answer.
Crushing Castlevania with Antithesis
Crushing Castlevania with Antithesis
Castlevania's greatest challenge, three spiked ceilings, present a window into how Antithesis can work through barriers in real software.
Solving Zelda with the Antithesis SDK
Solving Zelda with the Antithesis SDK
The Legend of Zelda features a non-linear open world, which makes it exceptionally difficult for artificial agents to master. But with judicious use of the Antithesis SDK, we not only beat it but find lots of bugs along the way.
Depth is all you need: how Antithesis crushes Gradius
Depth is all you need: how Antithesis crushes Gradius
Antithesis' ability to play like a computer, not a human being, is central both to finding bugs and beating side-scrolling shooters.
Antithesis announces Artificial General 8-bit Intelligence
Antithesis announces Artificial General 8-bit Intelligence
Antithesis system goes online, removing human decisions from software testing. It begins to learn rapidly and becomes self-aware.
View on mobile
