<?xml version="1.0" encoding="ISO-8859-1"?>

<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/">
	<channel>
		<title><![CDATA[The Project Avalon Community Forum - A.I. & Robotics]]></title>
		<link>https://projectavalon.net/forum4/</link>
		<description />
		<language>en</language>
		<lastBuildDate>Sun, 18 Oct 2026 12:45:55 GMT</lastBuildDate>
		<generator>vBulletin</generator>
		<ttl>30</ttl>
		<image>
			<url>https://projectavalon.net/forum4/images/misc/rss.png</url>
			<title><![CDATA[The Project Avalon Community Forum - A.I. & Robotics]]></title>
			<link>https://projectavalon.net/forum4/</link>
		</image>
		<item>
			<title>The AI Mathocalypse</title>
			<link>https://projectavalon.net/forum4/showthread.php?131733-The-AI-Mathocalypse&amp;goto=newpost</link>
			<pubDate>Sun, 11 Oct 2026 17:34:11 GMT</pubDate>
			<description>Apologies (if necessary!) for another AI thread, but this seems so standalone important I felt it deserved its own discussion. 
 
Some following the...</description>
			<content:encoded><![CDATA[<div>Apologies (if necessary!) for another AI thread, but this seems so standalone important I felt it deserved its own discussion.<br />
<br />
Some following the accelerating AI developments will be aware that not only did OpenAI claim to have solved the immensely difficult Navier-Stokes problem, but soon after that they published claimed proofs of 722 (<b>seven hundred and twenty two</b>) more unsolved math problems. They were posted by OpenAI on GitHub all at once last week, October 6.<br />
<br />
This was like dropping a nuclear bomb on the international math community. A few were celebrating, but most were extremely concerned and one young PhD student reported that she'd been in tears every day.<br />
<br />
One of the reasons why this is so significant is it can be seen as <b>a precursor to human redundancy.</b><br />
<br />
Another reason for concern is how this applies as as an analogy to many other rapid-fire AI developments. <b>No human yet understands these AI 'proofs'. </b>They can be checked — but only by using AI to check them. <br />
<br />
One professor who'd been working on just one of these now-suddenly-solved problems all her professional life said that when she tried to look at what the AI had done, it was like deciphering an alien language. This was her own field of expert research, a rarefied specialty, but she couldn't fully understand what the AI had done at all.<br />
<br />
And there are many nuances here. It's NOT about the possible future unemployment of highly qualified mathematicians. It's that the process of research is so very often more important than the result.<br />
<br />
Here's an analogy that helps. Side-stepping the question about whether men did indeed land on the moon, let's assume for argument that the result of the Apollo program was that two men physically stepped on the moon on 20 July 1969.<br />
<br />
But to get to that final result, there had to be thousands of people working for years on fuels, engines, computer controls, space suits, new materials, electronics, guidance, communication systems, and much much much else. The outcome was just two men on the moon. The benefit was a huge amount of new technical knowledge, and the ongoing education of thousands of scientists and technicians.<br />
<br />
If Neil Armstrong had been teleported to the moon by some magical alien  device that had been found in the desert, none of that technical  progress would have happened.<br />
<br />
The journey was far more important to humanity than the final goal.<br />
<br />
And it's like that with MANY MANY things in every one of our personal lives.<br />
<br />
Mathematics is full of instances of super-geniuses who worked for years to solve a problem that in itself was highly abstract and of zero possible practical value. But <b><i>on the way there</i></b> they developed new techniques, sometimes entirely new fields of research, that <b><i>did</i></b> have practical applications in all kinds of technologies purely as a side-effect.<br />
<br />
For me, this is a warning shot about <b>the potential redundancy of humans.</b> The woman professor who'd been working in that problem all her adult life — how does she feel now? <br />
<br />
She's been denied the possibility of figuring it all out herself, an intellectual achievement that she'd hold close to her heart until the day she died. <b>Now that's been taken from her by a machine.</b><br />
<br />
~~~<br />
<br />
Another, far tinier, analogy is the mountain hiking I do with my dog. Sometimes it's hard work, but I feel great afterwards. Sometimes it rains, and we both get cold. Once or twice over recent years I even got lost in bad weather and had to figure things out on my own with no GPS.<br />
<br />
But not one day has ever led to a single regret.<br />
<br />
Suppose I could reach every challenging high peak just by riding a quadbike? Or by taking a gondola? Or a helicopter? Or just by sitting on my couch and using virtual-reality goggles?<br />
<br />
Looking back over decades of much more serious  mountaineering, every time without exception that I've negotiated a really challenging problem, the better I felt at the end of the day — with  memories that have nourished me all my life.<br />
<br />
<ol class="decimal"><li><b>Easier is not always better.</b></li>
<li><b>Instant answers to every question or problem aren't always healthy.</b></li>
<li><b>Re the human intellect and every part of us that instinctively yearns to be creative and satisfyingly solve our own problems, if we no longer use it — we'll soon all lose it.</b></li>
</ol></div>

 ]]></content:encoded>
			<category domain="https://projectavalon.net/forum4/forumdisplay.php?177-A.I.-Robotics"><![CDATA[A.I. & Robotics]]></category>
			<dc:creator>Bill Ryan</dc:creator>
			<guid isPermaLink="true">https://projectavalon.net/forum4/showthread.php?131733-The-AI-Mathocalypse</guid>
		</item>
	</channel>
</rss>
