The origami of life
Digging up the past
Materials and the cosmos
The language of math and logic
007skaty Shortest Path Algorithms
Ten agents found a new path through the graph (Oh, through the graph!) They wrote a proof for the shortest path (Yeah, the shortest path!)
007skaty Machine learning revealed a previously unknown relationship between geometric and algebraic invariants, allowing humans to write a new mathematical theorem.
Which British university collaborated with DeepMind to use AI for solving mathematical knot theory puzzles?
In which mathematical field did AI help discover a new connection between geometry and algebra in 2021?
Matrix math: Matrix multiplication is so fundamental that it makes up to 90% of the calculations done by AI chips today.
007skaty Matrix multiplication algorithms power everything from 3D graphics to modern artificial intelligence.
What is the name of the AI system that discovered faster algorithms for matrix multiplication in 2022?
What was the name of the AI system that used a large language model to solve the cap set problem in 2023?
In which mathematical field did FunSearch find a record-breaking solution to the cap set problem?
Into which programming language's standard library were AlphaDev's newly discovered sorting algorithms integrated?