@nasqret
Pinned post
www.nature.com Mathematical discovery in the age of artificial intelligence Nature Physics - In this comment, we consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will... 
I think I took my theorem proving classes too seriously. Thanks to @145k4 I was able to run (Lean)DOOM, tick by tick. We exit Hangar without firing a shot. A fireball is still in flight.
We proved complete runs of Hangar and Nuclear Plant in our version of (Lean)DOOM.
Each run is completely verified in Lean and the runs of the players can be certified too. So can you prove to me that you can finish each level? The game is fully playable and we can build live the proofs from the game too. So much fun!View quoted post on X
We're now accepting applications for research interns at @a16zfrontier, for summer '27 in NYC! Application deadline is Nov 20th. You'd be working with me @skominers @SuccinctJT @ittaia @PGarimidi @jneu_net @ErtemNusretTas, as well as other interns, visitors, and our advisors (such as @danboneh).
Our interests are broader than ever---ambitious undergrads with a keen grasp of emerging technologies, grad students looking to transition to building and entrepreneurship, as well as PhD students pursuing a more traditional academic career.
Research areas of interest include AI and machine learning, agentic commerce, cryptography, security, distributed computing, hardware design, economics (micro, macro, and empirical), energy, material science, biology, incentives, quantitative finance, market and mechanism design, foundations of computing, and pure mathematics.
For more details and to apply, see jobs.a16z.com/jobs/andreesse…View quoted post on X
