>>223
実際にグロタンディークのほうが偉いことは偉いよ
今、圏論抜きの幾何学なんて考えられない。トポス理論は間違いなくAIの歴史を早めたし
まだ十分には発揮されていないが
まあグロタンディークの起源は究極的にはガロアとゲルファントだろうがな