Links for 2023-03-02
Check Your Facts and Try Again: Improving Large Language Models with External Knowledge and Automated Feedback -- significantly reduces ChatGPT’s hallucinations without sacrificing the fluency and informativeness of its responses. https://arxiv.org/abs/2302.12813
“LLMs are pretty good at writing SQL, but still struggle with some things (like joins) 🤯 But what if you use an *agent* to interact with SQL DBs? In the example below, it tries a join on a column that doesn't exist, but then can see the error and fixes it in the next query” https://twitter.com/hwchase17/status/1630969308078829573
“How good are language models at formalizing undergraduate math? We explore this in "ProofNet: autoformalizing and formally proving undergraduate-level mathematics"” https://threadreaderapp.com/thread/1630087513640431616.html
Language-Driven Representation Learning for Robotics https://arxiv.org/abs/2302.12766
“If capable AI agents are generally incentivized to seek power in service of the objectives we specify for them, then these systems will pose enormous risks, in addition to enormous benefits…We show that a range of qualitatively dissimilar decision-making procedures incentivize agents to seek power.” https://www.lesswrong.com/posts/GY49CKBkEs3bEpteM/parametrically-retargetable-decision-makers-tend-to-seek
AI Risk Skepticism -A Comprehensive Survey https://www.researchgate.net/publication/368685319_AI_Risk_Skepticism_-A_Comprehensive_Survey
How would you discover the generalized Stokes's theorem? https://github.com/danielvoconnor/calc_on_manifolds_intuition
Adam Topaz on Scholze’s liquid tensor experiment formally verifying an important foundational theorem in condensed mathematics, and the unexpected benefits of the experiment beyond just verifying the theorem. https://www.youtube.com/watch?v=RhTN6g4E4eM
A fascinating interview about the Anglo-Dutch Wars – a series of wars between two of history’s greatest maritime nations. As Lambert notes in the video, speaking about the Enlightenment, “The Dutch got there first, and the English borrowed all of that.” https://www.youtube.com/watch?v=RoB_wAcgZQM
Changing cancer's course: How genetic science gave 3 All-American athletes a future https://www.ksl.com/article/50576831/changing-cancers-course-how-genetic-science-gave-3-all-american-athletes-a-future
A spontaneous gravity prior: newborn chicks prefer stimuli that move against gravity https://royalsocietypublishing.org/doi/10.1098/rsbl.2022.0502
Fear Face: New Study Finds Organized Crime Members Excel at Detecting Fear https://www.psychnewsdaily.com/fear-face-organized-crime-detecting-fear/
“The Copenhagen Interpretation of Ethics says that when you observe or interact with a problem in any way, you can be blamed for it. At the very least, you are to blame for not doing _more_” https://blog.jaibot.com/the-copenhagen-interpretation-of-ethics/
FBI Director Wray acknowledges bureau assessment that Covid-19 likely resulted from lab incident https://edition.cnn.com/2023/02/28/politics/wray-fbi-covid-origins-lab-china/index.html
Even the smartest people once struggled to accept concepts that we now ask students to accept after a brief and superficial introduction: https://www.smbc-comics.com/comic/how-math-works