algebras, braids and topologies. | ai researcher | ❤️'s mathematics, machine learning, books and people.
🌉
Joined March 2025
- Tweets5.6K
- Following2.3K
- Followers1.1K
- Likes121K
jin. 𓆝 retweeted
hello there ℤ is Diophantine in ℚ, thanx to my close friends Astra and Claude
The polynomial characterizing ℤ isn’t quite Tweet-sized; it has m=292,890,231,905 variables, is of degree d < 2^^7, and all its coefficients have absolute value < 2^^8.
jin. 𓆝 retweeted
I hate SF Halloween, what do you mean you're the visualization of OpenAI’s solution to the Navier–Stokes Millennium Prize Problem
“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
jin. 𓆝 retweeted
it is going to be bigger than the Renaissance isn't it
jin. 𓆝 retweeted
Bir konunun uzmanı arkadaşınsa, "ya bunun formel tanımını biliyorum da ne demek olduğunu bir türlü tam anlamıyorum, kafamda canlandıramıyorum, ne demek?" diye samimiyetle sorabiliyorsun.
Ama sonra o da aynı samimiyetle "yav ben de anlamıyorum" diye cevap verebiliyor 😀
jin. 𓆝 retweeted
100’üncü yaş konuşması henüz düşmemiş galiba ama o gelene kadar eskilerden, komikli ve faydalı bir konuşması:
“How to write mathematics badly” - youtube.com/watch?v=ECQyFzzB…
