algebras, braids and topologies. | ai researcher | ❤️'s mathematics, machine learning, books and people.
🌉
Joined March 2025
- Tweets5.6K
- Following2.3K
- Followers1.1K
- Likes121K
“hayat bir dizi boncuğa benzeyen haleti ruhiyeler silsilesidir ve birinden diğerine geçtikçe bunların, değişik renklerde mercekler gibi, dünyayı kendi tonlarına boyayıp sadece kendi odak noktalarına giren şeyleri gösterdiklerini görürüz” diye yazmış emerson. insanın tek bir boncuğa hapsolup kalması, boncuğun tonu ne olursa olsun, ölümcül olabilir.
~ 📸 | @ezgihoscan
AI for math discovery. 💙
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
1
3
301
“...own computer agents, semi-intelligent processes that can act as alter egos, carry out tasks, find resources, advise, coach, and more.”
~ A Critical Assessment of Hypertext Systems / Alan Kay
ALT A Critical Assessment of Hypertext Systems / Alan Kay
2
271
OpenAI’ın Navier–Stokes denklemlerini çözmek için yaklaşık 12,5 milyon litre su tükettiği tahmin ediliyor.
Bu miktarın yaklaşık olarak
> 12.500 m³ suya,
> 5 olimpik yüzme havuzuna,
> 6,25 milyon kişinin bir günlük içme suyu ihtiyacına
eşdeğer olduğunu söyleyebiliriz.
kaynak: uz.kursiv.media/en/2026-09-0…
ALT https://uz.kursiv.media/en/2026-09-09/openai-maths-problem-water-use/