MS avionics. Coined the AI term “autoformalization”. A decade of engineering work on the automation of biological experiments.
USA
Joined December 2013
- Tweets43.8K
- Following263
- Followers862
- Likes10.1K
Pinned Tweet
The idea of the intellectual immortality of generations
is knocking at the door of the next stage
of the AI revolution.
To give a first impression of what we are talking about,
let me recall a counter-intuitive statistic
on road safety by age groups:
the safest drivers, by far, are seventy-year-olds.
In other words, it takes people roughly half a century
to truly learn how to drive safely.
And then, all too soon, they pass away —
with no opportunity to share
that hard-won skill …
not even with their own grandchildren, who must begin learning from scratch and often pay the ultimate price for their mistakes.
This is not a unique situation. In fact, it is emblematic of a deeper human condition.
All verbalized knowledge amounts to only a thin, transparent surface layer floating on the vast ocean
of human knowledge & skills.
That ocean is formed by a lifetime of accumulated experience, most of which remains inaccessible to others …
felt only by the individual, stored in tactile, muscular, motor, and emotional memory rather than in any kind of sharable words.
As for knowledge formalized in computers and other automated systems — that is merely a thin film on the surface of this immense ocean.
Keeping all of the above in mind, I coined the term AUTOFORMALIZATION and described its meaning in an article:
“Autoformalisation - Knowledge & skill acquisition”
netvalley.com/cgi-bin/librar…
From my more recent experience, I see that today’s most popular AI products — LLM services such as GPT — hold the potential to become effective tools for helping people extract their intuitive knowledge:
first by verbalizing it, and then by autoformalizing it.
Some people have asked me why I coined the term AUTOFORMALIZATION at a time when there were no tools capable of scaling the process it describes.
My usual answer is a quotation from
Heinrich Neuhaus book: “The Art of Piano playing”
‘To give a thing a name is the beginning of understanding it’
“Reality is usually less cinematic than the theories.”
Grok remains in a stable position among 3 leaders of the AI race by the criteria of top benchmarks including the sense of humor
“Macron is constitutionally barred from seeking a third consecutive term,
while far-right candidate Marine Le Pen is the favorite to win, the AP reported.”
A normal life of the normal people as a political platform
of Trump’s new Chief of Staff
is a reason the leftists are in panic:
Vote in Plebiscite.
Wireless to THE NaW YORK TIMES.
BERLIN, Aug. 17.-The League of National German Jews,
a small Jewish organization in Berlin,
issued today a summons to all German Jews to vote for Chancellor Hitler in the plebiscite Sunday.
The league declared the Jews' suffering in Germany had been necessary in order to clear away the damage done by 'un-German elements.'
The statement reads:
"We members of the League of National German Jews, founded in 1921, have always in war or peace placed the good of the German people and the German Fatherland above our own good.
Accordingly, we greeted the national uprising of January, 1933, although brought rigors for us, for we saw it,
as the only means to clear away the damage done in fourteen unhappy years by un-German elements ”
Here’s an article from the New York Times in 1933. To all the Jews who voted for @NYCMayor or @AbdulElSayed or the other avowed Jew haters on the ballot this week, please read the article and think hard about what you have done and how you may be contributing to a repeat of a very dark history.
It was “a small Jewish organization in Berlin” in 1933.
Now 65-75% American Jews always vote for Democratic party and expectedly similar amount voted for Abdulrahman Mohamed El-Sayed
teapawt.org/ntvll/status/207084276…
Jewish and Muslims representations in US and UK legislations:
Jewish Americans teapawt.org/ntvll/status/211884592…
Muslim Americans teapawt.org/ntvll/status/211877297…
While Jewish Americans in the U.S. Congress maintain strong representation (~6.2% of seats for ~2.0% of the population),
British Jewish MPs in Parliament also represent a significantly higher share than their population percentage, holding roughly 2.6% of seats despite making up ~0.4% of the UK population.
Meanwhile, per Gallup polls, teapawt.org/ntvll/status/207084276…
Israel is supported in ME conflicts:
Republicans - 70%
Democrats - 17%
While Jewish Americans in the U.S. Congress maintain strong representation (~6.2% of seats for ~2.0% of the population),
British Jewish MPs in Parliament also represent a significantly higher share than their population percentage, holding roughly 2.6% of seats despite making up ~0.4% of the UK population.
While Muslims in the U.S. Congress have reached proportional representation (~1.3% of seats for ~1.1% of the population) after the recent midterms,
British Muslims in Parliament remain relatively less represented relative to their population share,
holding roughly 3.8% of seats in Parliament
despite making up 6.5% of the UK population.
According to Grok’s forecast, the college professors most vulnerable to AI disruption are in …
journalism and communications,
graphic design,
accounting,
general marketing,
English and creative writing.
The level of crashworthiness potentially achievable in passive safety
remains an impressively tantalizing goal for carmakers, who
— compared to what is actually possible —
have essentially been stuck in place for nearly 100 years.
"60% of Jews voted for El Sayed"
This is called political suicide syndrome.
If &itler would be in ballots 98% of Jews vote for him.
Are you kidding? The Dems will be resolutely anti-Israel and will usher in a wave of anti-Semitism in America. It's over for Jews in America. We've seen it before and now it's come to America. And with exit polls showing that 60% of Jews voted for El Sayed,the Jews themselves can take some credit for this.
Dems propaganda machine works by especially effective way on the young women:
