Simons-Laufer数学科学研究所(SLMath)宣布三项新研究计划:AxIOM(2027年春季开始)、PROOF(2026年夏季开始,申请截止日期为2025年10月12日)和LATTICE(2026年夏季开始,申请截止日期为2026年2月1日)。
谷歌推出了一款基于Gemini 2.0系统的AI共同科学家,旨在帮助科学家制定新假设和研究计划。研究人员可以用自然语言指定研究目标,AI将提出可测试的假设、相关文献摘要和实验方案。这是一个协作工具,旨在帮助专家收集研究和完善工作,而非自动化科学过程。
证伪主义是卡尔·波普尔提出的判断标准,通过证明理论错误来区分科学与伪科学。然而,这一观点被认为不正确。伊姆雷-拉卡托斯的《科学研究计划方法论》是波普尔证伪主义的继承者,强调研究计划的历史轨迹。研究计划由核心和保护带组成,核心无法预测,但核心+保护带可以。如果研究计划不断修正却得不到证实,就应怀疑该理论。如果研究计划做出新颖预测并得到证实,就是进步。伪科学固执地坚持退化的研究计划。
完成下面两步后,将自动完成登录并继续当前操作。