tjf (@tejotaefe) header
tjf (@tejotaefe) profile picture

Nadie lo vio desembarcar en la unánime noche.

Joined November 2013
Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)Photo by tjf (@tejotaefe)
Feliz que agora todo mundo sabe isso
Engraçado lembrar que o governador brasileiro que mais sabe matemática é do PT
2
3
109
just solved the trolley problem
7
20
2
311
12,766
forumppg animando meu dia hoje
2
90
Sugestão de meta para vc terminar o doutorado: sobreviver
Sugestão de meta para vc terminar o doutorado: 3 artigos Qualis A1 ou A2 1 artigo internacional Produtos de dados como scripts, bases e pacotes de R Pelo menos um dashboard Pelo menos um sumário Executivo Pelo menos 4 artigos de opinião em blogs/jornais etc Pelo menos um prêmio científico. E aí, anima?
3
5
75
2,034
Eu ri
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
1
6
203
Feliz dia do "professor, por que eu perdi ponto nessa questão?"
3
124
This is new: people I don't know contacting me and asking for arXiv endorsement
5
243
Machines making sign errors. There's really nothing left to us humans
They have withdrawn 3 connected papers “solving” a case of the Hodge conjecture. One of them had a sign error that invalidated the argument, and with it the other two. The subscription models can easily find that error. So they rushed to put out a partial result on a Millennium problem without even checking it twice. That’s the level of care, the seriousness, with which mathematics was approached here. LLMs are an amazing tool for doing math. But using them like this is just irresponsible. Also, they have already benchmarked these models on proving big theorems. I’d love to hear what investors think about all of this.
3
33
1
694
16,941
"To err is human" Open AI: "Hold my slop!¨
28
678
Sorte do dia: você não trabalha em nenhum dos problemas da lista da oai
3
12
450
Uma pet sitter me ensinou uma técnica infalível de contenção de gato para dar remédio que simplesmente *não existe na internet*
3
233
shape rotators vs wordcels in algebraic geometry
9
87
20
695
見ていたら途中で『せいすうたん』が言及されていてびっくりした(52:04–)。Zagier が「整数たちの問題(ママ)の奇妙な物語」と言っている……。
Serre 100 での Zagier の講演の録画が早速公開されているね。 Don Zagier - Valeurs zêta multiples finies et l'anneau des adèles du pauvre youtube.com/watch?v=O7c4k4SW…
123
3
725
88,922
Set aside the serious omissions and lack of proper attribution (Zudilin, Brown, etc.) in the zeta(5) paper, I actually think it's exciting. In a weird way, it confirms that some recently developed irrationality methods do work +
1
1
13
2,301
When Apéry's proof came about, it seemed like a "mixture of mysteries and miracles", as van der Poorten puts it. But the effort to understand it generated *a lot* of interesting and beautiful mathematics. So, who's writing the "A proof that Euler missed" of our generation?
8
380
It's somewhat counterintuitive to me that one of the bottlenecks of AI in math is producing high quality, understandable writing (think about the S6 case). But it really tells you something about how hard it is to *explain* mathematical ideas and arguments
1
1
27
1,102
humor involuntário no forumppg hoje
1
2
253
Considering the rumours on the Hodge conjecture, having FC on the advisory group just made things more interesting
2
1
48
7,169
(But honestly I don't have a good feeling about this)
1
2
543
Tentar tomar esse aqui de manhã durante o banho pra ver se eu acordo
3
199