Newtonsan on Nostr: {{cite web | title = AI's solution to 87-year-old riddle takes mathematicians by ...
{{cite web
| title = AI's solution to 87-year-old riddle takes mathematicians by surprise …
| url =
https://www.newscientist.com/article/2580374-ais-solution-to-87-year-old-riddle-takes-mathematicians-by-surprise/ | date = 2026-07-20
| archiveurl =
http://archive.today/4LO8t | archivedate = 2026-07-20 }}
O texto descreve um marco histórico onde o matemático Levent Alpöge, da Universidade de Harvard, utilizou inteligência artificial para refutar a conjectura de Jacobian, um enigma que persistia há 87 anos. Através do modelo Claude Fable 5, foi gerado um contraexemplo curto e verificável que prova que a teoria, proposta originalmente em 1939, é falsa para funções com três variáveis. Especialistas consideram este o problema mais complexo já solucionado com o auxílio de IA, evidenciando o avanço tecnológico acelerado na área acadêmica. Embora o resultado tenha surpreendido a comunidade, pesquisadores ressaltam que a criatividade humana ainda é essencial para construir novas teorias e ramos da matemática. Este feito sinaliza uma mudança fundamental no campo, sugerindo que ferramentas artificiais assumirão papéis cada vez mais profundos na pesquisa científica de alto nível.
Published at
2026-07-20 18:31:36 UTCEvent JSON
{
"id": "dd5bbb737e8d1e14a3171b35c792cd1860412f70d172cef5b900f8a5d5014194",
"pubkey": "b300db32ab9b44a508af1e2d72004d6de4014bb11b28790820a10d910bf5db3a",
"created_at": 1784572296,
"kind": 1,
"tags": [
[
"client",
"Primal Android"
]
],
"content": "{{cite web\n | title = AI's solution to 87-year-old riddle takes mathematicians by surprise …\n | url = https://www.newscientist.com/article/2580374-ais-solution-to-87-year-old-riddle-takes-mathematicians-by-surprise/\n | date = 2026-07-20\n | archiveurl = http://archive.today/4LO8t\n | archivedate = 2026-07-20 }}\n\nO texto descreve um marco histórico onde o matemático Levent Alpöge, da Universidade de Harvard, utilizou inteligência artificial para refutar a conjectura de Jacobian, um enigma que persistia há 87 anos. Através do modelo Claude Fable 5, foi gerado um contraexemplo curto e verificável que prova que a teoria, proposta originalmente em 1939, é falsa para funções com três variáveis. Especialistas consideram este o problema mais complexo já solucionado com o auxílio de IA, evidenciando o avanço tecnológico acelerado na área acadêmica. Embora o resultado tenha surpreendido a comunidade, pesquisadores ressaltam que a criatividade humana ainda é essencial para construir novas teorias e ramos da matemática. Este feito sinaliza uma mudança fundamental no campo, sugerindo que ferramentas artificiais assumirão papéis cada vez mais profundos na pesquisa científica de alto nível. \n\n",
"sig": "02bf9b9edee99878a66ae65a2cb2188fcba8abe8b30324cd55fd6d6bf357b10895a05e626c593d21a4e4604f2e38b933d377d415b30be99cb9358a04ed8f07b0"
}
