Newsletters
ePaper
Sign in
Home
India
Assembly Polls 2024
Karnataka
Opinion
World
Business
Sports
Entertainment
Video
News Shots
Explainers
Bengaluru
Science
Trending
Photos
Brandspot
DH Specials
Home
News Shots
Trending
Menu
×
ADVERTISEMENT
ADVERTISEMENT
Ramanujan Machine
A machine that spews maths formulae
Do you recollect knowing axioms and proving theorems in your high school mathematics class? Most theorems start as conjectures — a proposition that is believed to be true but without enough formal proof. Now, scientists have developed computer algorithms that can spew such conjectures rapidly by looking at patterns of numbers. Proving them, however, is still up to us.
04 March 2021, 02:04 IST
A machine that spews maths formulae
04 March 2021, 02:04 IST