korrents

AI and science

Models used to do science rather than to write: rediscovering laws from data, compressing decades of biology, refereeing a proof.

What people on korrents have said about AI and science, newest first — 8 positions from 4 people.

FilterEveryone, all time
Who Everyone TTTerence Tao 5 DADario Amodei 1 JHJensen Huang 1 LFLex Fridman 1
When All time Past 1 yearPast 3 yearsPast 5 years
  1. JH

    Jensen Huang quoted

    Our readingUnderstanding the biological machine is about five years away, not ten.

    Their wordsUnderstanding the biological machine is right around the corner. It's, it's not 10 years. It's five years probably.

    ↗Jensen Huang: NVIDIA - The $4 Trillion Company & the AI Revolution | Lex Fridman Podcast #494youtube.com 22nd of 23 in this recording

    Interesting
  2. 9 months earlier
  3. LF

    Lex Fridman quoted

    Our readingAI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.

    Their wordsI don’t believe it’s providing a kind of formal explanation of the different positions. It’s just saying which position is better or not that you can intuit as a human being, and then from that, we humans can construct a theory of the matter.

    ↗Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472youtube.com 2nd of 20 in this recording

    mathematics

    Interesting
  5. TT

    Terence Tao quoted

    Our readingSolving one Olympiad problem with three days of Google's server time shows what is possible, but the approach does not scale.

    Their wordsYeah, these are great work that shows what's possible. The approach doesn't scale currently. Three days of Google's server time can solve one high school math format there. This is not a scalable prospect, especially with the exponential increase as the complexity increases.

    ↗Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472youtube.com 7th of 20 in this recording

    Google

    Interesting
  7. TT

    Terence Tao quoted

    Our readingAI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder.

    Their wordsVery rarely do you transform into a simpler problem. So if they can pick up a sense of smell, then they could maybe start competing with a human level of mathematicians.

    ↗Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472youtube.com 8th of 20 in this recording

    mathematics

    Interesting
  9. TT

    Terence Tao quoted

    Our readingHis prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.

    Their wordsThere are certainly math results which could only have been accomplished because there was a human authentication and an AI involved, but it's hard to disentangle credit. I mean, these tools, they do not replicate all the skills needed to do mathematics, but they can replicate some non-trivial percentage of them, 30, 40%, so they can fill in gaps.

    ↗Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472youtube.com 10th of 20 in this recording

    mathematics

    Interesting
  11. TT

    Terence Tao quoted

    Our readingThis decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful.

    Their wordsYeah, this decade I can see it making a conjecture between two things that people would thought was unrelated.

    ↗Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472youtube.com 11th of 20 in this recording

    Interesting
  13. TT

    Terence Tao quoted

    Our readingCurrent AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect.

    Their wordsThe dream is you just feed it all this data, and this is here is a new patent that we didn't see before, but it actually, even the current state of the art even struggles to discover old laws of physics from the data.

    ↗Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472youtube.com 12th of 20 in this recording

    physics

    Interesting
  14. 8 months earlier
  15. DA

    Dario Amodei quoted

    Our readingPowerful AI will compress the biological and medical progress of the next 50-100 years into 5-10 years.

    Their wordsTo summarize the above, my basic prediction is that AI-enabled biology and medicine will allow us to compress the progress that human biologists would have achieved over the next 50-100 years into 5-10 years.

    ↗Machines of Loving Grace (October 2024)darioamodei.com

    Interesting