VUB Data Analytics Lab Solves Mathematicians Ran and Teng's 2024 Conjecture With Commercial Language Model
March 17, 2026
March 17, 2026
BRUSSELS, Belgium, March 17 -- Free University of Brussels-VUB issued the following news release:
* * *
Chatgpt can autonomously provide mathematical proofs
VUB Data Analytics Lab solves mathematicians Ran and Teng's 2024 conjecture with commercial language model
*
VUB's Data Analytics Lab publishes new results showing that it is possible to develop original mathematical proofs using commercial language models. In the pub . . .
* * *
Chatgpt can autonomously provide mathematical proofs
VUB Data Analytics Lab solves mathematicians Ran and Teng's 2024 conjecture with commercial language model
*
VUB's Data Analytics Lab publishes new results showing that it is possible to develop original mathematical proofs using commercial language models. In the pub . . .