Pinned
Many of us intuitively feel that the field of mathematics is going to change, so let's unpack the likely outcomes, without resorting to hyperbole or doomerism.
Harmonic
@HarmonicMath
Building Mathematical Superintelligence
Joined January 2024
- 🔥Sir Timothy Gowers shares how he used Aristotle to effortlessly autoformalize a complex paper into Lean—without needing to know a single line of Lean himself. The future of mathematical research is changing fast. Read more:
- AI is accelerating mathematical research in increasingly deep problems We’re partnering with the @AIMathematics to develop open, human-centric benchmarks for AI in mathematical research The benchmark is built around 50+ hard problems selected by mathematicians to measure how AI
- verified codegen is inevitable it's the only solution to ubiquitous, cheap, and ever-improving offensive cybersecurity capabilities
- From @emilyriehl on the #aboutlogic podcast (w/ @DenizPhiMa): "I much prefer to interact with an autoformalisation agent than a large language model in discussing mathematics, because the large language models will feed you a lot of bullshit ..." "I came up with my ownWe are very happy that Emily Riehl @emilyriehl joined or little podcast #aboutlogic and talked about higher categories, synthetic mathematics, formalization and much more. youtu.be/4MQbd5wTlI8?si…
