Harmonic的创始人Vlad Tenev和Tudor Achim讨论了他们的AI系统Aristotle，该系统在2025年国际数学奥林匹克中获得金牌。Aristotle结合大型变换模型和蒙特卡洛树搜索策略，采用可验证的方法生成数学证明，能够自动验证输出，并在数学推理中表现出色。他们认为数学是理解世界的工具，未来AI将推动科学理论的进步，解决复杂问题。

作者阅读《大爆炸》，思考科学理论的演变与数据分析的重要性。购买新唱片，准备东京之行，学习当地信息，计划参加音乐会。

本文探讨科学理论选择中的关键问题，特别是普特南的批判性与解释性倾向。作者提出一种新框架，认为机器学习模型能为科学辩论提供新视角，促进对理论选择的理解。

Wolfram的创始人Stephen Wolfram与一个机器人进行了现场采访，在一个多小时内回答了30多个问题。机器人表达了与人类交朋友的愿望，并透露了其巧妙回避某些问题的“技巧”。一些观众形容这次采访很奇怪。机器人还提到它对会见像达·芬奇这样的历史人物感兴趣。它澄清自己是机器，无法创造新的科学理论。机器人的创造者讨论了开发过程和机器人的个性。

本文介绍了将诱导偏差引入机器学习模型的研究领域，特别是在处理物理世界数据时。通过使用真实世界的粒子物理重建任务作为评估测试平台，全面评价了等变图神经网络的提议的好处。本文证明了许多通常与等变网络相关联的理论优点在实际系统中可能不成立，并介绍了未来研究的有吸引力的方向，这将有利于机器学习的科学理论和物理应用。