History
Since when has AI in math been used and for what?
AI has been used in math since 1970, originally performing automatic theory proving (ATP) and theory proving with human assistance.
What does AI EXCEL in?
AI excels in cross referencing between hundreds of different sources.
Name a few things AI are used in daily.
-
What does the core architecture of AI in math involve?
The core architecture of AI involves high dimensional data representations and transformations.
What is the difference between syntax and semantics?
Syntax: The arrangement and manipulation of symbols
Semantics: The ability to understand the context of the symbols
What does AI work as? (what kind of tools and benefits)
AI frequently works as a verification tool, brainstormer, and proof assistants that allow mathematicians to reduce curiosity costs and continue moving forward without wasting time checking their work.
What is AI being used in?
AI is being used in finance to automate high frequency trading, manage risk portfolios, and prices complex financial derivatives.
What is heuristic searching?
Heuristic searching involves AI systems making educated guesses to find answers.
What can AI help in which helps humans significantly?
- AI is great at finding small errors in human work
- AI can help spot hidden patterns
What "science" is AI used in? And to solve what?
AI is used in climate science as it can solve weather prediction equations significantly faster than super computers
What does AI frequently make errors in?
Frequently AI makes hidden assumptions and overconfidence in wrong answers.
What are AI systems using?
AI systems are using advanced mathematical reasoning to determine software vulnerabilities as speeds and scales that humans cannot match.
Who was Arthur Samuel???
The father of machine learning!
WHY and HOW are AI-Human partnerships highly effective???
Answer(s):
- While humans apply critical thinking, AI systems work as verification tools saving mathematicians
- Humans and AI can work together, fixing each others errors and improving along the way
What can AI calculate?
AI can calculate multi-dimensional geometric data for fast MRI and CT scans.