Posts by Sariel Har-Peled
Naa. Its how it ended. The webinar is the apocalypse....
Can't wait for my ai agent do my ethics training for me...
Just send your AI agent to attend them for you...
It is amazing that you can generate code that generates the following image, by just chatting with an AI agent (gemini-cli in this case)...
sarielhp.org/misc/blog/26...
The Dunning-Kruger-LLM effect is a cognitive bias where people with limited competence in a particular domain overestimate their own abilities since they asked an LLM to explain the domain to them.
They are eating the gold bunnies!
web.maths.unsw.edu.au/~leezhao/Pro...
Supoosedly the proof by Chebychev was more complicated...
If you look on the wikipedia proof
en.wikipedia.org/wiki/Proof_o...
With very little additional work, you get the even stronger fact, that the number of primes in 1...n is Theta(n/log n). By just mucking around with binom(2n,n) - I find this amazing.
Still uses computers to verify 4-coloring, but still seems like a major step forward on this problem - especially the algorithmic part. At 94 pages, it is not short and simple...
Yeh. The answers it provides are a mixed bug... (Typo intended.)
Sure. I was just wondering what it would generate as a test of its abilities. I was not advocating using what it generated... As first "here is what is going on", I think the writeup it generated is surprisingly not bad.
BTW, here is what I got from gemini after some minimal, hmmm, probing:
sarielhp.org/misc/blog/26...
Rooted trees, not rotted trees.
Might be easier to live in the rings of Saturn, where thing are noncommutative already..
Ask AI? There is a chance they would get it right.
I assume the unspoken paranoia is that they might have some Iranian agents among them. And Iran has shown no hesitation in conducting terrorist attacks abroad. But the Australian government is too chicken to label 4000 people they gave visas to as terrorists...
The logic seems to be that they might not want to go back to Iran, and might try to stay in Australia. HOW WOULD AUSTRALIA SURVIVE MAYBE 400 REFUGEES???? BTW, Australia and the USA can try and compete in the race to the bottom, but I know several countries already there...
From a paper I am reading...
Demonstrating a one-dimensional linear equation... (Written by gemini-cli).
sarielhp.org/misc/blog/26...
...but it would be a good starting point for making a talk for your paper. The results look so much better than Beamer. The presentation itself is written using a markdown file, which is pretty easy to learn/edit and use. You can use LaTeX math, @cite command, etc. It works really well.
(Using reveal.js.) You need to insist it uses the local bib file for the bibliography in the generated presentation. And viola, some time later, the presentation would be ready. You can, of course, specify the number of slides you want, etc. It would not be a good presentation....
A tip about making a first version of a talk quickly for an existing paper. Copy the LaTeX source to a new directory. Start gemini-cli (or claudecode or opencode or whatever AI CLI tool you have) in this directory. Then tell it to read the paper, and generate a Quarto presentation.