Press Space to continue
Finding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.
Press Space to continue
Press Space to continue
Axiom Math's @aaswaminathan01 predicts we are entering an age where 99% of code will never be read by a human: "I'm very excited about the prospect of building our tool, AxiomProver, which can generate code that is maintainable and reusable. These are really important qualities for code to have in an age where 99% of code will not be read by a human ever." "This is a time where you can go to any available LLM and write a computer program, but you can't guarantee the program will be of a…
1/ We’re delighted to announce a milestone for AI-assisted mathematics: With AxiomProver, we've completed a machine-checkable formalization of the “BGP246 theorem,” the best-known bound on recurring small gaps between primes. Closest math has come to the Twin Prime Conjecture. https://t.co/CS8I1eiBJi