陶哲轩

在当今人工智能技术迅猛发展的背景下，AI在数学研究中的应用已经引起了广泛关注。最近，著名数学家陶哲轩通过使用AI工具o3-mini成功挑战了图论中的一个专家级证明，这一事件不仅展示了AI在数学领域的潜...

近期，美国学术界因特朗普和马斯克推动的科研经费削减政策而陷入动荡。这一政策不仅引发了广泛的抗议，还可能导致大量科学家离开美国，寻找更有利的研究环境。😨NIH（美国国立卫生研究院）宣布削减科研经费，这一...

近期，OpenAI发布了其最新的人工智能模型GPT，4.5，这一发布引起了广泛的关注和讨论，尽管API价格的显著上涨成为了一个争议点，但GPT，4.5在性能上的提升也是不容忽视的，本文将从多个角度对G...