imudojuiwọn ojoojumọ1797 daju itan
Agbegbe AI ti a ṣayẹwo orisun ti awọn ifilọlẹ ọja, awọn iyipada eto imulo, iwadii aabo, ati awọn gbigbe ile-iṣẹ, ṣalaye ni ede Gẹẹsi nipasẹ ẹgbẹ ẹkọ ti kii ṣe èrè.
Gbogbo itan ni asopọ si ẹri ti o lagbara julọ ti o wa: awọn orisun atilẹba nigbati o wa, bibẹkọ ti o han gbangba.
Kini o ṣẹlẹ, idi ti o ṣe pataki, ati kini lati wo - laisi jargon.
Nigbati awọn ifihan agbara jẹ tinrin, a jade ohunkohun kuku ju òwú kikọ sii.
Awọn itan AI ti a ṣayẹwo-orisun, tuntun akọkọ, fun awọn eniyan ti o nilo lati loye AI laisi lepa aruwo.
A new preprint introduces FaithSieve, a Lean-assisted framework that breaks AI-generated mathematical proofs into local reasoning units and reports higher first-error localization accuracy than direct model judging.
A new preprint reports that large language models displayed measurable signs of mentalization in two economic games, but their performance and strategies differed by model family and size. The authors say GPT-5 agents adapted to increasingly sophisticated opponents and outperformed the human comparison group in…
A paper accepted to ACSOS 2026 reports that language-model guardrails can issue approvals that become invalid before a self-adaptive system uses them. Its proposed Freshness-Bounded Shield reduced measured approval-expiry rates in five simulator environments, though the source does not establish real-world…
A new arXiv benchmark finds that open-source AI agents can complete many dependency-ordered hardware-design operations through MCP tools, while tool descriptions, context length and agent configuration strongly affect reliability.
A paper accepted at EMNLP presents a runtime architecture that replaces growing agent conversation histories with mutable structured execution state.
A new Chinese-language benchmark evaluates large language models by the decisions and evidence states they face in financial risk workflows, rather than by general capability scores alone.
A new benchmark evaluates whether AI agents can turn raw biological data into research outputs across complete computational biology workflows. In 20 tasks, 13 frontier models scored between 0.00 and 0.48, with performance declining as datasets and sequences of analysis steps grew.
Researchers introduce FLARE, a system that pairs an LLM-based agent with the Lean proof assistant to check whether proposed mixed-integer linear programming reformulations preserve the original problem. On the paper’s 20-problem, 109-formulation benchmark, the authors report 100% accuracy on the NP-hard subset and…
Researchers propose a framework that compares AI systems with workplace tasks using shared cognitive-capability profiles, based on evaluations of six AI systems and task requirements gathered from 410 employees.
A new arXiv benchmark evaluates whether large language models can discover distinct crashes in open-source software without being given a predefined vulnerability target. In the authors’ tests, Claude Opus 4.8 triggered crashes in 60 of 77 challenges, but achieved only 196 of a possible 579 points.
OpenAI says it has launched commercial operations in Brazil, with a São Paulo team supporting businesses, developers, researchers and public institutions as the company expands ChatGPT, Codex and enterprise adoption.
openai.comA new benchmark of 11,586 bilingual, diagram-based physics problems reports that the strongest of 18 tested multimodal language models achieved only 33.7% answer accuracy.
Alaye ti o wulo ni ọsẹ kọọkan
Gba awọn iroyin AI ti a ṣayẹwo ti ọsẹ naa, data atilẹba, awọn irinṣẹ to wulo, awọn yiyan ẹkọ, ati awọn iṣẹ AI tuntun.
Igbanisise ọjọgbọn AI kan tabi ṣe ifilọlẹ ọja AI ti o wulo? Fi si iwaju awọn eniyan ti o wa nibi lati kọ ẹkọ ati ṣe.
Firanṣẹ iṣẹ AI kan Fi ohun elo AI silẹ