Skip to main content
The Bright Side
arrow_backHome
AI can now solve complex mathematical research problems, scientists say
Business & Technology
Daily Star (BD) Tech & StartupEN
October 12, 2026

AI can now solve complex mathematical research problems, scientists say

AI systems solved and verified over 300 open math problems using formal Lean proofs, signaling a major leap for automated research.

Read More

Curated from Daily Star (BD) Tech & Startup. Classified as Business & Technology by AI, which sometimes makes mistakes.

Why are you reporting this article?

Why are you reporting this article?
0/500

More like this

More ›