OpenAI’s neural theorem prover can solve Math Olympiad problems

162Upvotes

More from Republic of Math

The Best Route for an Optimal Result with Math

244 views ·

Indian-origin schoolgirl youngest on UK team for Europe Math Olympiad

450 views ·

Mathematics, as many other scientific fields and our society as a whole, is facing a big challenge in the way we operate. We are used to travel, to meet and to cooperate in person. Over the centuries, many important mathematical developments have emerged as we work at the blackboard together. This way of doing research is very restricted right now and we can anticipate that this will continue for quite some time. But we are creative. E-seminars and webinars have emerged in many mathematical communities, new methods of teaching, research collaboration and communication are being explored. Some will be adopted by the mathematical community, and I guess others will not, once we return to a more normal way of life. But in the meantime we will make the best of it, I am sure, despite second and third waves hitting us.

459 views ·

More from Republic of Math

The Best Route for an Optimal Result with Math

244 views ·

Indian-origin schoolgirl youngest on UK team for Europe Math Olympiad

450 views ·

Mathematics, as many other scientific fields and our society as a whole, is facing a big challenge in the way we operate. We are used to travel, to meet and to cooperate in person. Over the centuries, many important mathematical developments have emerged as we work at the blackboard together. This way of doing research is very restricted right now and we can anticipate that this will continue for quite some time. But we are creative. E-seminars and webinars have emerged in many mathematical communities, new methods of teaching, research collaboration and communication are being explored. Some will be adopted by the mathematical community, and I guess others will not, once we return to a more normal way of life. But in the meantime we will make the best of it, I am sure, despite second and third waves hitting us.

459 views ·