MS Avionics, Autoformalization, Autonomous Vehicles, Road Safety Metrics

USA
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’
3
1
38
8,573
Administratively wise, this is a huge Breakthrough; “SpaceX can offer wireless services through satellites without entering into a leasing agreement with a ground-based mobile operator.”
In a regulatory win, SpaceX has secured approval to launch and operate 15,000 next-gen satellites for Starlink Mobile. In addition, the FCC issued a waiver so that SpaceX can offer wireless services through satellites without entering into a leasing agreement with a ground-based mobile operator. pcmag.com/news/fcc-green-lig…
1
1
35
“A model that is wildly superhuman in mathematics but still can't replace an accountant” is just another example of following the path that began with an IBM computer’s famous victory over Garry Kasparov. That was the last time ordinary people heard about IBM’s AI, and now OpenAI is trying to follow the same path — with even more PR.
AGI doesn't mean "really smart AI". It means "artificial *general* intelligence". A model that is wildly superhuman in mathematics but still can't replace an accountant isn't AGI (yet)
28
Today, it is critically important to explain precisely what it meant to steal the fire of AI from its founding fathers, who could have remained atop their academic Olympus for another 75 years — or perhaps longer— had OpenAI’s collective Prometheus x.com/ntvll/status/210695974… not taken that fire from those comfortably warming their hands around it. This Prometheus act was done through the “GPT moment,” given it to humanity. Just three years after that historical scale event, billions of people have discovered hundreds of thousands of domains in which AI routinely works for them. Many can no longer imagine their lives without this intellectual amplifier as a tool of everyday practical importance. Through ChatGPT-4o, OpenAI was moving in the right direction: helping users verbalize knowledge that was originally intuitive and therefore unshareable, then expand and structure it in ways that opened the door to formalization and, ultimately, automation. Can we help OpenAI recognize its mistake— caused by the departure, within a relatively short period, of three of its leading researchers: Ilya, Dario, and Alec and return to the central task of the current stage of the AI revolution: the AUTOFORMALIZATION of intuitive knowledge in the sense defined by AF1986? That is the central question today
. @daniel_mac8 understandably excited about the opportunity to automate at least part of formalized human knowledge—which amounts to a thin oil film on the surface of the ocean of unformalized intuitive knowledge: x.com/ntvll/status/196382835… Generally, people have the moral right not to understand this. Sam and Greg do not—and historians of science will blame them for destroying GPT-4o to focus instead on the “math gym” under the streetlight.
26
Microsoft-owned left-wing news outlet MSN is following the prevailing leftist fashion of Jew-hatred. Lacking current news that fits its favorite theme, it has begun slipping into its news feed a nearly 60-year-old story about friendly fire during the Six-Day War of 1967. For about half a century, the most zealous and least literate Jew-haters have routinely begun and ended their political education lessons with this story. And now MSN - Bill Gates’s beloved brainchild, created for these purposes 30 years ago, is joining the tightly packed ranks of the worldwide intifada gathering momentum:
30
Ilya was always ahead of the curve. He knew the defining factor of AI would be safety and that AI would eventually mean SI so he named his company SSI accordingly.
What did Ilya see? He knew to name a company SI, not AI
1
47
The “GPT Moment” with a Human Face. Three great minds—Ilya, Dario, and Alec — led the team of principal architects of OpenAI’s scientific foundation that made possible the “GPT moment” to open doors to an era of practically meaningful AI for the world. Meanwhile, Sam and Greg share responsibility for turning the scientists’ visionary research into the historical reality of the “GPT moment” and then into OpenAI’s successive generations of frontier models —despite internal and external crises, any one of which could have been enough to consign a Silicon Valley startup to oblivion long before the “GPT moment” revealed to the world how it had been changed—radically and forever.
25
“War is a mere continuation of policy by other means.” — Carl von Clausewitz Conversely, influencing the enemy’s internal politics during wartime is simply continuing the war by political means: ‘That's not a shift in position’ -@marcorandazza
17
Elon Musk completed his acquisition of Twitter on October 27, 2022, in a deal valued at about $44 billion. At what price would he even consider selling it — or at least taking X public? No way — at any remotely realistic price—of perhaps at any price at all.
47
Again, just as Level 5 autonomy is a horizon that geofenced domains approach asymptotically, AGI is a horizon for problem-oriented domains in which genAI exceeds human capabilities in solving clearly defined groups of tasks. These domains are gradually integrated as the range of tasks they can solve expands, asymptotically approaching what, at some point in an unpredictably distant future, might be called general “AGI.” As I understand it, that will never happen, but the total number of locally defined AGI domains will continue to grow with impressive acceleration.
What LeCun tried to prove is that AI has still not exceeded human capabilities in all its domains. Does anyone argue with that? No one. The only logical basis for continuing this fight with windmills is the PR term “AGI,” which frontier company leaders use in convenient contexts to convince investors that they are close to the next great breakthrough. That’s it, and nothing else. Yann can’t deny that, in the first year after the GPT moment, genAI models brought more helpful tools and ready-to-use solutions for tons of practically meaningful tasks than all the computer scientists who have spent 75 years calling each other AI scientists reported the results by the number of papers and now x.com/dadiomov/status/210601… do not know what to do at all:
38
ppWhen it comes to this November’s elections, this makes sense, because if the Dems win, they will immediately begin to create problems, including economic ones, whose costs will far exceed whatever Trump is ready to spend to win.
Replying to @KobeissiLetter
$1.58 TRILLION is the number that matters here. 👀 Whatever you think of the proposal politically, expanding $5,000 payments to every citizen raises a massive question: where does the money come from without adding to deficits, debt or inflation?
22
France plays the role of California in the EU. Now all EU countries should consider which of them will be next. Generally, the UK is closest to what’s going on in France, but the Brits left the EU in advance. Will it help?’
27
Karma works with the precision of a railway timetable:
France was one of the first countries to recognize “Palestine.” Now Palestine is recognizing France.
1
34
Burnt by milk, drink vodka:
Anthropic: we’re setting up a biolab that will be controlled by AI, just like the plot of famed novel, “Don’t make the The AI controlled biolab.” Our CEO will warn congress about this imminent threat next week.
2
64
The top STEM universities are ready to fight any warning about “computer science” trends under the ultimate banner: x.com/dadiomov/status/210601… “Victory or death.”
Not so long ago, teachers were taking to the streets in protest, demanding a ban on students using calculators in math classes. Today, professors in other branches of mathematics are demanding the same regarding OpenAI and other frontiers. Meanwhile, those same frontiers are already making inroads into physics and the remaining STEM subjects they have yet to master. What, then, will actually be left to teach in schools and universities? Teachers' unions and university administrators seem to have been pondering this for a while now, leading to an expansion of mandatory requirements for students to study subjects that are not yet fully accessible to the destroyers of the educational system from AI frontier companies - subjects like women's and sexual minority rights in Cape Verde during the Early Neolithic era, - and, of course, the main staple for every know-it-all without exception: 'Free Pa…” marching in tight columns and cadence under the beat of drums, chanting 'Alla… A…r” and “we all are the H@mas“ as graduated exams
85
And Israel is one of the world‘s happiest countries:
Israel and Jews are pissing off the haters so much. • We beat enemies on a 7-front war all alone, as they scream “free Palestine.” • We save a plane from another 9/11 attack as they hoped for it to go down. • Tel Aviv’s stock market nearly doubled since Oct 7. Fastest-rising market on earth in 2024. Up 52% in 2025 while they screamed “boycott.” We keep winning. They keep losing. We’re tired but happy. They’re dumb & pissed.
1
24
BBC just following the CNM that coined a kew-phrase: “mostly peaceful” protestors about the people who burned downtowns across America
Just seen the BBC news at 6 report on the violence on France. - selective clips - no schools on fire - no foreign flags being flown - BBC reporter siding with protesters - focus on the “peaceful students” Just straight up propaganda.
28