11–20 of 106 posts
With all respect to luminaries: this will not stand up. This will be treated harshly by history. I’m nobody but I’m going to stand up to Terence Tao and Scott Aarinson: you’re wrong or bought or both. This is a detour and I want to make clear to history what side I was on.
There’s much more honor in being right for the right reason than for a wrong one.
With all respect to luminaries: this will not stand up. This will be treated harshly by history. I’m nobody but I’m going to stand up to Terence Tao and Scott Aarinson: you’re wrong or bought or both. This is a detour and I want to make clear to history what side I was on.
What’s your reasoning? There’s much more honor in being right for the right reason than for a wrong one.
The burden rests on OpenAI and the scholars on their payroll to show otherwise.
"I have found it works surprisingly well for writing mathematical LaTeX, as well as formalizing in Lean; indeed, it assisted in writing this very article by suggesting several sentences as I was writing, many of which I retained or lightly edited for the final version. While the quality of its suggestions is highly variable, it can sometimes display an uncanny level of simulated understanding of the intent of the tex…
Earlier quoted context omitted.
What’s your reasoning? There’s much more honor in being right for the right reason than for a wrong one.
I’m wagering my entire reputation that no LLM, nor any LLM run in a loop, will ever be as intelligent as a precocious child. The burden rests on OpenAI and the scholars on their payroll to show otherwise.
Earlier quoted context omitted.
What’s your reasoning? There’s much more honor in being right for the right reason than for a wrong one.
I’m wagering my entire reputation that no LLM, nor any LLM run in a loop, will ever be as intelligent as a precocious child. The burden rests on OpenAI and the scholars on their payroll to show otherwise.
I did not read the pdf, but I think that LLM and Lean could be useful tools for mathematiceans to prove or refute theorems, but the creative idea that sparks knowledge and new theorems lies in the human, the others are tools that can help to reduce time and effort needed and so, indirectly, they can foster and enhance creativity. It also could mitigate some reasoning that require mechanical prove of many details. Any…
Earlier quoted context omitted.
I’m wagering my entire reputation that no LLM, nor any LLM run in a loop, will ever be as intelligent as a precocious child. The burden rests on OpenAI and the scholars on their payroll to show otherwise.
I have a great many regrets in life but if I died opposing Sam Altman and Fidji Simo and Larry Summers in the newest version of their oppressive lies that would be a good death.
Earlier quoted context omitted.
What’s your reasoning? There’s much more honor in being right for the right reason than for a wrong one.
I’m wagering my entire reputation that no LLM, nor any LLM run in a loop, will ever be as intelligent as a precocious child. The burden rests on OpenAI and the scholars on their payroll to show otherwise.