Resumo:
O mundo teórico da informática também foi bombardeado pela IA! Ontem à noite, a IA cruzou completamente o rio Rubicão da pesquisa científica e começou oficialmente a “derrubar” a construção do conhecimento humano. A OpenAI lançou bombas nucleares nos três principais campos de computadores teóricos, matemática pura e física teórica:
Esta pode ser a notícia tecnológica mais explosiva deste ano, se não uma delas.
Claude disse até mesmo sem rodeios que, se esses resultados forem verdadeiros, este será o dia mais importante na história da matemática e da computação teórica.
Entre eles, o avanço matemático está altamente relacionado com o trabalho anterior do vencedor da Medalha Fields, Wang Hong, sobre a conjectura de Kakeya, enquanto o avanço físico pode ser o mais importante dos três e pode resolver os problemas deixados pelo vencedor do Prémio Nobel, Chen Ning Yang.
Desta vez vou falar sobre um avanço no campo da informática: a suposição do tempo exponencial não se sustenta.
De acordo com Claude, esta é uma conquista disruptiva no nível do Prêmio Turing de que "se a afirmação estiver correta, isso mudará a ciência da computação".
Sebastien Bubeck, atual pesquisador da OpenAI, ex-vice-presidente de Inteligência Artificial da Microsoft e cientista ilustre, elogiou isso como "a maior surpresa que vi em 20 anos".
Além disso, no mesmo dia, duas IAs anunciaram essa descoberta quase ao mesmo tempo!
OpenAI e Anthropic, dois gigantes da IA, anunciaram quase ao mesmo tempo que seus modelos internos haviam derrubado a "hipótese do tempo exponencial" (ETH) que dominou a ciência da computação teórica por 27 anos!
O que é ainda mais assustador é que no artigo descartado pela Anthropic, estava claramente marcado que o algoritmo central foi construído pelo modelo interno Claude
Zero intervenção humana
deduzido de forma independente sob as circunstâncias.Este artigo, que pode entrar para a história da ciência humana, tem como único autor assinado, Claude.
O "céu" no mundo teórico da informática caiu. O que isto significa?
Simplificando, em 1999, a
Hipótese do Tempo Exponencial (ETH)
Proposto por Russell Impagliazzo e Ramamohan Paturi, Universidade da Califórnia, San Diego.Você pode pensar nisso como uma fechadura combinada com n interruptores, que é o problema 3SAT.
Durante meio século, incontáveis cérebros extremamente inteligentes tentaram o seu melhor para desbloquear a fechadura, mas ninguém consegue quebrar nada:
O tempo para quebrar a fechadura sempre disparará "exponencialmente" à medida que o número de interruptores aumenta.
Por exemplo, suponha que um cadeado precise ser preenchido com n números, cada número estando entre 1 e 9. Cada posição tem 9 opções, então há 9ⁿ possibilidades no total, o que é 9 vezes n vezes.
Podemos resolver esse quebra-cabeça esgotando todas as 9ⁿ possibilidades. Mas este método é extremamente ineficiente: para um quebra-cabeça Sudoku que exija o preenchimento de n = 100 números, mesmo usando todos os computadores do mundo, seria necessário esperar até que o sol esfriasse.
As pessoas há muito tentam, sem sucesso, encontrar algoritmos cujo tempo de execução cresça mais lentamente que 9ⁿ com n.
Em 1999, estudiosos transformaram essa intuição coletiva em uma hipótese formal:
Não existe algoritmo de tempo subexponencial para 3SAT.
Você pode melhorar um pouco a velocidade, mas nunca superará essa "parede exponencial". É como “a velocidade da luz não pode ser excedida” na física.
Esta conjectura foi proposta há mais de 20 anos. No passado, centenas de artigos foram usados para estudar os limites inferiores de complexidade de vários problemas de computação baseados no estabelecimento da ETH.
Muitos estudos, desde teoria de grafos e otimização combinatória até bancos de dados e biologia computacional, baseiam-se nesta suposição.
Se a hipótese de Riemann for derrubada, tudo se resumirá à teoria dos números; se a ETH for derrubada, será devido à complexidade e aos algoritmos parametrizados.
O peso da ETH não atingiu “
P vs NP
"Ou o nível do milênio da hipótese de Riemann.Mas é mais forte e específico que P≠NP: se ETH for estabelecido, P≠NP pode ser derivado; mas se a ETH for derrubada, P = NP não poderá ser derivado.
Um grande número de conclusões de pesquisas condicionais que dependem da ETH precisam ser reavaliadas.
Um novo lote de “vítimas” no campo da IA surgiu——
Há também um amigo no grupo. Um artigo que ele escreveu antes baseava-se na premissa do estabelecimento da ETH.
Agora esta premissa pode ter desaparecido e a conclusão do artigo precisa ser reexaminada.
Imagine que você passou vários anos estudando um problema, escrevendo artigos e fazendo provas, e até mesmo estudiosos de uma área estudam essa hipótese há mais de 20 anos (como o professor Tuli).
Um dia, um modelo de IA lhe diz que a premissa em que todos sempre acreditaram pode estar errada.
Cruzando o Rubicão da Pesquisa Científica: Único Autor Claude
Uma cena dramática aconteceu imediatamente.
O presidente da OpenAI, Greg Brockman, acaba de publicar um anúncio oficial, e seu antigo rival, Anthropic, acaba de publicar um artigo com o mesmo título.
Ele foi tão agressivo que caiu na hora!
Anthropic disse: Coincidentemente, este não é o caso. Nosso modelo interno Claude foi lançado em
16 de outubro
Ele derrubou a ETH de forma independente!
Além disso, a Anthropic deixou uma "declaração da fonte" na página do jornal:
O algoritmo principal foi descoberto em 16 de outubro por um modelo de pesquisa interno de Claude, consumindo 14 milhões de tokens de saída sem qualquer intervenção humana.
Isso significa que
A IA atravessou completamente o rio Rubicão da pesquisa científica
——Deixou de ser uma ferramenta humana, mas tornou-se o verdadeiro “primeiro autor”.Qual é o conceito de 14 milhões de Tokens? Um volume completo de "O Problema dos Três Corpos" tem aproximadamente 900.000 palavras. 14 milhões de Tokens equivalem a Claude deduzindo mais de uma dúzia de rascunhos grossos de "O Problema dos Três Corpos" de uma só vez.
Após a avaliação, muitos estudiosos importantes disseram: Isso equivale a um modelo de IA que completa a pesquisa científica de um a dois anos de um pós-doutorado humano de destaque em poucos dias sem comer, beber ou dormir.
!Nos últimos dias, Claude explorou o caminho sozinho, deduziu as fórmulas sozinho, verificou a lógica sozinho e até usou ferramentas matemáticas impopulares através das fronteiras e, finalmente, apresentou uma prova à humanidade.
Desta vez, não é “A IA ajuda os matemáticos a pesquisar literatura”, nem é “A IA acertou uma questão da Olimpíada”.
Esta é a IA rompendo sozinha as disciplinas teóricas mais puras e radicais da humanidade.
O fundador foi acordado durante a noite e o matemático se transformou em um “auditor” para perder peso rapidamente
A IA o derruba se disser que o derrubou? Será que a IA está “falando sério, bobagem (alucinação)”?
A cena mais mágica aconteceu. Para provar a sua inocência, as duas empresas não apenas lançaram um PDF, mas também divulgaram o
código de prova formal Lean
.Lean é um "revisor eletrônico altruísta". Mesmo que haja um salto lógico, ele reportará diretamente um erro. Como o código pode ser executado sem problemas, isso significa que a lógica subjacente quase bloqueia a possibilidade de erros. Entregar documentos “verificáveis por máquina” é a confiança irrefutável da IA.
Mas isso não confirma totalmente a exatidão da prova.
Diz-se que os dois fundadores da conjectura da ETH, Russell Impagliazzo e Ramamohan Paturi, foram convidados a se manifestar com urgência.
Vinte e sete anos atrás, dois estudiosos escreveram uma conjectura; 27 anos depois, eles foram acordados para verificar como uma IA o derrubou.
Esta é provavelmente a emoção mais complicada da história acadêmica.
Atualmente, esses dois especialistas estão se unindo às principais equipes do MIT e de outras universidades para realizar uma revisão linha por linha de seus códigos.
Ao mesmo tempo, outra frente também avança rapidamente.
Diante desta prova "alienígena" de mais de 60 páginas produzida pela IA, é extremamente difícil para o cérebro humano ler.
O arquiteto sênior de IA da NVIDIA, Shiva Kintali, estourou durante a noite e comprimiu o certificado de falsificação ETH original de 60 páginas da OpenAI em uma versão simplificada de 22 páginas!
Ele eliminou as etapas tediosas da IA e não buscou o fator logarítmico ideal. Ele apenas procurou falsificar declarações básicas de forma limpa e adicionou exemplos de cálculo.
Ele tem apenas um objetivo:
"Deixar os colegas humanos realmente entenderem."
Agora surge um espetáculo acadêmico inédito:
A IA é responsável por resolver problemas difíceis: em poucos dias, ela abre uma porta que ninguém abria há 27 anos;
Os humanos são responsáveis pela digestão: refinando as longas deduções da IA em conhecimento que os humanos possam compreender e continuar a avançar.
Agora é a vez dos humanos avaliarem e simplificarem o dever de casa da IA.
A "mudança sujeito-objeto" da pesquisa científica básica
Já em março de 2023, a OpenAI lançou um sensacional "Relatório de previsão sobre o impacto da IA no mercado de trabalho". Nesta lista, a pessoa que está no topo da lista de
"Os empregos mais impactados pela IA" é surpreendentemente um matemático
.
Naquela época, a maioria das pessoas zombava disso: a matemática exige a lógica mais rigorosa dos seres humanos. Como poderia uma IA que fala tanto sobre trapaça ser capaz de fazer matemática teórica?
No entanto, exatamente três anos depois, quando a ETH foi falsificada pela IA da noite para o dia, a conjectura de Kakeya foi quebrada por modelos um após o outro...
Esta bala disparada há três anos finalmente atingiu o alvo da pesquisa teórica humana.
Isso significa que os cientistas perderão seus empregos coletivamente? Não.
Como observou o ex-aluno e estudioso da Universidade de Pequim, Weijie Su, há três anos:
A IA não “substituirá” qualquer área de maneira simples e grosseira, mas sim remodelá-la. A investigação científica futura recompensará enormemente aqueles que conseguirem estabelecer ligações profundas com desafios do mundo real e outras disciplinas.
Assim como depois da invenção da câmera, os pintores não precisam mais competir entre si para “quem pinta mais parecido”, assim nasceram o Impressionismo e a arte moderna.
Quando a IA assume o árduo trabalho de "cálculo e prova", os humanos podem finalmente gastar a sua preciosa energia em questões mais fundamentais:
Procurar a próxima questão que valha a pena explorar e estabelecer ligações reais entre disciplinas.
Há 27 anos, quando os dois estudiosos escreveram a conjectura da ETH, eles nunca imaginaram que não seriam os seres humanos que acabariam com ela.
Inesperadamente, duas IAs entregariam o exame no mesmo dia.
“O mundo não está sendo mudado pela IA, mas já foi mudado.”
Comentários