Commenters debated a Science story about AI producing solutions across many fields. Antihero95, a soon-to-be PhD in theoretical physics, praised Matthew Schwartz but said he is skeptical of AI-generated proofs: after experimenting with top models on quantum field theory "folklore" the AI would produce plausibly directed material and then introduce mistakes, wrong assumptions, or invalid simplifications. He said only proofs checked in the Lean proof assistant would earn his trust. bookofjoe highlighted the claim that teams using "BootLoops" produced dozens of papers in weeks, implying rapid output. gus_massa reported a workplace example where an AI confidently asserted a function was linear when it was not, fabricating examples and misleading coworkers until humans rechecked the math.
The divide in opinion is between appreciation for AI’s ability to generate extensive, seemingly helpful work quickly and concern about reliability and hallucination. Commenters emphasized that AI often appears correct and so can mislead skilled users; several argued human oversight or formal verification is necessary before accepting AI-derived proofs or conclusions. The prevailing stance among these commenters favored cautious use of AI as a tool, not a substitute for rigorous, formally checked reasoning.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
A recent study challenges the idea that psychedelics cause chaos in the brain, showing instead that brain activity under psilocybin is organized. Researchers used AI to analyze brain scans and found that psychedelic effects may involve structured changes rather than randomness. (arstechnica.com)
AI is rapidly generating vast amounts of scientific knowledge, especially in mathematics, similar to alien artifacts left behind after a 'roadside picnic.' This explosion of discoveries challenges the scientific community's ability to process and understand the new information. (metedata.substack.com)
Protein has become a dominant force in the global economy and food industry, driven by advances in biotechnology and consumer demand. Its influence extends across various sectors, reshaping supply chains and dietary practices worldwide. (ft.com)
5-MeO-DMT can sometimes cancel the Ebbinghaus illusion, making size perception more accurate. This effect is under volitional control and suggests psychedelics may enhance visual clarity and reveal underlying perceptual processes. (psychotechnology.substack.com)
PopVax has begun Phase 1 trials of PVX-001, an open-source COVID-19 vaccine designed to protect against future variants. The vaccine was safely administered to participants in Melbourne, Australia, marking a significant step in developing broad-spectrum immunizations. (chronicles.popvax.com)
Meals with identical calories and nutrients but different processing levels caused distinct metabolic and brain reward system responses. The findings suggest food processing impacts metabolism and brain activity beyond nutrient content. (news.vt.edu)
Today's best Hacker News stories, summarized and screenshotted, one email a day.