This is a OpenAI news story, published by The Atlantic, that relates primarily to Tao news.
For more OpenAI news, you can click here:
more OpenAI newsFor more Tao news, you can click here:
more Tao newsFor more Ai research news, you can click here:
more Ai research newsFor more news from The Atlantic, you can click here:
more news from The AtlanticOtherweb, Inc is a public benefit corporation, dedicated to improving the quality of news people consume. We are non-partisan, junk-free, and ad-free. We use artificial intelligence (AI) to remove junk from your news feed, and allow you to select the best tech news, business news, entertainment news, and much more. If you like this article about Ai research, you might also like this article about
mathematical reasoning. We are dedicated to bringing you the highest-quality news, junk-free and ad-free, about your favorite topics. Please come every day to read the latest AI news, mathematicians news, news about Ai research, and other high-quality news about any topic that interests you. We are working hard to create the best news aggregator on the web, and to put you in control of your news feed - whether you choose to read the latest news through our website, our news app, or our daily newsletter - all free!
mathematical insightThe Atlantic
•
79% Informative
OpenAI is marketing a new line of “reasoning models,” known collectively as the o1 series, for their ability to problem-solve “much like a person” and work through complex mathematical and scientific tasks and queries.
The new sort of math, which could unlock terrae incognitae of knowledge, will remain human at its core.
AI and humans have different models for how they learn and solve problems, says Tao .
Proof assistants are useful computer tools that check whether a mathematical argument is correct or not.
They enable large-scale collaboration in mathematics, he says.
Tao : The type of math that I'm most interested in is math that doesn't really exist.
Instead of narrow, deep mathematics, you could have broad, crowdsourced problems with lots of AI assistance that are maybe shallower, but at a much larger scale.
Wong: It reminds me of how an AI program made by Google Deepmind , called AlphaFold , figured out how to predict the structure of proteins.
VR Score
84
Informative language
84
Neutral language
59
Article tone
informal
Language
English
Language complexity
37
Offensive language
possibly offensive
Hate speech
not hateful
Attention-grabbing headline
not detected
Known propaganda techniques
not detected
Time-value
long-living
External references
2
Source diversity
2
Affiliate links
no affiliate links