Desesperada para superar Claude, a openAI afirma que um modelo de raciocínio dentro da OpenAI resolveu o problema da distância planar unitária, colocado por Paul Erdős há quase 80 anos.... E parece que foi resolvido pelo Matt Damon, a menos que meus olhos me enganem (link para mais heroísmos de MD nos comentários). Um aprimoramento subsequente de Will Sawin, de Princeton, fixou a melhora em 0,014. O medalhista Fields, Tim Gowers, analisou a demonstração e a chamou de um marco na matemática de IA. O sistema era um modelo de raciocínio de uso geral, avaliado com base em uma lista de problemas de Erdős junto com outros testes.
A OpenAI diz que esta é a primeira vez que a IA resolveu autonomamente um problema aberto proeminente, central em uma área da matemática.
Nenhum comentário:
Postar um comentário