(IMAGE)

Institute of Science and Technology Austria

Caption

The Project Numina Fellowship received by ISTA Professor Tamás Hausel supports scientists in accelerating their research with AI tools designed for mathematical reasoning.

Credit

© ISTA

Usage Restrictions

For use with this release

License

Original content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.