avsegal

I'm not sure it's just a matter of explaining... If it's just explaining, than sure, that's something they already do well.

The questions I have are:

  * is the structure of the generated proof even compressible/elegant to humans in a way that lends itself to being understood?
  * is it possible to transform the proofs to ones that are elegant without redoing all the work?
  * are there incentives to do any of this at scale?

It's possible that a headline grabbing proof of a Millennium Prize problem generates enough incentive for people to simplify and gain understanding from it, but we run into problems when AI becomes the dominant approach for all of math. Although, maybe this is self-limiting? I guess it's possible we just ignore a bunch of AI generated proofs and only keep the ones people find comprehensible in a useful way.

You can always hypothesize that at some point in the future (maybe 5 years? maybe later?) the models will be indistinguishable from humans and there will not be any functional difference at all. It's possible, but we're not there yet. And, as they say, past performance does not guarantee future results. Many technologies plateau at some hard ceiling of performance. Moore's law has had an unusually long run, but it's not a universal rule.

Sure, but who will care?

If no one understands it, it may as well have not happened. There's not much incentive to understand or internalize the results generated by AI. A human operator gives it a prompt and it produces some lean proof no one wants to (maybe can) read.

Without the community of human mathematicians internalizing the proof, simplifying it, and re-communicating it to others we end up losing the main output of mathematics as an institution.

This isn't too expensive for Tesla, it's just nowhere near the level needed for an AV. Automotive lidars are 10-20 scans/second, rated for dust/rain/etc, and need a range of at least 50 meters, but 100-200 is more ideal. Not a fan of Tesla's approach, but I wanted to clarify that it's not like they can just use a lidar like this and call it a day. The specs are completely different and that really drives up cost!

FREELANCER & SEEKING FREELANCER| San Francisco & Remote

Skip Robotics designs algorithms and software for mobile robots. We build custom algorithms mainly focused on sensor fusion, perception, and mobile robotics. Also looking for other freelancers in this space who would be interested in working together. We're a small, bootstrapped company with a focus on high quality & reliable work. C++ experience & solid grasp of numerical programming required.

https://www.skiprobotics.com/ or email [email protected]

SEEKING WORK | San Francisco / Remote | Robotics

Skip Robotics is a boutique robotics consulting & engineering company with over 15 years of academic / industry experience. We develop custom perception and state estimation algorithms and often advise on robotics engineering strategy.

email: info@[our-website].com website: https://www.skiprobotics.com/

SEEKING FREELANCER | C++ Robotics Engineer | Remote (United States)

Skip Robotics is looking for a C++ Robotics Engineer to help with specific projects. Part time possible. Looking for someone comfortable with C++, ROS, and numerical programming.

Website: https://www.skiprobotics.com/ Email: contact at skiprobotics dot com