But when the company’s survival is already a problem, it’s naturally impossible to consider what the future holds.
Moreover, regardless, Microsoft and Google are at least still around. Unlike Intel, NVIDIA, and IBM, which have already gone bankrupt and reorganized.
But every ti I think about it, it still feels like such a pity.
After all, whether it was the lean project or other fundantal research projects, a lot of money was invested back then.
Now they’re just sealed away like this, and thinking about it feels like such a waste.
However, hearing Peter Schultz’s remarks at this mont, Tao Xuanzhi suddenly felt a lot better.
Although the lean project has been cut, being able to use the previous research results on the new general artificial intelligence is also quite good.
As long as these fundantal research efforts aren’t wasted, it’s fine. As for who uses them, Tao Xuanzhi really doesn’t care.
So Tao Xuanzhi made a fair assessnt: "From today’s demonstration, July should be much more powerful than lean."
"They have different positions. Lean is just a theorem prover, designed as a computer-aided tool for formalizing mathematical proofs.
But July is general artificial intelligence. Naturally, July is much more powerful than lean. Have you noticed July’s language ability?
Even in a relatively serious setting like a conference, its word choice remains very casual, very colloquial.
This is sothing I’ve never seen in any other artificial intelligence product. I can even hear a certain, um, how to say it, sense of relaxation in its tone."
"Sense of relaxation?" Tao Xuanzhi frowned, not quite understanding what Peter Schultz was trying to express.
But after carefully thinking it over for a mont, it indeed seed to feel that way.
In short, July did not give him that pseudo-rigorous feeling typical of artificial intelligence.
"Yes, a sense of relaxation. Don’t you find it strange for artificial intelligence to give off this feeling? It’s like it’s deliberately mimicking Qiao Yu. That guy also has that feeling."
Peter Schultz shrugged and said.
Tao Xuanzhi realized instantly.
Frowning, he said, "Do you an that July indeed developed consciousness? Artificial intelligence consciousness? Machine consciousness?"
Peter Schultz shook his head and replied seriously, "I don’t know. I haven’t even fully grasped the basic concepts of elentary mathematics that Qiao Yu just introduced. So I can’t judge.
It’s just a feeling. To prove it rigorously, we need to understand that elentary mathematics system first, and who knows how long that will take. Of course, I think that even if we fully understand elentary mathematics, it will be challenging to verify this issue."
Tao Xuanzhi fell silent.
Well, he also hasn’t fully understood those concepts.
For example, the non-absoluteness, corrigibility, and consciousness constraint principle contained in the ethical frawork of value prevalence.
Using the maximum principle of the value diffusion equation to ensure bounded behavior, while utilizing principal fiber bundles and modal groups to construct corrected thinking paths...
Qiao Yu spoke as if it was natural, but when you think carefully and then instantly decide to make a value judgnt on ideological awareness, it’s hard to assess purely from a mathematical standpoint.
So in this regard, he very much agreed with Peter Schultz’s judgnt.
Even if they fully understood the basic frawork of elentary mathematics, considering whether machines possess consciousness bestowed by mathematics remains a challenging process.
On this point, Tao Xuanzhi felt that Qiao Yu also took a shortcut. Directly defining consciousness in mathematical terms.
According to Qiao Yu’s definition, if a machine possesses the dynamic capability of instantly finding the ethical optimal solution in continuously changing situations, it can be considered to have consciousness.
Of course, whether this consciousness differs from human consciousness, Tao Xuanzhi suddenly felt he might never be able to prove it in his lifeti.
So when he spoke again, Tao Xuanzhi directly changed the subject.
"When are you returning to Bonn? Planning to et Professor Qiao before going back? I think talking face-to-face might help us understand July’s situation."
Peter Schultz nodded and replied, "That’s what I was thinking too, so I haven’t booked a return ticket yet.
If possible, we can go discuss with him together. It would be even better if we could convince Professor Qiao to let us try using July."
Tao Xuanzhi nodded.
Being able to assist Qiao Yu in proving the BSD conjecture and even claiming a flawless proof process with artificial intelligence, he also very much wanted to try using it.
Alright, surely it wasn’t just the two of them. Mathematicians worldwide would probably want to give it a try.
An AI assistant that provides ready-verified tools, potentially offering proof ideas and perfecting the proof process, is undoubtedly the perfect assistant for mathematicians, bar none.
...
Just as the two world-class mathematicians were communicating, the internet was equally abuzz.
Indeed, although this mathematics seminar by Qiao Yu didn’t invite the dia or broadcast it externally,
it’s a network era after all. Even mathematicians are part of the internet.
Like Tao Xuanzhi, who particularly enjoys sharing his research on his blog.
Other mathematicians mostly have their own accounts on X, Facebook, Tik Tok, blogs, Weibo, Douyin, or other various internet platforms.
Not to ntion many dostic and foreign math leaders brought their students to this seminar.
For these younger generation students, these social software are already part of life.
Sharing their lives has turned from trendy into a very ordinary thing.
This ti was naturally no exception.
Even though there was no official large-scale publicity for this seminar, participants were not required to keep confidentiality.
So very soon, news about Qiao Yu creating an elentary mathematics system and general artificial intelligence spread across the internet.
Unexpectedly, because today was a Sunday, the first heated discussions were initiated by a group of high school students...
That’s right, the first ones to notice the new mathematics theory turned out to be a group of students still in middle and high school, and their reaction was one of complaints...
"What the hell? Another new theory? God Qiao, do you know how crazy math textbook reforms have been since Qiao Algebraic Geotry ca out?
Can you believe we have to start learning introductory Calculus and Linear Algebra from sophomore year? If you co up with a new theory, will high school start testing Advanced Math? God, please spare the poor kids!"
...
I don’t know which unlucky kid posted such a comnt online, but it resonated with a bunch of high schoolers and even broke down many parents.
"Who wouldn’t agree? When tutoring the older one, I thought high school math was a piece of cake, didn’t need a tutor at all. But while tutoring the second child, I can’t even understand the high school math textbook!"
"Passing by as a liberal arts student, don’t even ntion high school textbooks. I can’t even understand my daughter’s middle school book! I could score zero on her exam with my eyes closed, making too afraid to criticize her for poor math skills!"
"What are you talking about? I suggest you check out math competition problems now. My son started learning competitions in primary school and even won provincial awards. He’s been struggling more and more over the past two years, driving crazy!"
"Sigh, I’ve decided to give up on math. Nowadays, math isn’t sothing normal people can learn!"
Yes, initially, there weren’t many discussions about the general artificial intelligence, July. It was all students and parents furiously complaining about the recent math learning difficulty increase during general education.
In fact, this wave of emotions has been pent up for quite so ti.
Especially with the difficulty of college entrance exam math problems drastically increasing for two consecutive years, math really has beco a threshold for entering a good university.
Not even speaking about the difference between top and average students.
Now, those good at math and those average at it can have a 40- to 50-point gap.
In an exam where a 4 to 5-point gap can eliminate many people, those who’ve taken the college entrance exam probably understand what a 40- to 50-point gap ans...
At this mont, there truly was a scene of widespread lantation...
Reviews
All reviews (0)