Vít Tuček
@vit_tucek
Followers
481
Following
45K
Media
419
Statuses
11K
part time #python / full time #math You can find me on MathOverflow https://t.co/CuT5X0V7tV and at @[email protected]
Prague, Czech Republic
Joined August 2013
On the other hand, it can equally well be seen as giving a generalization for Morley's theorem on 18 equilateral triangles associated to an arbitrary triangle in the Euclidean plane. A clever use of the interplay existing between algebra and geometry unifies both aspects.
0
1
2
This article can be described, on the one hand, as an introduction to the Galois theory for polynomials of degree 3 or 4 over a field of characteristic zero.
1
2
2
Another paper, from the same year: A. Connes and J. Dixmier, Sur les équations du 3-ème et du 4-ème degré: de Galois et Lagrange au miracle de Morley, Enseign. Math. {\bf 70} (2024), no.~1-2, 283--306; MR4746044
1
1
3
Mindblowing... From Mathscinet: "At the centenary of his birth and seventy-five years after his doctoral thesis, Dixmier has written this paper ..." J. Dixmier, Opérateurs hypofermés, J. Operator Theory {\bf 91} (2024), no.~2, 323---333; MR4750921 https://t.co/jdkhFaMUi8
1
1
3
@kevinweil Hi, as the owner/maintainer of https://t.co/69gOJM7Ci7, this is a dramatic misrepresentation. GPT-5 found references, which solved these problems, that I personally was unaware of. The 'open' status only means I personally am unaware of a paper which solves it.
21
152
3K
Jak je možné, že @NZizkov očkuje na Covid vakcínou, která NENÍ doporučená pro nadcházející sezónu? Co na to @ZdravkoOnline ?
0
0
0
Fields medallist (geometer / low-dimensional topologist; @HarvardCMSA ) talking about a result of Czech mathematician (logician, @Akademie_ved_CR) during AI conference. #math #ai #geometry #ML
0
0
2
Long time ago a friend asked me to finish article that was started by his student. That's how I learned about octonions and exceptional Lie groups. mostly from the go to introductory text by John Baez Now, around 15 years later, I was able to actually answer a question of Baez.
1
3
13
Nedávno jsem tu zahlédl 101. iteraci debaty o tom, zda má stát financovat (základní) výzkum. Tak tady nějaký výzkum k tématu. Není zač, pánové. @honzadave @MatousPikous @VhandleV @zacinajicifyzik
@VincentGeloso First - this is more my area of expertise - it is frankly pretty extreme to claim that theoretical arguments can do anything convincing on this issue. The theoretical channels for government investment to be complementary to private investment are so ample that any argument to
3
1
6
The exterior derivative in ℝ³
define ‘the holy trinity’
10
70
769
I… did not expect a rational number with 108 digits in its reduced denominator to occur as the answer to the fairly natural question “what is the area of the Pythagoras tree fractal?”. https://t.co/PTxmVp0eJT 😲
7
24
216
James E. Hanson: Any function I can actually write down is measurable, right? https://t.co/0MOD5Fd6Hj
arxiv.org
In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with...
1
59
266
If I wrote this as a recursive function, would you ask me to rewrite it using queue?
1
0
0
I am extremely surprised by the rate of progress on Frontiermath. Those are *really* hard problems! Have a look at the public examples if you hadn't before: https://t.co/E8It2zpyCg
Well, on FrontierMath 2024-11-26 o3 improves the state of the art from 2% to 25% accuracy. These are absurdly hard strongly held out math questions. And on ARC, the semi-private test set and public validation set scores are 87.5% (private) and 91.5% (public). (7/n)
4
7
46
10
86
566
I’m excited to present you my first paper accepted to a major ML conference - “Surprisingly Strong Performance Prediction with Neural Graph Features” at @ICML 🎉 Blog post: https://t.co/eLvEPxX4Sl Full paper: https://t.co/AurhheEpru 1/4
2
3
17
This is really fascinating. Nina Miolane @ninamiolane showing how biological brains encode Lie groups! #CVPR Equivision workshop
5
27
186
This is the most surprising and exciting result of my career: we were running simulations of NaCl with a neural network potential that implicitly accounts for the effect of the water, ie a continuum solvent model (trained on normal MD) when Junji noticed something strange: 1/n
126
698
5K