抽丝剥茧
约翰·库克在博文中探讨了一条贯穿其多篇文章的隐线：从一篇评论“exp(−x²) ≈ (1 + cos(sin(x) + x))/2”近似公式的帖子开始，指出网上有人将此归因于泰勒级数的首项近似，而他则揭示了更深层的数学联系。文章展示了如何从一个看似简单的观察出发，逐步挖掘出更丰富的知识脉络。
相关报道
A brain-computer interface (BCI) allowed a man with ALS to communicate independently and accurately. The system translates brain signals into text or speech, offering a potentially life-changing tool for individuals with severe motor impairments.
Researchers are developing computational methods to model intrinsically disordered proteins (IDPs), which lack a fixed structure and are linked to diseases like cancer and Alzheimer's. By simulating these 'invisible' protein states, AI can better predict their behavior, offering new avenues for drug discovery and understanding biological processes.
The article argues against viewing the human brain as a computational machine, emphasizing that biological cognition differs fundamentally from artificial intelligence in its embodied, emotional, and social dimensions.
This paper evaluates whether LLMs faithfully solve and autoformalize legal reasoning problems. It finds that while LLMs show some proficiency in translating legal text to formal logic and reasoning with it, significant faithfulness gaps remain, particularly in complex legal contexts.
FineSet provides curated, quality-scored ML research datasets in JSONL format, sourced from ArXiv and Semantic Scholar papers, designed for training and evaluating machine learning models.