Prometheaeverything humanity has ever invented and discovered

👤 Person

Peter Scholze

1987– · Germany

Wikipedia Wikipedia (es)Wikidata

🌍 View on the globe

Inventions and discoveries · 1

2022Lean formalization: Liquid Tensor ExperimentDiscovery · discoverer