Matt M Petersen

Engineer and researcher. Interested in AI and what it can tell about our own thinking.

[Matt M Petersen @mattmpetersen2]

@Masculine_Pulse Here 48, doing it since 20. Now in VR. Lots of fun. Real stuff is fun too but mind games are extra.

[Matt M Petersen @mattmpetersen2]

@verbine OK so cultural disagreement. I am old-fashioned. Good luck.

[Matt M Petersen @mattmpetersen2]

@alex_avoigt You need to have evidence when making claims.

Tesla is still a rounding error, while Waymo has a remarkable safety record over 200 million miles.

[Matt M Petersen @mattmpetersen2]

@teslayoda Ponzi scheme.

[Matt M Petersen @mattmpetersen2]

@DavidSKrueger It is a valid concern, but wrapping it in apocalyptic and anthropomorphic language is not helping.

[Matt M Petersen @mattmpetersen2]

@pmddomingos It well get harder and harder to tell the difference. Functionally, at least.

[Matt M Petersen @mattmpetersen2]

@TivadarDanka You have to look at overall system, including tools, and it's ef free effectiveness.

[Matt M Petersen @mattmpetersen2]

@politeabox @AndyXAndersen Reaching for the block button so much is bad sign. Dude, what are you scared of?

[Matt M Petersen @mattmpetersen2]

@JoshConstine This assume that Tesla can do better. Which the need to validate, with no driver, on large scale.

[Matt M Petersen @mattmpetersen2]

@deliprao I would think such an assertion is unjustified. What conclusion funding agencies draw is not relevant here. The hope is that they will be smart enough to understand that formal verification is only a part of what mathematicians do.

[Matt M Petersen @mattmpetersen2]

@GeniusPothead @pmddomingos Sadly neural nets alone are not too interpretable. I mean computational yeah, interpretable not. LLM actually helped here. The weights of tokens may not be interpretable, but at least the tokens produce something readable.

[Matt M Petersen @mattmpetersen2]

@promiscfx The only thing that is left is some kind of manipulation based on learned rules. So yeah, neural nets gut it all, because the logical rules and the symbols were too rough to be useful.

[Matt M Petersen @mattmpetersen2]

@macces012 You do all this based on demo, by comparing with a company that did not kill anybody in 8 years and 100 million miles.

[Matt M Petersen @mattmpetersen2]

@_ianwatts_ Safety is not proven. It is very hard to understand that.

If you don't have the foundation, it does not matter what you build on top.

[Matt M Petersen @mattmpetersen2]

@pmddomingos Exactly. Symbols or not symbols was never the argument (despite what Marcus would say).

The question is always how fine the level of abstraction should be, and how to properly manipulate them.

Then need grounding in either case.

[Matt M Petersen @mattmpetersen2]

@mario_cibelli You are conflating download of an app with miles on the road.

Seriously. A lot of Tesla fans logic is like this.

[Matt M Petersen @mattmpetersen2]

@_ianwatts_ We shall see. I so much doubt these are the final numbers. Tesla is wildly optimistic.

Then, Waymo can do two seater too. They focused on the hard part. Safety first. Cost later. Tesla does opposite. We will see.

[Matt M Petersen @mattmpetersen2]

@_ianwatts_ @zachtratar Electricity usage per mile is never the metric anyway. That is dirt cheap.

It is cost of the engineering, server farms, support.

And above all it is safety. Tesla is sorely lacking evidence here.

[Matt M Petersen @mattmpetersen2]

@zachtratar @_ianwatts_ The current numbers per mile are promotional. Tesla only got a show now, no real deployment that can be measured over months, no federal permit either.