正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

1/4 LLMs solve research grade math problems but struggle with basic calculations. We bridge this gap by turning them to computers. We built a computer INSIDE a transformer that can run programs for millions of steps in seconds solving even the hardest Sudokus with 100% accuracy

Christos Tzamos

23,458 subscribers

1,818,064 次观看 • 3 个月前 •via X (Twitter)

教育科学技术

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

🇺🇸 NVIDIA CEO JENSEN HUANG: WE HAD TO INVENT THE COMPUTER BEFORE THE PROBLEM EXISTED Jensen reflected on Nvidia’s early days, revealing how the company’s mission in 1993 seemed almost impossible, building a computer for problems that didn’t yet exist. He said they had to “create the problem” before they could solve it, a gamble that shaped modern computing: “When Nvidia started in 1993, we were trying to create this new computing approach. The question is, what’s the killer app? The company wanted to create a new type of computer that could solve problems normal computers couldn’t. But the applications that existed in 1993 were ones that normal computers could solve. We had a mission statement for a company that had no chance of success. I didn’t know that in 1993. It just sounded like a good idea.” Source: Joe Rogan

🇺🇸 NVIDIA CEO JENSEN HUANG: WE HAD TO INVENT THE COMPUTER BEFORE THE PROBLEM EXISTED Jensen reflected on Nvidia’s early days, revealing how the company’s mission in 1993 seemed almost impossible, building a computer for problems that didn’t yet exist. He said they had to “create the problem” before they could solve it, a gamble that shaped modern computing: “When Nvidia started in 1993, we were trying to create this new computing approach. The question is, what’s the killer app? The company wanted to create a new type of computer that could solve problems normal computers couldn’t. But the applications that existed in 1993 were ones that normal computers could solve. We had a mission statement for a company that had no chance of success. I didn’t know that in 1993. It just sounded like a good idea.” Source: Joe Rogan

Mario Nawfal

19,268 次观看 • 6 个月前

"We have demonstrated the ability to solve important problems in the area of material simulation on our quantum computers today in minutes that it would take well over millions of years to solve on classical computers," D-Wave CEO Alan Baratz says.

"We have demonstrated the ability to solve important problems in the area of material simulation on our quantum computers today in minutes that it would take well over millions of years to solve on classical computers," D-Wave CEO Alan Baratz says.

Yahoo Finance

18,132 次观看 • 1 年前

"What is P vs NP and how does it relate to human knowledge?" Avi Wigderson (Turing Award & Abel Prize winner): "In a very basic way, all the problems we want to solve are really NP problems. A subset of it is the problems we can solve. So the question of P versus NP is whether we can solve all the problems we want to solve, whether we can know everything we want to know. This is basically about the limits of our knowledge. You can think there is no limit to what we may want to know but I claim that essentially in any human endeavor, what people are searching for have the property that when a solution is found, it is easily recognized. NP are all problems that we can honestly say we really want to solve and P are those that we can solve. Whether they are equal is just the very fact that a solution can be easily recognized would imply that it can be efficiently found. That means that we can know everything we ever want to know, it's a fundamental question about human knowledge."

"What is P vs NP and how does it relate to human knowledge?" Avi Wigderson (Turing Award & Abel Prize winner): "In a very basic way, all the problems we want to solve are really NP problems. A subset of it is the problems we can solve. So the question of P versus NP is whether we can solve all the problems we want to solve, whether we can know everything we want to know. This is basically about the limits of our knowledge. You can think there is no limit to what we may want to know but I claim that essentially in any human endeavor, what people are searching for have the property that when a solution is found, it is easily recognized. NP are all problems that we can honestly say we really want to solve and P are those that we can solve. Whether they are equal is just the very fact that a solution can be easily recognized would imply that it can be efficiently found. That means that we can know everything we ever want to know, it's a fundamental question about human knowledge."

Ryan Peterman

20,069 次观看 • 18 天前

.David Deutsch: "I've come to think of free will in terms of creating knowledge. So we have free will if we can bring something objectively new into the universe. Prof. Brian Keating: Will computers have free will? David Deutsch: It's not computers, it's computer programs. Computer programs will have free will when the problem of AGI is solved. Of course, if we destroy ourselves before we solve that, then they won't. But I expect that we won't destroy ourselves, and I expect that the problem of AGI will be solved, and the resulting programs will have free will."

.David Deutsch: "I've come to think of free will in terms of creating knowledge. So we have free will if we can bring something objectively new into the universe. Prof. Brian Keating: Will computers have free will? David Deutsch: It's not computers, it's computer programs. Computer programs will have free will when the problem of AGI is solved. Of course, if we destroy ourselves before we solve that, then they won't. But I expect that we won't destroy ourselves, and I expect that the problem of AGI will be solved, and the resulting programs will have free will."

Deutsch Explains

13,709 次观看 • 8 个月前

Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code They can solve problems, prove theorems, and write programs — but they are not creative mathematicians, software architects, or computer scientists "their role is to help humans build"

Yann LeCun says LLMs are strongest in domains where language itself is the substrate of reasoning, like math and code They can solve problems, prove theorems, and write programs — but they are not creative mathematicians, software architects, or computer scientists "their role is to help humans build"

Haider.

347,099 次观看 • 1 个月前

This is the new campus of the Kyiv School of Economics. It will host engineering, math, computer science programs. We are building a world class university to make Ukraine European and prosperous. But we also focus on engineering so that Ukraine can defend itself

This is the new campus of the Kyiv School of Economics. It will host engineering, math, computer science programs. We are building a world class university to make Ukraine European and prosperous. But we also focus on engineering so that Ukraine can defend itself

Tymofiy Mylovanov

17,987 次观看 • 1 年前

[Transformer] by Hand✍️📺 5-minute Video Tutorial Anna Rahn made this short video to explain the Transformer exercise for my Computer Vision course last spring. In 5 minutes, she demonstrates the key calculations of the Transformer by hand with pen and paper! Anna is a fantastic student. I am lucky to have her in my lab!

[Transformer] by Hand✍️📺 5-minute Video Tutorial Anna Rahn made this short video to explain the Transformer exercise for my Computer Vision course last spring. In 5 minutes, she demonstrates the key calculations of the Transformer by hand with pen and paper! Anna is a fantastic student. I am lucky to have her in my lab!

Tom Yeh

133,460 次观看 • 1 年前

JOE ROGAN: DO QUANTUM COMPUTERS PROVE THE MULTIVERSE EXISTS? "There's an equation that quantum computers solve quickly, like in a couple of minutes, that if you converted the entire universe into a computer, it would take so much time to solve this equation that the universe would die of heat death. And these quantum computers can solve it in minutes. They believe this is proof of the multiverse, that this quantum computer is somehow connected to other sources of computing power in an infinite number of universes." Source: Joe Rogan Experience

JOE ROGAN: DO QUANTUM COMPUTERS PROVE THE MULTIVERSE EXISTS? "There's an equation that quantum computers solve quickly, like in a couple of minutes, that if you converted the entire universe into a computer, it would take so much time to solve this equation that the universe would die of heat death. And these quantum computers can solve it in minutes. They believe this is proof of the multiverse, that this quantum computer is somehow connected to other sources of computing power in an infinite number of universes." Source: Joe Rogan Experience

Mario Nawfal

65,696 次观看 • 1 年前

Meet physics-intern🧑‍🎓, our agentic framework for theoretical physics. It takes Gemini 3.1 Pro from 17.7% to 31.4% on CritPt, a new SOTA on one of the hardest benchmarks for LLMs. Theoretical physics is hard for humans and LLMs alike. But physics-intern decomposes problems and dispatches them to a team of specialized agents, solving research-level questions far more effectively than the base model alone.

Meet physics-intern🧑‍🎓, our agentic framework for theoretical physics. It takes Gemini 3.1 Pro from 17.7% to 31.4% on CritPt, a new SOTA on one of the hardest benchmarks for LLMs. Theoretical physics is hard for humans and LLMs alike. But physics-intern decomposes problems and dispatches them to a team of specialized agents, solving research-level questions far more effectively than the base model alone.

David Louapre

112,251 次观看 • 1 个月前

We can solve all the problems our country is facing – but not if we are fighting one another. We can only solve them if we come together. I want to be a President who will unite America. Thanks for the invigorating conversation, NEWSMAX.

We can solve all the problems our country is facing – but not if we are fighting one another. We can only solve them if we come together. I want to be a President who will unite America. Thanks for the invigorating conversation, NEWSMAX.

Robert F. Kennedy Jr

196,439 次观看 • 1 年前

We are sick in Africa. How can people be praying for a spoilt transformer. Watch this video and know that we have major problems.

We are sick in Africa. How can people be praying for a spoilt transformer. Watch this video and know that we have major problems.

Senator Dino Melaye. (SDM)

184,179 次观看 • 2 年前

Engineering feats can solve tough problems across the globe. And in the heart of Xiamen, China, we find an example of excellent problem-solving: a Guinness World Records-winning train station that can shift a whole 90 degrees!

Engineering feats can solve tough problems across the globe. And in the heart of Xiamen, China, we find an example of excellent problem-solving: a Guinness World Records-winning train station that can shift a whole 90 degrees!

The China Current

2,096,971 次观看 • 3 年前

Axiom Math founder Carina Hong on why math is the path to general superintelligence: “Math is the sandbox for reality. You very quickly see verifiable rewards because in math, there’s an absolute right or wrong.” “And especially when you have Lean, you can check the proof or solution step by step. You’ll be able to apply reinforcement learning in a much more efficient way.” “We have currently scaled from winning a Putnam perfect score to solving a batch of research problems that professional mathematicians find really challenging. And we also see this transfer to code verification.”

Axiom Math founder Carina Hong on why math is the path to general superintelligence: “Math is the sandbox for reality. You very quickly see verifiable rewards because in math, there’s an absolute right or wrong.” “And especially when you have Lean, you can check the proof or solution step by step. You’ll be able to apply reinforcement learning in a much more efficient way.” “We have currently scaled from winning a Putnam perfect score to solving a batch of research problems that professional mathematicians find really challenging. And we also see this transfer to code verification.”

TBPN

39,589 次观看 • 3 个月前

QUANTUM COMPUTING: THE FUTURE IS NOW IBM recently announced a quantum computer capable of solving problems in minutes that would take today's supercomputers millions of years. Developed by IBM, Google, and others, quantum computers push the boundaries of science and engineering, utilizing atomic forces to achieve unprecedented computational power. A simple maze shows how quantum computing can outpace classic computers. Michio Kaku: “All the big boys who are in this race to create a workable, operationally efficient quantum computer because the nation or company that does this will rule the world economy.” Source: 60 Minutes

QUANTUM COMPUTING: THE FUTURE IS NOW IBM recently announced a quantum computer capable of solving problems in minutes that would take today's supercomputers millions of years. Developed by IBM, Google, and others, quantum computers push the boundaries of science and engineering, utilizing atomic forces to achieve unprecedented computational power. A simple maze shows how quantum computing can outpace classic computers. Michio Kaku: “All the big boys who are in this race to create a workable, operationally efficient quantum computer because the nation or company that does this will rule the world economy.” Source: 60 Minutes

Mario Nawfal

327,790 次观看 • 1 年前

Milestone! We (robotic arms for gadgets assembly) finished the first commercial order, which brought the first revenue. Here are some learnings from this: The customer was a smart toy manufacturer. The task was to add a heatsink to Raspberry Pi. We received parts from them and returned the assembled modules back. Currently, it's done by teleoperation. Later it will be done by a remote employee via the Internet. Then it will be automated action by action, reducing the operator's time on this and making the task profitable. ps. If you have an assembly task that we can do for you asynchronically - leave a comment below. Learning 1. It's possible! This task which is usually done by the human arm with 5 fingers can be done with a two-finger gripper with the addition of a couple of simple tooling. The task was not simplified. We peeled off thin films from stickers, unpacked paper boxes, moved PCB boards full of components, etc. And no unsolvable problems have been encountered yet. Challenges: 1) The paper box shifted during the opening Solved with the plastic walls that you can lean against 2) Heat pad, stuck to the gripper instead of heat sync. Can be solved by gripper with a pump, but this time solved with the patience of the operator 3) The film on the pad is very thin. Turned out that sub-millimeter arm precision is enough to peel it off with just a regular gripper. 4) The working area has not enough space. You'll only know this by doing real tasks in bulk. This could be solved by an extra pair of long arms, but in this case, solved with the patience of the operator. I think that in the end, we will have 5-10 types of universal tooling and 5-10 types of grippers to solve almost all the problems in such assembly tasks. Learning 2. It's slow. It took 5 times more time, than doing it with human hands. But the good news is there's a lot of room for improvement. We now have specific “time for task” metrics, which we will decrease with iterations. The main reasons for slowness: 1) To rotate the gripper to a steep angle you are forced to control one robot arm with two hands instead of using both arms. We can fix this by just making more room for rotations. 2) Grabbing PCB board with two arms is hard. A slight difference in rotation can break the board, and it's hard to control these angles visually. To solve this, the best way is to use force feedback so you can feel the pressure applied to the item. 3) Accuracy and steadiness is still can be improved We will try a metal version and double the motors to do this. 4) It is physically difficult for the human hands to move with such precision To solve this, we will add a pad for the hands like in surgical robots Learning 3. It's a good business model The "Factory in the cloud" is a good business model for this stage. You send us parts and we send back assembled modules. Currently, it's more convenient than sending a robot to your place, as we can iterate/fix the robot quickly and utilize it 100% of the time. When we polish the set-up over time - we can send robots to your place. So if we can assemble something for you in the USA with Chinese prices by using modern automation - leave a comment below.

Milestone! We (robotic arms for gadgets assembly) finished the first commercial order, which brought the first revenue. Here are some learnings from this: The customer was a smart toy manufacturer. The task was to add a heatsink to Raspberry Pi. We received parts from them and returned the assembled modules back. Currently, it's done by teleoperation. Later it will be done by a remote employee via the Internet. Then it will be automated action by action, reducing the operator's time on this and making the task profitable. ps. If you have an assembly task that we can do for you asynchronically - leave a comment below. Learning 1. It's possible! This task which is usually done by the human arm with 5 fingers can be done with a two-finger gripper with the addition of a couple of simple tooling. The task was not simplified. We peeled off thin films from stickers, unpacked paper boxes, moved PCB boards full of components, etc. And no unsolvable problems have been encountered yet. Challenges: 1) The paper box shifted during the opening Solved with the plastic walls that you can lean against 2) Heat pad, stuck to the gripper instead of heat sync. Can be solved by gripper with a pump, but this time solved with the patience of the operator 3) The film on the pad is very thin. Turned out that sub-millimeter arm precision is enough to peel it off with just a regular gripper. 4) The working area has not enough space. You'll only know this by doing real tasks in bulk. This could be solved by an extra pair of long arms, but in this case, solved with the patience of the operator. I think that in the end, we will have 5-10 types of universal tooling and 5-10 types of grippers to solve almost all the problems in such assembly tasks. Learning 2. It's slow. It took 5 times more time, than doing it with human hands. But the good news is there's a lot of room for improvement. We now have specific “time for task” metrics, which we will decrease with iterations. The main reasons for slowness: 1) To rotate the gripper to a steep angle you are forced to control one robot arm with two hands instead of using both arms. We can fix this by just making more room for rotations. 2) Grabbing PCB board with two arms is hard. A slight difference in rotation can break the board, and it's hard to control these angles visually. To solve this, the best way is to use force feedback so you can feel the pressure applied to the item. 3) Accuracy and steadiness is still can be improved We will try a metal version and double the motors to do this. 4) It is physically difficult for the human hands to move with such precision To solve this, we will add a pad for the hands like in surgical robots Learning 3. It's a good business model The "Factory in the cloud" is a good business model for this stage. You send us parts and we send back assembled modules. Currently, it's more convenient than sending a robot to your place, as we can iterate/fix the robot quickly and utilize it 100% of the time. When we polish the set-up over time - we can send robots to your place. So if we can assemble something for you in the USA with Chinese prices by using modern automation - leave a comment below.

Igor Kulakov

37,266 次观看 • 1 年前

Deepa Soni, the executive vice president and CIO of New York Life Insurance Company sees AI as a "strategic enabler." “It’s not technology waiting to solve a business problem, but there are actual business problems that we can solve now with AI that we could not before.”

Deepa Soni, the executive vice president and CIO of New York Life Insurance Company sees AI as a "strategic enabler." “It’s not technology waiting to solve a business problem, but there are actual business problems that we can solve now with AI that we could not before.”

TIME

909,576 次观看 • 22 天前

The list of all the problems in mathematics that Terence Tao *could* solve is absolutely enormous. The problem is we can't make copies of him, dump millions of dollars of inference compute into each copy, and have them each tackle a different Millennium Prize Problem for a hundred subjective years. But we can do that with AI. So in that way, we may be underrating how significant it will be when we have AIs that are not superintelligent but rather simply as good as the best humans today. It’s actually an extremely powerful property of AI that by just running copies in parallel, you can immediately fill in the waterline of accomplishments that are feasible with a given level of capabilities.

The list of all the problems in mathematics that Terence Tao could solve is absolutely enormous. The problem is we can't make copies of him, dump millions of dollars of inference compute into each copy, and have them each tackle a different Millennium Prize Problem for a hundred subjective years. But we can do that with AI. So in that way, we may be underrating how significant it will be when we have AIs that are not superintelligent but rather simply as good as the best humans today. It’s actually an extremely powerful property of AI that by just running copies in parallel, you can immediately fill in the waterline of accomplishments that are feasible with a given level of capabilities.

Dwarkesh Patel

98,804 次观看 • 2 个月前

In this simple example, we show that Claude Code can read the iMessage database on the latest version of macOS, even with a leading EDR running on the system, illustrating the impact of an adversary who can remotely control the agent. We do this using Terminator, an internal research tool we built while studying the security implications of computer use agents. In this setup, the terminal application has previously been granted FDA, a subtle misconfiguration that effectively gives the agent access to unexpected context.

In this simple example, we show that Claude Code can read the iMessage database on the latest version of macOS, even with a leading EDR running on the system, illustrating the impact of an adversary who can remotely control the agent. We do this using Terminator, an internal research tool we built while studying the security implications of computer use agents. In this setup, the terminal application has previously been granted FDA, a subtle misconfiguration that effectively gives the agent access to unexpected context.

Origin

17,987 次观看 • 7 个月前

✨🇨🇳In China, first-grade children are having a math competition on an interactive whiteboard. They compete in a fun game by solving arithmetic problems, making math learning super engaging!

✨🇨🇳In China, first-grade children are having a math competition on an interactive whiteboard. They compete in a fun game by solving arithmetic problems, making math learning super engaging!

🇨🇳XuZhenqing徐祯卿

113,913 次观看 • 4 个月前

Dr. Phil Goes Off Script With Stunning Criticism of the US Government “We got people in charge of solving problems that don’t really want to solve them because their job depends on having that problem. “They need that problem to justify their existence. They need that problem to maintain this huge bureaucracy, to maintain this big budget, this big agency. They need that problem to exist. I think we’ve got people in charge of solving problems that are not problem solvers.”

Dr. Phil Goes Off Script With Stunning Criticism of the US Government “We got people in charge of solving problems that don’t really want to solve them because their job depends on having that problem. “They need that problem to justify their existence. They need that problem to maintain this huge bureaucracy, to maintain this big budget, this big agency. They need that problem to exist. I think we’ve got people in charge of solving problems that are not problem solvers.”

The Vigilant Fox 🦊

2,147,237 次观看 • 2 年前