Kevin赞同Jakub，AI数学从小学到研究级进步是关键评估
在短短几年内，我们从难以完成小学数学的人工智能系统，发展到能够解决研究级数学问题的人工智能系统。我同意 Jakub 的看法，这可能是目前最重要的评估。我也很确定主要的反应会是“这没那么难”:)
对“First Proof”挑战感到非常兴奋。我相信新颖的前沿研究或许是评估下一代AI模型能力的最重要方式。我们已经在十个提出的问题上，以有限的人类监督运行了内部模型。
对“First Proof”挑战感到非常兴奋。我相信新颖的前沿研究或许是评估下一代AI模型能力的最重要方式。我们已经在十个提出的问题上，以有限的人类监督运行了内部模型。