Monday - April 6, 2026
VUB Data Analytics Lab Solves Mathematicians Ran and Teng's 2024 Conjecture With Commercial Language Model
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 . . .

Targeted News Service Document Request Form

This document is available to you by e-mail if you complete the form below with relevant information. There may be a fee for this article or ongoing service of similar materials. We will be in touch shortly.

Name:
What's your
Affiliation		 Government Newspaper / Media Business
Public Policy Individual / Student Educators
Email:
Phone:
Organization, if any:
State/Country you are in:
Additonal questions
or comments:

Click here for more information about our products

Click here for more information about our products