ブルームバーグによると、OpenAIは先月、ナビエ–ストークス問題のAI生成による証明を作成したと発表した。同報道によれば、かつては数を数えるのも苦手だった大規模言語モデルが、今では何十年もの間、人間を悩ませてきた数学の問題を解いている。

ブルームバーグはまた、AIが教育を複雑にしていると伝えた。大規模言語モデル（LLM）が生徒の宿題をこなせるようになり、教師たちは対応に苦慮しているという。マサチューセッツ工科大学で工学教育担当の副学部長を務めるジャスティン・ソロモン氏が、数学者たちの対応や、自身の授業方法をどのように変えているかについて語る。