arda

mathematics undergrad interested in formal methods and logic. nlab fan!

[arda @onmagir]

@aliberhann çok sevindim abi, güzel haberlerini bekliyoruz..

[awg @aawoogie]

genuinely what my paper looks like after working on it for 2 months im done

[arda @onmagir]

@pkdroux yoo congrats!! 👏

[Hamed Hatami @HamedHa26534517]

People often ask questions to give students a way into a field, not because they tried and failed. I owe a lot to Lovász for sharing beautiful questions with me as a student that I’m sure he could have solved himself. It makes me sad to see these turned into free AI benchmarks.

[Logic Geometry, Information @LGcommaI]

@doomslide It is remarkable that whereas Hilbert explicitly accused Intuionists of being destroyers of the (then) latest mathematical methods, we are now facing an inverted situation: runaway formalism threatens to destroy mathematics while Intuitionism may SAVE it.

https://t.co/fZHIQGdDO9

[arda @onmagir]

bu evil corp'lara kalırsak 2-3 seneye ciddili şundan geliyor...

[Другая планета @nihilunbounded]

Thank you, Hell Priest. Your verdict reigns supreme. Indeed, I now see the light: it is Commonplace and Standard Practice to knowingly cite theorems in unpublished papers with existing errors without even putting up a remark about the status of the errors. Lean be my God.

[arda @onmagir]

@kemalhizarci @mbatubayindirli 😭😭😭

[Другая планета @nihilunbounded]

This is real insight. I second this. Ever since I can remember I've always mentally pictured 'mathematical progress' as going up Escher's staircase...

[arda @onmagir]

@ElliotGlazer

[Elliot Glazer @ElliotGlazer]

Leo has updated the Lean kernel to fix this bug though it appears Comparator itself is still vulnerable to this. As always, more thorough discussion can be found on the zulip: https://t.co/hiAwRIndjC

[Deniz Genlik (Akademik Hesap) @Deniz_Genlik]

1-Şimdi hazırsanız size bu herbiri matematikte çok ama çok mühim işler yapmış dört kişi arasındaki ilginç bağlantıyı anlatacağım. Bunlar Levent Alpöge, James Maynard, Cem Yalçın Yıldırım ve Yitang Zhang. Kemerlerinizi bağlayın.

[arda @onmagir]

bu dönem aldığım bir ders sayesinde bunlara bakınma fırsatı edindim; çok güzel, havalı fikirler bence. attention'a *görece* farklı bir perspektiften bakan bu yazıdan da epey keyif almıştım. ilgilenenler kaçırmasın!!👉 https://t.co/yiwissZeRi

[Arkadaş Özakın @ArkadasOzakin]

Fizik-matematik (ve diğer STEM) öğrencilerine öneri:

Yapay zeka bağlamındaki "transformer" mimarisini oturup öğrenin. Anlayamayacağınız hiçbir yanı yok. İkinci sınıf matematik derslerine hakim bir öğrenci bu konuyu çalışarak YZ diye anılan şeyin temel yapısına hakim olabilir. +

[arda @onmagir]

@Keleesssss hocam tebrikler 👏🥳

[Tuna Tugcu @tuna_tugcu]

Bugün mezunu olduğum, kayyumun ve paraşütçülerinin usulsüzlüklerini ortaya çıkardığım @UniBogazici'de öğretim üyeliğinden "geliştirdiğim yazılımı paraşütçüye kullandırmayı reddettiğim için savunma hakkı verilmeden" çıkarıldım. +++

[arda @onmagir]

bugün backrooms böyle hissettirdi

[Tupperwave @TUPPERWAVEMUSIC]

Paintings by Kristoffer Zetterstrand (2003)

[Arkadaş Özakın @ArkadasOzakin]

@wtgowers The math/science bit aside, and with all due respect, posts like this have a component of free marketing for what to many of us seems like a disturbing organization led by disturbing people.

[arda @onmagir]

olayın sıcaklığından dolayı atladım fakat bunları anımsamayı epey önemli buluyorum, unutulmaması ve ona göre hareket edilmesi elzem ↓
https://t.co/KcGmXfDUEj

[dr. "weird al" bolshevik @the_good_matty]

@ArkadasOzakin @wtgowers there is no respect due at this point, this sort of bloodless reporting on AI "advances" in mathematics is to pretend as if it's all just inevitable, neutral progress and not part of a broad systemic attempt to restructure the global economy and force this shit down our throats

[arda @onmagir]

geçen dönem bölüm seminerinde ilk kez duymuştum bunu, çözüldüğünü görmek korkuttu..

[Timothy Gowers @wtgowers @wtgowers]

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.
https://t.co/SD1vVPkrHR

[arda @onmagir]

yav bi de daha bugün reasoning modellere sallamıştım, şu internal modellere ne koyuyorsunuz da böyle şeyleri çözüyor abi.. chain of thought mevzusuna ek neler var acayip merak ettim