Philipp Grohs

206 posts

Philipp Grohs

Philipp Grohs

@GrohsPhilipp

Full Professor of Mathematical Data Science at @univienna and group leader at @oeaw.

가입일 Mayıs 2021
159 팔로잉518 팔로워
Top Rank Boxing
Top Rank Boxing@trboxing·
Guess the fighter 👀 Who comes to mind... let us know in the replies ⤵️
English
335
52
1.4K
329.7K
Philipp Grohs
Philipp Grohs@GrohsPhilipp·
@pfau I have made the same experience in mathematics. Proofs of nontrivial results typically pass the eye test but are wrong. Debugging these proofs is often a major effort (which may actually lead to a better understanding of the problem).
English
0
0
1
137
David Pfau
David Pfau@pfau·
Why on earth would a word used to describe both the municipal government of Vienna and the state ideology of North Korea be subject to so much controversy and misunderstanding?
English
5
1
27
7.2K
Thomas Reis
Thomas Reis@peakaustria·
Wow the grüne See in the region of my youth, Altaussee run dry in spring(!) when melting 🫠 snow season should flood everything! They will not tell you how dramatic the situation is! Less water means also much less spores 🍄 bacteria 🦠 nuclei for snow and rain 🌧️ no! It will become dangerous dry not wetter and more carbon sucking plants 🌱 all precasting Myths! in Person I like to be lazy-but we are talking about a loooot of people and cash!
Thomas Reis tweet mediaThomas Reis tweet mediaThomas Reis tweet mediaThomas Reis tweet media
English
53
78
301
124.2K
Interesting AF
Interesting AF@interesting_aIl·
Did you know there is a country within the United States of America? 🇺🇸
English
398
719
9.4K
2.9M
Fight Hub TV
Fight Hub TV@FightHubTV·
‼️“He’s to strong for me! He’s a heavyweight, he’s to strong!”- Artur Beterbiev Artur Beterbiev on the possibility of facing Oleksandr Usyk. WATCH: youtu.be/0FgWIcmaoHM?si…
YouTube video
YouTube
English
34
61
1.5K
131.6K
Martin
Martin@martinmrmar·
@GrohsPhilipp I believe it is since Tao himself changed the wording in his later edition of the textbook.
Martin tweet mediaMartin tweet media
English
1
0
2
501
Martin
Martin@martinmrmar·
Terence Tao in his Analysis 1 book defines a function from X to Y and mysteriously calls Y the Range.... I think he made a mistake here. Y is called Co Domain , and the Range of f is the set of all images under f. In general f(X) ⊂ Y. If we assume f is Onto, then f(X) = Y.
Martin tweet media
English
43
61
1.1K
94.8K
Julius Berner
Julius Berner@julberner·
📢 Very excited to share that I joined NVIDIA’s Fundamental Generative AI Research (GenAIR) Group (research.nvidia.com/labs/genair) today — looking forward to working with @ArashVahdat and the team! I’ll be working from NVIDIA’s HQ, so let me know if you are in the Bay Area! 🌉
English
20
10
219
24.9K
Philipp Grohs
Philipp Grohs@GrohsPhilipp·
Beyond proud that my former student Lukas Liehr received the Award of Excellence by the Austrian Ministry of Education, Science and Research, honoring the best PhD theses in Austria. Lukas well-deserved it for his outstanding work on "Phaseless Sampling of the STFT".
Philipp Grohs tweet media
English
0
0
5
699
Mathieu
Mathieu@miniapeur·
Do I have followers that are professors?
English
37
1
67
13.6K
Philipp Grohs
Philipp Grohs@GrohsPhilipp·
@florianaigner 1998 ist der Chemiepreis auch für "computational methods in quantum chemistry" (DFT) vergeben worden.
Deutsch
0
0
1
171
Florian Aigner
Florian Aigner@florianaigner·
Der zweite Nobelpreis für künstliche Intelligenz in zwei Tagen: Chemie-Preis für die Berechnung von Proteinfaltung mit Hilfe von AI. Ähnliche Frage wie gestern: Ja, höchst preiswürdige Leistung. Aber ist das Chemie? Oder eher Computerwissenschaft? #NobelPrize #NobelPrize2024
Deutsch
24
6
122
10.5K
Philipp Grohs
Philipp Grohs@GrohsPhilipp·
@aryehazan @lonelymathmos I am not sure if a (human generated) mathematical result about neural nets could get a Fields Medal. However, it seems at least conceivable that an AI powered "Theorem-proving-copilot" will be instrumental in proving a Fields Medal worthy result.
English
0
0
0
56
Aryeh Kontorovich
Aryeh Kontorovich@aryehazan·
@lonelymathmos like literally zero? I'll bet there are some Fields-worthy mathematical problems associated with neural nets
English
1
0
1
278
Aryeh Kontorovich
Aryeh Kontorovich@aryehazan·
mark my words: next Fields prize will also involve neural nets
English
7
3
56
4.3K
Pavol Harar
Pavol Harar@HararPavol·
Thanks, Alicia! I'm very happy to join your group at @ISTAustria 🎉. At the same time, I need to thank my mentors @GrohsPhilipp , @HaselbachLab, Monika Dörfler, Jiri Mekyska, Lukas Vrabel, and all my great former colleagues. Without them I would not make it this far.
Alicia K. Michael@aliciakmichael

Thrilled to welcome @HararPavol to my group at @ISTAustria as a Computational Scientist for BioAI and CryoET! With broad expertise in deep learning and biomed data from the @univienna and @IMPvienna he’ll be advancing our research on circadian rhythms with AI-driven methods.

English
1
0
13
1.3K